Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
:: 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.