Control.Monad.Http

Class, instances and transformer for monads capable of HTTP requests.

In some cases, it is useful to generalize this capability. For example, it can be used provide mock responses for testing.

Class

class Monad m => MonadHttp m where

The class of monads capable of HTTP requests.

Minimal complete definition

performRequest

Methods

performRequest :: Request -> m (Response ByteString)

Instances

MonadHttp IO

Methods

performRequest :: Request -> IO (Response ByteString)

MonadThrow m => MonadHttp (HttpT m)

Methods

performRequest :: Request -> HttpT m (Response ByteString)

MonadIO m => MonadHttp (ExceptT e m)

Methods

performRequest :: Request -> ExceptT e m (Response ByteString)

Transformer

newtype HttpT m a

An HTTP transformer monad parameterized by an inner monad m.

Constructors

HttpT

Fields

• unHttpT :: ReaderT (Response ByteString) m a

Instances

MonadTrans HttpT

Methods

lift :: Monad m => m a -> HttpT m a

MonadError e m => MonadError e (HttpT m)

Methods

throwError :: e -> HttpT m a

catchError :: HttpT m a -> (e -> HttpT m a) -> HttpT m a

Monad m => Monad (HttpT m)

Methods

(>>=) :: HttpT m a -> (a -> HttpT m b) -> HttpT m b

(>>) :: HttpT m a -> HttpT m b -> HttpT m b

return :: a -> HttpT m a

fail :: String -> HttpT m a

Functor m => Functor (HttpT m)

Methods

fmap :: (a -> b) -> HttpT m a -> HttpT m b

(<$) :: a -> HttpT m b -> HttpT m a

Applicative m => Applicative (HttpT m)

Methods

pure :: a -> HttpT m a

(<*>) :: HttpT m (a -> b) -> HttpT m a -> HttpT m b

(*>) :: HttpT m a -> HttpT m b -> HttpT m b

(<*) :: HttpT m a -> HttpT m b -> HttpT m a

MonadIO m => MonadIO (HttpT m)

Methods

liftIO :: IO a -> HttpT m a

MonadThrow m => MonadThrow (HttpT m)

Methods

throwM :: Exception e => e -> HttpT m a

MonadCatch m => MonadCatch (HttpT m)

Methods

catch :: Exception e => HttpT m a -> (e -> HttpT m a) -> HttpT m a

MonadThrow m => MonadHttp (HttpT m)

Methods

performRequest :: Request -> HttpT m (Response ByteString)

Monad m => MonadReader (Response ByteString) (HttpT m)

Methods

ask :: HttpT m (Response ByteString)

local :: (Response ByteString -> Response ByteString) -> HttpT m a -> HttpT m a

reader :: (Response ByteString -> a) -> HttpT m a

runHttpT

Arguments

:: HttpT m a

The HTTP monad transformer

-> Response ByteString

The response

-> m a

The resulting inner monad

Run an HTTP monad action and extract the inner monad.