Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- convertContract :: forall param store. (SingI param, SingI store) => Contract param store -> Contract
- convertFullContract :: forall param store. (SingI param, SingI store) => FullContract param store -> Contract
- instrToOps :: HasCallStack => Instr inp out -> [ExpandedOp]
- untypeValue :: forall t. (SingI t, HasNoOp t) => Value' Instr t -> Value
Documentation
convertContract :: forall param store. (SingI param, SingI store) => Contract param store -> Contract Source #
convertFullContract :: forall param store. (SingI param, SingI store) => FullContract 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.