Moduleservant-server-0.20.3.0Haskell2010

Servant.Server.Generic

2 types
5 values

Packageservant-server-0.20.3.0
Exports7
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGeneric.hs

datadata AsServerT (m :: Type -> Type)

A type that specifies that an API record contains a server implementation.

Instances2GenericMode, :-

GenericMode (AsServerT m)Defined in servant-server-0.20.3.0 · Servant.Server.Internal
type (:-) (AsServerT m) api = ServerT api mDefined in servant-server-0.20.3.0 · Servant.Server.Internal

typetype AsServer = AsServerT Handler

valuegenericServe

:: (HasServer (ToServantApi routes) '[], GenericServant routes AsServer, Server (ToServantApi routes) ~ ToServant routes AsServer)
=> routes AsServer
-> Application

Transform a record of routes into a WAI Application.

valuegenericServeT

:: (GenericServant routes (AsServerT m), GenericServant routes AsApi, HasServer (ToServantApi routes) '[], ServerT (ToServantApi routes) m ~ ToServant routes (AsServerT m))
=> (forall a. m a -> Handler a)
hoistServer argument to come back to Handler
-> routes (AsServerT m)
your record full of request handlers
-> Application

Transform a record of routes with custom monad into a WAI Application, by providing a transformation to bring each handler back in the Handler monad.

valuegenericServeTWithContext

:: (GenericServant routes (AsServerT m), GenericServant routes AsApi, HasServer (ToServantApi routes) ctx, HasContextEntry (ctx .++ DefaultErrorFormatters) ErrorFormatters, ServerT (ToServantApi routes) m ~ ToServant routes (AsServerT m))
=> (forall a. m a -> Handler a)
hoistServer argument to come back to Handler
-> routes (AsServerT m)
your record full of request handlers
-> Context ctx
the Context to serve the application with
-> Application

Transform a record of routes with custom monad into a WAI Application, while using the given Context to serve the application (contexts are typically used by auth-related combinators in servant, e.g to hold auth checks) and the given transformation to map all the handlers back to the Handler monad.

valuegenericServer

:: GenericServant routes AsServer
=> routes AsServer
-> ToServant routes AsServer

Transform a record of endpoints into a Server.

valuegenericServerT

:: GenericServant routes (AsServerT m)
=> routes (AsServerT m)
-> ToServant routes (AsServerT m)

Transform a record of endpoints into a ServerT m.

You can see an example usage of this function in the Servant Cookbook.