Servant.Dhall

A DHALL empty datatype with MimeRender and MimeUnrender instances for Dhall's Interpret and Inject classes.

>>> type Eg = Get '[DHALL] Integer

Note: reading and executing Dhall expressions from untrusted source is a security risk.

Documentation

type DHALL = DHALL' DefaultInterpretOptions

data DHALL' opt

Instances

Accept * (DHALL' opts)

Methods

contentType :: Proxy (DHALL' opts) ctype -> MediaType

contentTypes :: Proxy (DHALL' opts) ctype -> NonEmpty MediaType

(Inject a, HasInterpretOptions opts) => MimeRender * (DHALL' opts) a

Methods

mimeRender :: Proxy (DHALL' opts) a -> a -> ByteString

(Interpret a, HasInterpretOptions opts) => MimeUnrender * (DHALL' opts) a

Methods

mimeUnrender :: Proxy (DHALL' opts) a -> ByteString -> Either String a

mimeUnrenderWithType :: Proxy (DHALL' opts) a -> MediaType -> ByteString -> Either String a

class HasInterpretOptions opts

Minimal complete definition

interpretOptions

Instances

HasInterpretOptions DefaultInterpretOptions

Methods

interpretOptions :: Proxy * DefaultInterpretOptions -> InterpretOptions

data DefaultInterpretOptions

defaultInterpretOptions

Instances

HasInterpretOptions DefaultInterpretOptions

Methods

interpretOptions :: Proxy * DefaultInterpretOptions -> InterpretOptions