The main effect for HTTP requests. The parameter c determines the representation of raw chunks.

Synchronously run an HTTP request and return the response.

Bracket a higher-order action with a Response that has been opened while its body hasn't been fetched.

Interpret Http BodyReader using the native Network.HTTP.Client implementation. BodyReader is an alias for IO ByteString; it is how http-client represents chunks. This uses the default interpreter for Manager.

In-Memory interpreter for Http.

Rrequest path.

All standard HTTP methods, mirroring those from Types, plus a constructor for arbitrary strings.

Request body.

HTTP request parameters, used by Http.

Request host name.

Request port.

The key of a query parameter.

The value of a query parameter.

A flag that indicates whether a request should use TLS.

Match on a response with a 2xx status.

Match on a response with a 1xx status.

The response produced by Http.

Match on a response with a 4xx status.

Match on a response with a 3xx status.

Match on a response with a 5xx status.

Create a request with empty headers, query and cookies.

Create a request with default port and empty headers, query and cookies.

Create a TLS request with default port and empty headers, query and cookies.

Create a TLS GET request with default port and empty headers, query and cookies.

Create a TLS POST request with default port and empty headers, query and cookies.

Create a TLS PUT request with default port and empty headers, query and cookies.

Create a TLS DELETE request with default port and empty headers, query and cookies.

Parse the URL and create a request or return a parse error.

Parse URL for a GET.

Parse URL for a POST.

Parse URL for a PUT.

Parse URL for a DELETE.

Create a cookie with default values.

Add multiple cookies to a request.

Add a cookie to a request, using default values.

Indicates a critical error caused by an exception in the http-client backend.

Initiate a request and stream the response, calling process after connecting, for every chunk, after closing the connection, and for the return value. StreamEvent is used to indicate the stage of the request cycle. The optional Int argument defines the minimal chunk size that is read for each callback. If it is Nothing, the stream reads what is available.

handle ::
  StreamEvent Double (IO ByteString) Int a ->
  Sem r a
handle = \case
  StreamEvent.Acquire (Response status body headers) ->
    pure 1
  StreamEvent.Chunk handle (StreamChunk c) ->
    pure ()
  StreamEvent.Result (Response status body headers) handle ->
    pure 5.5
  StreamEvent.Release handle ->
    pure ()

>>> runInterpreters $ streamResponse (Http.get "host.com" "path/to/file") handle
5.5

Abstraction of json decoding, potentially usable for other content types like xml.

Strictly decode a ByteString to a value of type d

Lazily decode a LByteString to a value of type d

Strictly decode a ByteString to a value of type d

Abstraction of json encoding, potentially usable for other content types like xml.

Strictly encode a value of type d to a ByteString

Strictly encode a value of type d to a ByteString

Convenience constraint for requiring multiple entity effects, to be used like Members.

foo :: Entities [Encode Int, Decode Double] r => Sem r ()

Marker type to be used with Entities

Marker type to be used with Entities

Convenience constraint for requiring multiple decoders.

foo :: Decoders [Int, Double] r => Sem r ()

Convenience constraint for requiring multiple encoders.

foo :: Encoders [Int, Double] r => Sem r ()

Generic error type for decoders.

Interpreter for EntityDecode that uses Aeson.

Interpreter for EntityDecode that uses Aeson and a different codec type. The first parameter is the conversion function.

Interpreter for EntityDecode that uses Aeson and a different codec type. The first parameter is the effectful conversion function.

Interpreter for EntityEncode that uses Aeson.

Interpreter for EntityEncode that uses Aeson and a different codec type. The first parameter is the conversion function.

This effect abstracts the creation of a Manager in order to allow pool sharing in a flexible way.

Trivial interpreter with a globally shared Manager instance.

Make a request, setting the content-type header to application/json