Morley.Michelson.Interpret.Unpack

Module, carrying logic of UNPACK instruction.

This is nearly symmetric to adjacent Pack.hs module.

When implementing this the following sources were used:

• https://pastebin.com/8gfXaRvp
• https://gitlab.com/tezos/tezos/-/blob/767de2b6665ec2cc21e41e6348f8a0b369d26450/src/proto_alpha/lib_protocol/script_ir_translator.ml#L2501
• https://github.com/tezbridge/tezbridge-crypto/blob/f7d93d8d04201557972e839967758cff5bbe5345/PsddFKi3/codec.js#L513

Documentation

newtype UnpackError

Any decoding error.

Constructors

UnpackError

Fields

• unUnpackError :: Text

Instances

Exception UnpackError

Defined in Morley.Util.Binary

Methods

toException :: UnpackError -> SomeException

fromException :: SomeException -> Maybe UnpackError

displayException :: UnpackError -> String

Show UnpackError

Defined in Morley.Util.Binary

Methods

showsPrec :: Int -> UnpackError -> ShowS

show :: UnpackError -> String

showList :: [UnpackError] -> ShowS

Eq UnpackError

Defined in Morley.Util.Binary

Methods

(==) :: UnpackError -> UnpackError -> Bool

(/=) :: UnpackError -> UnpackError -> Bool

Buildable UnpackError

Defined in Morley.Util.Binary

Methods

build :: UnpackError -> Doc

buildList :: [UnpackError] -> Doc

unpackInstr' :: ByteString -> Either UnpackError [ExpandedOp]

Deserialize an instruction into the given value.

unpackUValue' :: ByteString -> Either UnpackError Value

Deserialize bytes into Value.

unpackValue' :: forall t. UnpackedValScope t => ByteString -> Either UnpackError (Value t)

Deserialize bytes into the given value. Suitable for UNPACK operation only.