Dhall.Binary

This module contains logic for converting Dhall expressions to and from CBOR expressions which can in turn be converted to and from a binary representation

Standard versions

data StandardVersion

Supported version strings

Constructors

V_5_0_0

Version "5.0.0"

defaultStandardVersion :: StandardVersion

parseStandardVersion :: Parser StandardVersion

Encoding and decoding

encodeWithVersion :: StandardVersion -> Expr s Import -> Term

Encode a Dhall expression using the specified Version

decodeWithVersion :: Term -> Either DecodingFailure (Expr s Import)

Decode a Dhall expression

This auto-detects which standard version to decode based on the included standard version string in the decoded expression

Exceptions

data DecodingFailure

Constructors

CannotDecodeVersionString Term

UnsupportedVersionString Text

CBORIsNotDhall Term

Instances

Eq DecodingFailure

Defined in Dhall.Binary

Methods

(==) :: DecodingFailure -> DecodingFailure -> Bool

(/=) :: DecodingFailure -> DecodingFailure -> Bool

Show DecodingFailure

Defined in Dhall.Binary

Methods

showsPrec :: Int -> DecodingFailure -> ShowS

show :: DecodingFailure -> String

showList :: [DecodingFailure] -> ShowS

Exception DecodingFailure

Defined in Dhall.Binary

Methods

toException :: DecodingFailure -> SomeException

fromException :: SomeException -> Maybe DecodingFailure

displayException :: DecodingFailure -> String