Idris2Doc : Pact.API.MimeRender

Pact.API.MimeRender

(source)
Mime render and unrender.

Definitions

interfaceMimeRender : Type->Type->Type
  Mime render a value to a string.

Parameters: ctype, a
Constraints: Accept ctype
Methods:
mimeRender : a->String
  Render a value to a string.

Implementations:
MimeRenderPlainTextAcceptString
ToJSONa=>MimeRenderJSONAccepta
mimeRender : MimeRenderctypea=>a->String
  Render a value to a string.

Visibility: public export
interfaceMimeUnrender : Type->Type->Type
  Mime unrender a value from a string.

Parameters: ctype, a
Constraints: Accept ctype
Methods:
mimeUnrender : String->EitherStringa
  Unrender a value from a string.

Implementations:
MimeUnrenderPlainTextAcceptString
FromJSONa=>MimeUnrenderJSONAccepta
mimeUnrender : MimeUnrenderctypea=>String->EitherStringa
  Unrender a value from a string.

Visibility: public export