Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Micheline.Binary.Internal

Description

Defines binary encoding primitives which mimic Tezos' binary encoding.

Synopsis

newtype DynamicSize a = DynamicSize {
- unDynamicSize :: a
}
getByteString :: Get ByteString
readZ :: forall a. (Integral a, Bits a) => Int -> a -> Get a
buildInteger :: Integer -> Builder
buildWord8 :: Word8 -> Builder
buildByteString :: ByteString -> Builder
writeZ :: forall a. (Integral a, Bits a) => Int -> a -> Builder
buildNatural :: Integer -> Builder
buildDynamic :: (a -> Builder) -> DynamicSize a -> Builder
buildText :: Text -> Builder
getInteger :: Get Integer
getNatural :: Get Integer
getDynamic :: Get a -> Get (DynamicSize a)
getText :: Get Text

Documentation

newtype DynamicSize a Source #

Constructors

DynamicSize
Fields unDynamicSize :: a

getByteString :: Get ByteString Source #

readZ :: forall a. (Integral a, Bits a) => Int -> a -> Get a Source #

buildInteger :: Integer -> Builder Source #

buildWord8 :: Word8 -> Builder Source #

buildByteString :: ByteString -> Builder Source #

writeZ :: forall a. (Integral a, Bits a) => Int -> a -> Builder Source #

buildNatural :: Integer -> Builder Source #

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 Source #

buildText :: Text -> Builder Source #

getInteger :: Get Integer Source #

getNatural :: Get Integer Source #

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

getText :: Get Text Source #