Servant.Hateoas.HasHandler

Class

class HasHandler api where

Typeclass for extracting the handler of an API.

Methods

getHandler :: MonadIO m => Proxy m -> Proxy api -> ServerT api m

Instances

HasHandler EmptyAPI

Defined in Servant.Hateoas.HasHandler

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy EmptyAPI -> ServerT EmptyAPI m

(HasHandler a, HasHandler b) => HasHandler (a :<|> b :: Type)

Defined in Servant.Hateoas.HasHandler

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy (a :<|> b) -> ServerT (a :<|> b) m

HasHandler b => HasHandler (a :> b :: Type)

Defined in Servant.Hateoas.HasHandler

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy (a :> b) -> ServerT (a :> b) m

HasHandler b => HasHandler (Description sym :> b :: Type)

Defined in Servant.Hateoas.HasHandler

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy (Description sym :> b) -> ServerT (Description sym :> b) m

HasHandler b => HasHandler (Summary sym :> b :: Type)

Defined in Servant.Hateoas.HasHandler

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy (Summary sym :> b) -> ServerT (Summary sym :> b) m

HasHandler b => HasHandler (Fragment a :> b :: Type)

Defined in Servant.Hateoas.HasHandler

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy (Fragment a :> b) -> ServerT (Fragment a :> b) m

(HasHandler api, KnownSymbol sym) => HasHandler (Sym sym :> api :: Type)

Defined in Servant.Hateoas.Internal.Sym

Methods

getHandler :: forall (m :: Type -> Type). MonadIO m => Proxy m -> Proxy (Sym sym :> api) -> ServerT (Sym sym :> api) m