
  0 | module HTTP.API.Content
  1 | 
  2 | import JSON.Simple
  3 | 
  4 | %default total
  5 | 
  6 | ||| Data type for describing the format(s) and type of some
  7 | ||| data stored in a HTTP request's body.
  8 | public export
  9 | record ReqContent where
 10 |   constructor Content
 11 |   0 formats : List Type
 12 |   0 result  : Type
 13 | 
 14 | ||| Utility alias for `Content [JSON]`
 15 | public export
 16 | JSONContent : (0 result : Type) -> ReqContent
 17 | JSONContent = Content [JSON]
 18 |