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]

untypeDemoteT :: forall (t :: T). SingI t => Ty

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.

sampleTypedValue :: Sing t -> Maybe (Value t)

Generate a value used for generating examples in documentation.

Since not for all types it is possible to produce a sensible example, the result is optional. E.g. for operations, never, not proper types like contract operation we return Nothing.

Misc

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

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