Network.HTTP.Client.Free

The primary Free Monad wrapping HTTP actions.

Type Families

Base Request type

type family RequestType client :: *

type family to represent the request type foundation

Instances

type RequestType HttpClient = Request

HttpClient expects Requests and returns 'Response ByteString's

Base Response type

type family ResponseType client :: *

type family to represent the response type foundation

Instances

type ResponseType HttpClient = Response ByteString

Types

The base functor from which our free monad is generated.

data HttpF client a

Our functor from which the free-http free monad is generated from.

Constructors

HttpF StdMethod (RequestType client) (ResponseType client -> a)

Instances

Functor (HttpF client)

A helpful type alias

type FreeHttp client m a = FT (HttpF client) m a

a type alias for the free monad generated by HttpF

smart constructors for http verbs

connect :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

delete :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

get :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

head :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

options :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

patch :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

post :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

put :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)

trace :: Monad m => RequestType client -> FT (HttpF client) m (ResponseType client)