morley-1.7.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Michelson.Interpret.Pack

Description

Module, carrying logic of PACK instruction.

This is nearly symmetric to adjacent Unpack.hs module.

Synopsis

Documentation

packT' :: forall (t :: T). SingI t => 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 :: forall t. (SingI t, HasNoOp t) => Value t -> LByteString Source #

Generic serializer.

We don't require HasNoBigMap constraint here since the big_map serialization is only prohibited in PACK instructions, however, we still want to be able to serialize big_map e.g. in order to transform typed value to low-level Micheline representation. TODO: Serialize chain operations properly as well since they actually also have byte representation.

packNotedT' :: forall (t :: T). SingI t => Notes t -> ByteString Source #

Internals

encodeIntPayload :: Integer -> LByteString Source #

Encode contents of a given number.