Servant.Client.Generic

Documentation

data AsClientT (m :: Type -> Type)

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

Instances

GenericMode (AsClientT m :: Type)

Defined in Servant.Client.Core.HasClient

Associated Types

type (AsClientT m) :- api

type (AsClientT m :: Type) :- api

Defined in Servant.Client.Core.HasClient

type (AsClientT m :: Type) :- api = Client m api

genericClient :: forall routes m. (HasClient m (ToServantApi routes), GenericServant routes (AsClientT m), Client m (ToServantApi routes) ~ ToServant routes (AsClientT m)) => routes (AsClientT m)

Generate a record of client functions.

genericClientHoist

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.