Concept.Contract

This is part of the standard library for Delm.

Blockchain base types.

type alias Contract msg model =

{ constructor : ( Global -> FunctionIO -> model, InterfaceIO )

, update :

msg -> Global -> model -> ( Requirements, model, FunctionIO )

}

Contract specification.

Function parameter positions.

Interfaces.

Implementation type for Interfaces.

deploy : Contract msg model -> Program () model msg

Syntax sugar, not meant to be used directly.

interpret : ContractCore msg model -> Program () (Model model) Msg

Interpreter function.

Modules