| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Lorentz.Common
Description
Common primitives.
Synopsis
- type Entrypoint param store = '[param, store] :-> ContractOut store
- type Entrypoint_ store = '[store] :-> ContractOut store
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.