HTTP.API.Content

Definitions

record ReqContent : Type

  Data type for describing the format(s) and type of some
  data stored in a HTTP request's body.

Totality: total
Visibility: public export
Constructor: 

Content : (0 _ : List Type) -> (0 _ : Type) -> ReqContent

Projections:

0 .formats : ReqContent -> List Type

0 .result : ReqContent -> Type

0 .formats : ReqContent -> List Type

Totality: total
Visibility: public export

0 formats : ReqContent -> List Type

Totality: total
Visibility: public export

0 .result : ReqContent -> Type

Totality: total
Visibility: public export

0 result : ReqContent -> Type

Totality: total
Visibility: public export

JSONContent : (0 _ : Type) -> ReqContent

  Utility alias for `Content [JSON]`

Totality: total
Visibility: public export