HTTP.API.Client.Request

Definitions

data FDPart : Type

  Part of a `FormData` object

Totality: total
Visibility: public export
Constructors:

FDBlob : Blob -> FDPart

FDBytes : ByteString -> FDPart

FDFile : File -> FDPart

FDString : String -> FDPart

data RequestBody : Type

Totality: total
Visibility: public export
Constructors:

None : RequestBody

Blob : MediaType -> Blob -> RequestBody

Bytes : MediaType -> ByteString -> RequestBody

Str : MediaType -> String -> RequestBody

FD : List (String, FDPart) -> RequestBody

record HTTPRequest : Type

Totality: total
Visibility: public export
Constructor: 

R : Method -> URI -> Headers -> RequestBody -> HTTPRequest

Projections:

.body : HTTPRequest -> RequestBody

.headers : HTTPRequest -> Headers

.method : HTTPRequest -> Method

.uri : HTTPRequest -> URI

.method : HTTPRequest -> Method

Totality: total
Visibility: public export

method : HTTPRequest -> Method

Totality: total
Visibility: public export

.uri : HTTPRequest -> URI

Totality: total
Visibility: public export

uri : HTTPRequest -> URI

Totality: total
Visibility: public export

.headers : HTTPRequest -> Headers

Totality: total
Visibility: public export

headers : HTTPRequest -> Headers

Totality: total
Visibility: public export

.body : HTTPRequest -> RequestBody

Totality: total
Visibility: public export

body : HTTPRequest -> RequestBody

Totality: total
Visibility: public export

adjURI : (URI -> URI) -> HTTPRequest -> HTTPRequest

Totality: total
Visibility: export

emptyRequest : HTTPRequest

Totality: total
Visibility: export

interface RequestEncode : Type -> Type -> Type

Parameters: from, to
Methods:

reqEncodeAs : from -> to

toBody : to -> RequestBody

Implementations:

EncodeVia f t => RequestEncode f t

RequestEncode Blob Blob

RequestEncode File Blob

reqEncodeAs : RequestEncode from to => from -> to

Totality: total
Visibility: public export

toBody : RequestEncode from to => to -> RequestBody

Totality: total
Visibility: public export