Servant.Client.NamedArgs

Provides instances to be able to use combinators from Servant.API.NamedArgs with Servant.Client, returning functions using named parameters from Named

Orphan instances

(KnownSymbol name, MimeRender ct a, HasClient m api) => HasClient m (NamedBody' mods name (ct ': cts) a :> api)

NamedBody's become required named arguments

Associated Types

type Client m (NamedBody' mods name (ct ': cts) a :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedBody' mods name (ct ': cts) a :> api) -> Request -> Client m (NamedBody' mods name (ct ': cts) a :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedBody' mods name (ct ': cts) a :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedBody' mods name (ct ': cts) a :> api) -> Client mon' (NamedBody' mods name (ct ': cts) a :> api)

(KnownSymbol name, ToHttpApiData a, HasClient m api) => HasClient m (NamedParams name a :> api)

NamedParamss become optional named arguments taking a list and defaulting to an empty list

Associated Types

type Client m (NamedParams name a :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedParams name a :> api) -> Request -> Client m (NamedParams name a :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedParams name a :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedParams name a :> api) -> Client mon' (NamedParams name a :> api)

(KnownSymbol name, ToHttpApiData a, HasClient m api, SBoolI (FoldRequired mods)) => HasClient m (NamedParam mods name a :> api)

NamedParams become either required or optional named arguments depending on if Required or Optional are in the modifiers

Associated Types

type Client m (NamedParam mods name a :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedParam mods name a :> api) -> Request -> Client m (NamedParam mods name a :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedParam mods name a :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedParam mods name a :> api) -> Client mon' (NamedParam mods name a :> api)

(KnownSymbol name, ToHttpApiData a, HasClient m api, SBoolI (FoldRequired mods)) => HasClient m (NamedHeader' mods name a :> api)

NamedHeader's become either required or optional named arguments depending on if Required or Optional are in the modifiers

Associated Types

type Client m (NamedHeader' mods name a :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedHeader' mods name a :> api) -> Request -> Client m (NamedHeader' mods name a :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedHeader' mods name a :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedHeader' mods name a :> api) -> Client mon' (NamedHeader' mods name a :> api)

(KnownSymbol name, HasClient m api) => HasClient m (NamedFlag name :> api)

NamedFlags become optional named arguments, defaulting to False

Associated Types

type Client m (NamedFlag name :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedFlag name :> api) -> Request -> Client m (NamedFlag name :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedFlag name :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedFlag name :> api) -> Client mon' (NamedFlag name :> api)

(KnownSymbol name, ToHttpApiData a, HasClient m api) => HasClient m (NamedCaptureAll name a :> api)

NamedCaptureAlls become optional named arguments taking a list and defaulting to an empty list

Associated Types

type Client m (NamedCaptureAll name a :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedCaptureAll name a :> api) -> Request -> Client m (NamedCaptureAll name a :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedCaptureAll name a :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedCaptureAll name a :> api) -> Client mon' (NamedCaptureAll name a :> api)

(KnownSymbol name, ToHttpApiData a, HasClient m api) => HasClient m (NamedCapture' mods name a :> api)

NamedCapture's become required named arguments

Associated Types

type Client m (NamedCapture' mods name a :> api) :: Type

Methods

clientWithRoute :: Proxy m -> Proxy (NamedCapture' mods name a :> api) -> Request -> Client m (NamedCapture' mods name a :> api)

hoistClientMonad :: Proxy m -> Proxy (NamedCapture' mods name a :> api) -> (forall x. mon x -> mon' x) -> Client mon (NamedCapture' mods name a :> api) -> Client mon' (NamedCapture' mods name a :> api)