HTTP.Response

Definitions

record Response : Type

  HTTP Response
  
  Currently, we include the content / body as a whole. This might
  be changed to a stream of data if we ever decide to stream
  large amounts of content.

Totality: total
Visibility: public export
Constructor: 

RP : Headers -> List ByteString -> Response

Projections:

.content : Response -> List ByteString

.headers : Response -> Headers

.headers : Response -> Headers

Totality: total
Visibility: public export

headers : Response -> Headers

Totality: total
Visibility: public export

.content : Response -> List ByteString

Totality: total
Visibility: public export

content : Response -> List ByteString

Totality: total
Visibility: public export

empty : Response

Totality: total
Visibility: export

addHeader : String -> ByteString -> Response -> Response

Totality: total
Visibility: export

setStatus : Status -> Response -> Response

Totality: total
Visibility: export

responseBytes : Response -> List ByteString

Totality: total
Visibility: export

setContentType : EncodeVia f t -> Response -> Response

Totality: total
Visibility: export

encodeBody : Status -> t -> Headers -> All (EncodeVia t) ts -> Response -> Response

Totality: total
Visibility: export

fromError : Maybe URI -> Headers -> RequestErr -> Response

Totality: total
Visibility: export

fromStatus : URI -> Headers -> Status -> Response

Totality: total
Visibility: export

notFound : URI -> Headers -> Response

Totality: total
Visibility: export

forbidden : URI -> Headers -> Response

Totality: total
Visibility: export