Safe Haskell | None |
---|---|
Language | Haskell2010 |
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, ToHttpApiData a, HasClient m api) => HasClient m (NamedParams name a :> api) Source # |
|
type Client m (NamedParams name a :> api) :: Type # 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) Source # |
|
type Client m (NamedParam mods name a :> api) :: Type # 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) Source # |
|
type Client m (NamedHeader' mods name a :> api) :: Type # 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) Source # |
|
(KnownSymbol name, ToHttpApiData a, HasClient m api) => HasClient m (NamedCaptureAll name a :> api) Source # |
|
type Client m (NamedCaptureAll name a :> api) :: Type # 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) Source # |
|
type Client m (NamedCapture' mods name a :> api) :: Type # 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) # |