| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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
- newtype UnpackError = UnpackError {}
- unpackValue :: (SingI t, HasNoOp t, HasNoBigMap t) => UnpackEnv -> LByteString -> Either UnpackError (Value t)
- unpackValue' :: (SingI t, HasNoOp t, HasNoBigMap t) => UnpackEnv -> ByteString -> Either UnpackError (Value t)
- data UnpackEnv = UnpackEnv {}
Documentation
newtype UnpackError Source #
Any decoding error.
Constructors
| UnpackError | |
Fields | |
Instances
| Eq UnpackError Source # | |
Defined in Michelson.Interpret.Unpack | |
| Show UnpackError Source # | |
Defined in Michelson.Interpret.Unpack Methods showsPrec :: Int -> UnpackError -> ShowS # show :: UnpackError -> String # showList :: [UnpackError] -> ShowS # | |
| Buildable UnpackError Source # | |
Defined in Michelson.Interpret.Unpack Methods build :: UnpackError -> Builder # | |
unpackValue :: (SingI t, HasNoOp t, HasNoBigMap t) => UnpackEnv -> LByteString -> Either UnpackError (Value t) Source #
Deserialize bytes into the given value.
Suitable for UNPACK operation only.
unpackValue' :: (SingI t, HasNoOp t, HasNoBigMap t) => UnpackEnv -> ByteString -> Either UnpackError (Value t) Source #
Like unpackValue, for strict byte array.
Constructors
| UnpackEnv | |
Fields | |