| 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.
genericClient :: forall routes m. (HasClient m (ToServantApi routes), GenericServant routes (AsClientT m), Client m (ToServantApi routes) ~ ToServant routes (AsClientT m)) => routes (AsClientT m) Source #
Generate a record of client functions.
Arguments
| :: (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.