git.iko.soy/servant
on master help sign in
Write explicit export list in Servant.API.TypeLevel
3c83f61Oleg Grenrus
servant/src/Servant/API/TypeLevel.hs+29−1
compare with master
unifiedsplit
@@ -18,7 +18,32 @@ The code samples in this module use the following type synonym:
18> :<|> "bye" :> Capture "name" String :> Post '[JSON, PlainText] Bool
18> :<|> "bye" :> Capture "name" String :> Post '[JSON, PlainText] Bool
19
19
20-}
20-}
21−module Servant.API.TypeLevel where
21+module Servant.API.TypeLevel (
22+ -- $setup
23+ -- * API predicates
24+ Endpoints,
25+ -- ** Lax inclusion
26+ IsElem',
27+ IsElem,
28+ IsSubAPI,
29+ AllIsElem,
30+ -- ** Strict inclusion
31+ IsIn,
32+ IsStrictSubAPI,
33+ AllIsIn,
34+ -- * Helpers
35+ -- ** Lists
36+ MapSub,
37+ AppendList,
38+ IsSubList,
39+ Elem,
40+ ElemGo,
41+ Or,
42+ And,
43+ -- * Custom type errors
44+ -- | Before @base-4.9.0.0@ we use non-exported 'ElemNotFoundIn' class,
45+ -- which cannot be instantiated.
46+ ) where
22
47
23
48
24import GHC.Exts (Constraint)
49import GHC.Exts (Constraint)
@@ -223,6 +248,9 @@ families are not evaluated (see https://ghc.haskell.org/trac/ghc/ticket/12048).
223
248
224
249
225-- $setup
250-- $setup
251+--
252+-- The doctests in this module are run with following preamble:
253+--
226-- >>> :set -XPolyKinds
254-- >>> :set -XPolyKinds
227-- >>> :set -XGADTs
255-- >>> :set -XGADTs
228-- >>> import Data.Proxy
256-- >>> import Data.Proxy