Safe Haskell | None |
---|---|
Language | Haskell2010 |
Servant.Client.Generic
Synopsis
- data AsClientT (m :: * -> *)
- genericClient :: forall routes m. ( HasClient m ( ToServantApi routes), GenericServant routes ( AsClientT m), Client m ( ToServantApi routes) ~ ToServant routes ( AsClientT m)) => routes ( AsClientT m)
- genericClientHoist :: forall routes m n. ( HasClient m ( ToServantApi routes), GenericServant routes ( AsClientT n), Client n ( ToServantApi routes) ~ ToServant routes ( AsClientT n)) => ( forall x. m x -> n x) -> routes ( AsClientT n)
Documentation
data AsClientT (m :: * -> *) Source #
A type that specifies that an API record contains a client implementation.
genericClient :: forall routes m. ( HasClient m ( ToServantApi routes), GenericServant routes ( AsClientT m), Client m ( ToServantApi routes) ~ ToServant routes ( AsClientT m)) => routes ( AsClientT m) Source #
Generate a record of client functions.
Arguments
:: forall routes m n. ( HasClient m ( ToServantApi routes), GenericServant routes ( AsClientT n), Client n ( ToServantApi routes) ~ ToServant routes ( AsClientT n)) | |
=> ( forall x. m x -> n x) |
natural transformation |
-> routes ( AsClientT n) |
genericClient
but with
hoistClientMonad
in between.