Safe Haskell | None |
---|---|
Language | Haskell2010 |
A pure interepreter
- runHttp :: Monad m => ignore -> (RequestType client -> ResponseType client) -> FT (HttpF client) m a -> m a
- runTHttp :: (Monad m, MonadTrans t, Monad (t m)) => ignore -> (RequestType client -> ResponseType client) -> FT (HttpF client) m a -> t m a
Documentation
:: Monad m | |
=> ignore | a parameter that will be ignored. It is included so client's can
hot-swap interpreters (many will require a |
-> (RequestType client -> ResponseType client) | |
-> FT (HttpF client) m a | |
-> m a |
A pure interpreter based on a client-supplied mocking function
:: (Monad m, MonadTrans t, Monad (t m)) | |
=> ignore | a paramter that will be ignored. It is included so client's can
host-swap interpreters (many will require a |
-> (RequestType client -> ResponseType client) | |
-> FT (HttpF client) m a | |
-> t m a |
A pure interpreter based on a client-supplied mocking function. The under- lying monad is `t m`, so computations will be lifted into `t m`.