Idris2Doc : Pact.API.MimeRender

Pact.API.MimeRender

(source)
Mime render and unrender.

Definitions

interface MimeRender : 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:
MimeRender PlainTextAccept String
ToJSON a => MimeRender JSONAccept a
mimeRender : MimeRender ctype a => a -> String
  Render a value to a string.

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

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

Implementations:
MimeUnrender PlainTextAccept String
FromJSON a => MimeUnrender JSONAccept a
mimeUnrender : MimeUnrender ctype a => String -> Either String a
  Unrender a value from a string.

Visibility: public export