Michelson.Typed.Convert

Documentation

convertParamNotes :: SingI cp => ParamNotes cp -> ParameterType

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

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

Get sampleTypedValue from untyped value.

Throw error if U.Type contains TOperation.

Misc

flattenEntrypoints :: SingI t => ParamNotes t -> Map EpName Type

Flatten a provided list of notes to a map of its entrypoints and its corresponding utype. Please refer to mkEntrypointsMap in regards to how duplicate entrypoints are handled.

Orphan instances

Typeable s => Eq (TestAssert s)

Methods

(==) :: TestAssert s -> TestAssert s -> Bool

(/=) :: TestAssert s -> TestAssert s -> Bool

Eq (Instr inp out)

Methods

(==) :: Instr inp out -> Instr inp out -> Bool

(/=) :: Instr inp out -> Instr inp out -> Bool

(SingI t, HasNoOp t) => Buildable (Value' Instr t)

Methods

build :: Value' Instr t -> Builder