morley-1.12.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Michelson.Typed.Convert

Synopsis

Documentation

convertContractCode :: forall param store. (SingI param, SingI store) => ContractCode param store -> Contract Source #

convertContract :: forall param store. (SingI param, SingI store) => Contract param store -> Contract 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.

sampleValueFromUntype :: HasCallStack => Type -> Value' ExpandedOp Source #

Get sampleTypedValue from untyped value.

Throw error if U.Type contains TOperation.

Misc

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

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) 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 #

(SingI t, HasNoOp t) => Buildable (Value' Instr t) Source # 
Instance details

Methods

build :: Value' Instr t -> Builder #