Idris2Doc : Pact.API.Accept

Pact.API.Accept

(source)
Accept a content type

Reexports

import public Data.Mime.Apache.Model

Definitions

data PlainTextAccept : Type
  Plain text content type

Totality: total
Visibility: public export
Hints:
Accept PlainTextAccept
MimeRender PlainTextAccept String
MimeUnrender PlainTextAccept String
data JSONAccept : Type
  JSON content type

Totality: total
Visibility: public export
Hints:
Accept JSONAccept
ToJSON a => MimeRender JSONAccept a
FromJSON a => MimeUnrender JSONAccept a
data XMLAccept : Type
  XMLAccept content type

Totality: total
Visibility: public export
Hint: 
Accept XMLAccept
data FormUrlEncodedAccept : Type
  Form URL encoded content type

Totality: total
Visibility: public export
Hint: 
Accept FormUrlEncodedAccept
data OctetStreamAccept : Type
  Octet stream content type

Totality: total
Visibility: public export
Hint: 
Accept OctetStreamAccept
interface Accept : Type -> Type
  Accept a content type.

Parameters: ctype
Methods:
contentType : Mime
  Get the content type.

Implementations:
Accept PlainTextAccept
Accept JSONAccept
Accept FormUrlEncodedAccept
Accept OctetStreamAccept
Accept XMLAccept
contentType : Accept ctype => Mime
  Get the content type.

Visibility: public export