Safe Haskell	None
Language	Haskell2010

Michelson.Typed.Convert

Contents

Orphan instances

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.

Orphan instances

Typeable s => Eq (TestAssert s) Source #
Instance details Methods (==) :: TestAssert s -> TestAssert s -> Bool # (/=) :: TestAssert s -> TestAssert s -> Bool #
Eq (Instr inp out) Source #
Instance details Methods (==) :: Instr inp out -> Instr inp out -> Bool # (/=) :: Instr inp out -> Instr inp out -> Bool #