Morley.Micheline.Binary.Internal

Defines binary encoding primitives which mimic Tezos' binary encoding.

Documentation

newtype DynamicSize a

Constructors

DynamicSize

Fields

• unDynamicSize :: a

Encode

buildWord8 :: Word8 -> Builder

buildText :: Text -> Builder

buildInteger :: Integer -> Builder

buildNatural :: Integer -> Builder

Build a binary representation of a Zarith natural. This function is partial, only defined for nonnegative Integers.

The reason it's not defined to accept a Natural is mostly to avoid fromIntegral/toInteger conversions at the use sites, since not all libraries, notably cryptonite, support Natural.

buildDynamic :: (a -> Builder) -> DynamicSize a -> Builder

buildByteString :: ByteString -> Builder

Decode

getText :: Get Text

getNatural :: Get Integer

getInteger :: Get Integer

getDynamic :: Get a -> Get (DynamicSize a)

getByteString :: Get ByteString