Morley.Michelson.Typed.Contract

Module, containing top-level entries of a Michelson contract.

Contract

type ContractInp1 param st = 'TPair param st

type ContractInp param st = '[ContractInp1 param st]

type ContractOut1 st = 'TPair ('TList 'TOperation) st

type ContractOut st = '[ContractOut1 st]

type ContractCode' instr cp st = instr (ContractInp cp st) (ContractOut st)

data Contract' instr cp st

Typed contract and information about annotations which is not present in the contract code.

Constructors

(ParameterScope cp, StorageScope st) => Contract

Fields

• cCode :: ContractCode' instr cp st
• cParamNotes :: ParamNotes cp
• cStoreNotes :: Notes st
• cViews :: ViewsSet' instr st
• cEntriesOrder :: EntriesOrder

Instances

ContainsUpdateableDoc (Contract cp st)

Defined in Morley.Michelson.Typed.Doc

Methods

modifyDocEntirely :: (SomeDocItem -> SomeDocItem) -> Contract cp st -> Contract cp st

ContainsDoc (Contract cp st)

Defined in Morley.Michelson.Typed.Doc

Methods

buildDocUnfinalized :: Contract cp st -> ContractDoc

ToExpression (Contract cp st)

Defined in Morley.Micheline.Class

Methods

toExpression :: Contract cp st -> Expression

(forall (i :: [T]) (o :: [T]). Eq (instr i o)) => Eq (Contract' instr cp st)

Defined in Morley.Michelson.Typed.Contract

Methods

(==) :: Contract' instr cp st -> Contract' instr cp st -> Bool

(/=) :: Contract' instr cp st -> Contract' instr cp st -> Bool

(forall (i :: [T]) (o :: [T]). Show (instr i o)) => Show (Contract' instr cp st)

Defined in Morley.Michelson.Typed.Contract

Methods

showsPrec :: Int -> Contract' instr cp st -> ShowS

show :: Contract' instr cp st -> String

showList :: [Contract' instr cp st] -> ShowS

(forall (i :: [T]) (o :: [T]). NFData (instr i o)) => NFData (Contract' instr cp st)

Defined in Morley.Michelson.Typed.Contract

Methods

rnf :: Contract' instr cp st -> ()

defaultContract :: (ParameterScope cp, StorageScope st) => ContractCode' instr cp st -> Contract' instr cp st

mapContractCode :: (forall i o. instr i o -> instr i o) -> Contract' instr cp st -> Contract' instr cp st

Map all the blocks with some code in the contract.

mapContractCodeBlock :: (ContractCode' instr cp st -> ContractCode' instr cp st) -> Contract' instr cp st -> Contract' instr cp st

Transform contract code block.

To map e.g. views too, see mapContractCode.

mapContractViewBlocks :: (forall arg ret. ViewCode' instr arg st ret -> ViewCode' instr arg st ret) -> Contract' instr cp st -> Contract' instr cp st

mapEntriesOrdered :: Contract' instr cp st -> (ParamNotes cp -> a) -> (Notes st -> a) -> (ContractCode' instr cp st -> a) -> [a]

Map each typed contract fields by the given function and sort the output based on the EntriesOrder.