| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Michelson.Typed.Convert
Contents
Synopsis
- convertContractCode :: forall param store. (SingI param, SingI store) => ContractCode param store -> Contract
- convertContract :: forall param store. (SingI param, SingI store) => Contract param store -> Contract
- instrToOps :: HasCallStack => Instr inp out -> [ExpandedOp]
- untypeValue :: forall t. (SingI t, HasNoOp t) => Value' Instr t -> Value
- sampleValueFromUntype :: HasCallStack => Type -> Value' ExpandedOp
Documentation
convertContractCode :: forall param store. (SingI param, SingI store) => ContractCode param store -> Contract Source #
convertContract :: forall param store. (SingI param, SingI store) => Contract param store -> Contract Source #
instrToOps :: HasCallStack => Instr inp out -> [ExpandedOp] Source #
untypeValue :: forall t. (SingI t, HasNoOp t) => Value' Instr t -> Value Source #
Convert a typed Val to an untyped Value.
For full isomorphism type of the given Val should not contain
TOperation - a compile error will be raised otherwise.
You can analyse its presence with checkOpPresence function.
sampleValueFromUntype :: HasCallStack => Type -> Value' ExpandedOp Source #
Get sampleTypedValue from untyped value.
Throw error if U.Type contains TOperation.