Data.BERT

Documentation

data Term

A single BERT term.

Constructors

IntTerm Int

FloatTerm Float

AtomTerm String

TupleTerm [Term]

BytelistTerm ByteString

ListTerm [Term]

BinaryTerm ByteString

BigintTerm Integer

BigbigintTerm Integer

NilTerm

BoolTerm Bool

DictionaryTerm [(Term, Term)]

TimeTerm UTCTime

RegexTerm String [String]

Instances

Eq Term

Defined in Data.BERT

Methods

(==) :: Term -> Term -> Bool

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

Ord Term

Defined in Data.BERT

Methods

compare :: Term -> Term -> Ordering

(<) :: Term -> Term -> Bool

(<=) :: Term -> Term -> Bool

(>) :: Term -> Term -> Bool

(>=) :: Term -> Term -> Bool

max :: Term -> Term -> Term

min :: Term -> Term -> Term

Read Term

Defined in Data.BERT

Methods

readsPrec :: Int -> ReadS Term

readList :: ReadS [Term]

readPrec :: ReadPrec Term

readListPrec :: ReadPrec [Term]

Show Term

Defined in Data.BERT

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Binary Term

Defined in Data.BERT

Methods

put :: Term -> Put

get :: Get Term

putList :: [Term] -> Put

BERT Term

Defined in Data.BERT

Methods

showBERT :: Term -> Term

readBERT :: Term -> Either String Term

zeroHour :: UTCTime

decomposeTime :: UTCTime -> (Int, Int, Int)

composeTime :: (Int, Int, Int) -> UTCTime

ct :: String -> [Term] -> Term

compose :: Term -> Term

showTerm :: Term -> [Char]

class BERT a where

Minimal complete definition

showBERT, readBERT

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

Defined in Data.BERT

Methods

showBERT :: Bool -> Term

readBERT :: Term -> Either String Bool

BERT Float

Defined in Data.BERT

Methods

showBERT :: Float -> Term

readBERT :: Term -> Either String Float

BERT Int

Defined in Data.BERT

Methods

showBERT :: Int -> Term

readBERT :: Term -> Either String Int

BERT Integer

Defined in Data.BERT

Methods

showBERT :: Integer -> Term

readBERT :: Term -> Either String Integer

BERT String

Defined in Data.BERT

Methods

showBERT :: String -> Term

readBERT :: Term -> Either String String

BERT ByteString

Defined in Data.BERT

Methods

showBERT :: ByteString -> Term

readBERT :: Term -> Either String ByteString

BERT Term

Defined in Data.BERT

Methods

showBERT :: Term -> Term

readBERT :: Term -> Either String Term

BERT a => BERT [a]

Defined in Data.BERT

Methods

showBERT :: [a] -> Term

readBERT :: Term -> Either String [a]

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

Defined in Data.BERT

Methods

showBERT :: (a, b) -> Term

readBERT :: Term -> Either String (a, b)

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

Defined in Data.BERT

Methods

showBERT :: Map k v -> Term

readBERT :: Term -> Either String (Map k v)

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

Defined in Data.BERT

Methods

showBERT :: (a, b, c) -> Term

readBERT :: Term -> Either String (a, b, c)

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

Defined in Data.BERT

Methods

showBERT :: (a, b, c, d) -> Term

readBERT :: Term -> Either String (a, b, c, d)

putTerm :: Term -> PutM ()

Binary encoding of a single term (without header)

getTerm :: Get Term

Binary decoding of a single term (without header)

putBigint :: (Integral a1, Bits a1) => (Int -> PutM a2) -> a1 -> PutM ()

getBigint :: (Integral a, Num b) => Get a -> Get b

put8u :: Integral a => a -> Put

put16u :: Integral a => a -> Put

put32u :: Integral a => a -> Put

put32s :: Integral a => a -> Put

putL :: ByteString -> Put

get8u :: Integral a => Get a

get16u :: Integral a => Get a

get32u :: Integral a => Get a

get32s :: Integral a => Get a

getL :: Integral a => a -> Get ByteString

tag :: Word8 -> Put