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.

Instances details

GenericMode ( AsClientT m) Source #
Instance details Defined in Servant.Client.Core.HasClient Associated Types type ( AsClientT m) :- api Source #
type ( AsClientT m) :- api Source #
Instance details Defined in Servant.Client.Core.HasClient type ( AsClientT m) :- api = Client m api

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)