| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.BERT
Synopsis
- data 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
- putTerm :: Term -> PutM ()
- getTerm :: Get Term
- 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
Documentation
A single BERT term.
Constructors
Methods
showBERT :: a -> Term Source #
Introduce a Term from a Haskell value.
readBERT :: Term -> Either String a Source #
Attempt to read a haskell value from a Term.
Instances
| BERT Bool Source # | |
| BERT Float Source # | |
| BERT Int Source # | |
| BERT Integer Source # | |
| BERT String Source # | |
| BERT ByteString Source # | |
| BERT Term Source # | |
| BERT a => BERT [a] Source # | |
| (BERT a, BERT b) => BERT (a, b) Source # | |
| (Ord k, BERT k, BERT v) => BERT (Map k v) Source # | |
| (BERT a, BERT b, BERT c) => BERT (a, b, c) Source # | |
| (BERT a, BERT b, BERT c, BERT d) => BERT (a, b, c, d) Source # | |
putL :: ByteString -> Put Source #