servant-server-0.14.1: A family of combinators for defining webservices APIs and serving them

Safe Haskell	None
Language	Haskell2010

Servant.Server.Generic

Description

Since: servant-server-0.14.1

Synopsis

data AsServerT (m :: * -> *)
type AsServer = AsServerT Handler
genericServe :: forall routes. (HasServer (ToServantApi routes) '[], GenericServant routes AsServer, Server (ToServantApi routes) ~ ToServant routes AsServer) => routes AsServer -> Application
genericServer :: GenericServant routes AsServer => routes AsServer -> ToServant routes AsServer
genericServerT :: GenericServant routes (AsServerT m) => routes (AsServerT m) -> ToServant routes (AsServerT m)

Documentation

data AsServerT (m :: * -> *) Source #

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

Instances

GenericMode (AsServerT m) Source #
Instance details Defined in Servant.Server.Generic Associated Types type (AsServerT m) :- api :: * #
type (AsServerT m) :- api Source #
Instance details Defined in Servant.Server.Generic type (AsServerT m) :- api = ServerT api m

type AsServer = AsServerT Handler Source #

genericServe :: forall routes. (HasServer (ToServantApi routes) '[], GenericServant routes AsServer, Server (ToServantApi routes) ~ ToServant routes AsServer) => routes AsServer -> Application Source #

Transform record of routes into a WAI Application.

genericServer :: GenericServant routes AsServer => routes AsServer -> ToServant routes AsServer Source #

Transform record of endpoints into a Server.

genericServerT :: GenericServant routes (AsServerT m) => routes (AsServerT m) -> ToServant routes (AsServerT m) Source #