morley-1.20.0: Developer tools for the Michelson Language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Morley.Michelson.Interpret.Unpack

Description

Module, carrying logic of UNPACK instruction.

This is nearly symmetric to adjacent Pack.hs module.

When implementing this the following sources were used:

Synopsis

Documentation

newtype UnpackError Source #

Any decoding error.

Constructors

UnpackError 

Fields

Instances

Instances details
Exception UnpackError Source # 
Instance details

Defined in Morley.Util.Binary

Methods

toException :: UnpackError -> SomeException #

fromException :: SomeException -> Maybe UnpackError #

displayException :: UnpackError -> String #

Show UnpackError Source # 
Instance details

Defined in Morley.Util.Binary

Methods

showsPrec :: Int -> UnpackError -> ShowS #

show :: UnpackError -> String #

showList :: [UnpackError] -> ShowS #

Eq UnpackError Source # 
Instance details

Defined in Morley.Util.Binary

Methods

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

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

Buildable UnpackError Source # 
Instance details

Defined in Morley.Util.Binary

Methods

build :: UnpackError -> Doc

buildList :: [UnpackError] -> Doc

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

Deserialize an instruction into the given value.

unpackUValue' :: ByteString -> Either UnpackError Value Source #

Deserialize bytes into Value.

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

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