git.iko.soy/typeable/request-track
on master help sign in
Add OpenAPI instances
commitde2985fba4dc7f6a1f95fe5598b4539bb1e03ca6 authorNick <nick@typeable.io> dateMon 14 Aug 2023, 14:53 (3 years ago) parent9b64e4d
4 files changed+32−2
compare with master
unifiedsplit
request-track-servant/request-track-servant.cabal+9−1 request-track-servant/src/Web/Tracking/Servant.hs+4 request-track-servant/src/Web/Tracking/Servant/OpenAPI.hs+14 stack.yaml+5−1
request-track-servant/request-track-servant.cabal+9−1
@@ -11,6 +11,11 @@ maintainer: nick@typeable.io
1111category: Web
1212build-type: Simple
1313
14+flag openapi
15+ description: Enable openapi instances
16+ default: False
17+ manual: True
18+
1419common warnings
1520 ghc-options: -Wall
1621
@@ -18,7 +23,6 @@ library
1823 import: warnings
1924 exposed-modules: Web.Tracking.Servant
2025 other-modules: Web.Tracking.Servant.Types
21− -- other-extensions:
2226 build-depends: base >=4.14.0.0 && < 5,
2327 bytestring >= 0.11,
2428 containers >= 0.6,
@@ -28,5 +32,9 @@ library
2832 servant-client-core >= 0.19,
2933 servant-server >= 0.19,
3034 wai >= 3.2
35+ if flag(openapi)
36+ other-modules: Web.Tracking.Servant.OpenAPI
37+ build-depends: servant-openapi3
38+ cpp-options: -DOPENAPI
3139 hs-source-dirs: src
3240 default-language: GHC2021
request-track-servant/src/Web/Tracking/Servant.hs+4
@@ -1,4 +1,8 @@
1+{-# LANGUAGE CPP #-}
12module Web.Tracking.Servant (module Export) where
23
34import Web.Tracking as Export (ReqtrackInfo(..))
45import Web.Tracking.Servant.Types as Export
6+#ifdef OPENAPI
7+import Web.Tracking.Servant.OpenAPI ()
8+#endif
request-track-servant/src/Web/Tracking/Servant/OpenAPI.hsnew file+14
@@ -0,0 +1,14 @@
1+{-# OPTIONS_GHC -Wno-orphans #-}
2+module Web.Tracking.Servant.OpenAPI where
3+
4+import Web.Tracking.Servant.Types (RequestTracking, RequestTracking_)
5+
6+import Data.Proxy
7+import Servant.API
8+import Servant.OpenApi
9+
10+instance HasOpenApi api => HasOpenApi (RequestTracking :> api) where
11+ toOpenApi _ = toOpenApi (Proxy :: Proxy api)
12+
13+instance HasOpenApi api => HasOpenApi (RequestTracking_ :> api) where
14+ toOpenApi _ = toOpenApi (Proxy :: Proxy api)
stack.yaml+5−1
@@ -1,4 +1,4 @@
1−resolver: lts-20.26
1+resolver: lts-21.6
22
33packages:
44- example-server
@@ -11,3 +11,7 @@ extra-deps:
1111
1212nix:
1313 packages: [ zlib ]
14+
15+flags:
16+ request-track-servant:
17+ openapi: true