lorentz-0.13.1: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Lorentz.Common

Description

Common primitives.

Synopsis

Documentation

type Entrypoint param store = '[param, store] :-> ContractOut store Source #

Single entrypoint of a contract.

Note that we cannot make it return [[Operation], store] because such entrypoint should've been followed by pair, and this is not possible if entrypoint implementation ends with failWith.

type Entrypoint_ store = '[store] :-> ContractOut store Source #

Version of Entrypoint which accepts no argument.