Safe Haskell	Safe-Inferred
Language	Haskell2010

Servant.Client.Generic

Synopsis

data AsClientT (m :: Type -> Type)
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

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

Instances details

GenericMode (AsClientT m :: Type) Source #
Instance details Defined in Servant.Client.Core.HasClient Associated Types type (AsClientT m) :- api #
type (AsClientT m :: Type) :- api Source #
Instance details Defined in Servant.Client.Core.HasClient type (AsClientT m :: Type) :- 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)