Data.BERT.Term

Define BERT terms their binary encoding & decoding and a typeclass for converting Haskell values to BERT terms and back.

We define a number of convenient instances for BERT. Users will probably want to define their own instances for composite types.

Documentation

class BERT a where

Methods

showBERT :: a -> Term

Introduce a Term from a Haskell value.

readBERT :: Term -> Either String a

Attempt to read a haskell value from a Term.

Instances

BERT Bool

BERT Float

BERT Int

BERT Integer

BERT String

BERT ByteString

BERT Term

BERT a => BERT [a]

(BERT a, BERT b) => BERT (a, b)

(Ord k, BERT k, BERT v) => BERT (Map k v)

(BERT a, BERT b, BERT c) => BERT (a, b, c)

(BERT a, BERT b, BERT c, BERT d) => BERT (a, b, c, d)

showTerm :: Term -> String

parseTerm :: String -> Either ParseError Term

Parse a simple BERT (erlang) term from a string in the erlang grammar. Does not attempt to decompose complex terms.