Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- convertContract :: forall param store. (SingI param, SingI store) => Contract param store -> Contract
- instrToOps :: 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 #
instrToOps :: 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.
Orphan instances
Typeable s => Eq (ExtInstr s) Source # | |
Typeable s => Eq (TestAssert s) Source # | |
(==) :: TestAssert s -> TestAssert s -> Bool # (/=) :: TestAssert s -> TestAssert s -> Bool # | |
Eq (Instr inp out) Source # | |