eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Re-export Servant.API.Generic in Servant.API

Browse source
This commit is contained in:
Gaël Deest 2022-03-21 12:59:03 +01:00
parent de923fc887
commit 9a99ef9a0b
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
servant-server/example/greet.hs
View file

@ -18,7 +18,6 @@ import Network.Wai.Handler.Warp
import Servant import Servant
import Servant.Server.Generic () import Servant.Server.Generic ()
import Servant.API.Generic
-- * Example -- * Example

4
servant/src/Servant/API.hs
View file

@ -38,6 +38,7 @@ module Servant.API (
-- * Sub-APIs defined as records of routes -- * Sub-APIs defined as records of routes
module Servant.API.NamedRoutes, module Servant.API.NamedRoutes,
module Servant.API.Generic,
-- * Streaming endpoints, distinguished by HTTP method -- * Streaming endpoints, distinguished by HTTP method
module Servant.API.Stream, module Servant.API.Stream,
@ -102,6 +103,9 @@ import Servant.API.Fragment
(Fragment) (Fragment)
import Servant.API.Header import Servant.API.Header
(Header, Header') (Header, Header')
import Servant.API.Generic
(GenericMode ((:-)), AsApi, ToServant, ToServantApi, GServantProduct,
GenericServant, fromServant, toServant, genericApi)
import Servant.API.HttpVersion import Servant.API.HttpVersion
(HttpVersion (..)) (HttpVersion (..))
import Servant.API.IsSecure import Servant.API.IsSecure