| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Michelson.Interpret.Pack
Description
Module, carrying logic of PACK instruction.
This is nearly symmetric to adjacent Unpack.hs module.
Synopsis
- packCode' :: Instr inp out -> ByteString
- packT' :: forall (t :: T). SingI t => ByteString
- packValue :: PackedValScope t => Value t -> LByteString
- packValue' :: PackedValScope t => Value t -> ByteString
- packValuePrefix :: IsString s => s
- encodeValue' :: (SingI t, HasNoOp t) => Value t -> ByteString
- packNotedT' :: forall (t :: T). SingI t => Notes t -> ByteString
- encodeIntPayload :: Integer -> LByteString
Documentation
packCode' :: Instr inp out -> ByteString Source #
packValue :: PackedValScope t => Value t -> LByteString Source #
Serialize a value given to PACK instruction.
packValue' :: PackedValScope t => Value t -> ByteString Source #
Same as packValue, for strict bytestring.
packValuePrefix :: IsString s => s Source #
Prefix prepended to the binary representation of a value.
Serializers used in morley-client
encodeValue' :: (SingI t, HasNoOp t) => Value t -> ByteString Source #
packNotedT' :: forall (t :: T). SingI t => Notes t -> ByteString Source #
Internals
encodeIntPayload :: Integer -> LByteString Source #
Encode contents of a given number.