This is part of the standard library for Delm.
Blockchain base types.
{ constructor : ( Concept.Core.Global -> FunctionIO -> model
, InterfaceIO )
, update : msg -> Concept.Core.Global -> model -> ( Concept.Core.Requirements
, model
, FunctionIO )
}
Contract specification.
{ constructor : ( Concept.Core.Global -> FunctionIO -> model
, InterfaceIO )
, update : msg -> Concept.Core.Global -> model -> ( Concept.Core.Requirements
, model
, FunctionIO )
, signatures : List ( String
, Signature )
, encodeMsg : ( String
, FunctionIO ) -> msg
}
Contract Core specification.
Function parameter positions.
Interfaces.
Implementation type for Interfaces.
{ inputs : InterfaceIO
, outputs : InterfaceIO
}
Signature specification.
{ deploys : Dict String model
, form : Dict String ( Maybe Basic
, Maybe Basic
, Maybe Basic )
, returns : Dict String FunctionIO
, addresses : Dict Concept.Core.Address Basics.Float
, sender : Maybe Concept.Core.Address
, value : Basics.Int
, global : Concept.Core.Global
}
Model specification.
Msg specification.
deploy : Contract msg model -> Platform.Program () model msg
Syntax sugar, not meant to be used directly.
interpret : ContractCore msg model -> Platform.Program () (Model model) Msg
Interpreter function.