indigo-0.6.0: Convenient imperative eDSL over Lorentz.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Indigo.Compilation

Description

This module contains the high-level compilation of Indigo to Lorentz, including plain Indigo code, as well as Indigo contracts.

Synopsis

Documentation

data CommentsVerbosity Source #

Instances

Instances details
Bounded CommentsVerbosity Source # 
Instance details

Defined in Indigo.Compilation.Hooks

Enum CommentsVerbosity Source # 
Instance details

Defined in Indigo.Compilation.Hooks

Show CommentsVerbosity Source # 
Instance details

Defined in Indigo.Compilation.Hooks

Eq CommentsVerbosity Source # 
Instance details

Defined in Indigo.Compilation.Hooks

Ord CommentsVerbosity Source # 
Instance details

Defined in Indigo.Compilation.Hooks

compileIndigo :: forall n inp a. (AreIndigoParams n inp, KnownValue a, Default (StackVars inp)) => IndigoWithParams n inp a -> inp :-> inp Source #

Simplified version of compileIndigoFull

compileIndigoContractFull :: forall param st. (KnownValue param, IsObject st) => CommentSettings -> IndigoContract param st -> ContractCode param st Source #

Compile Indigo code to Lorentz contract. Drop elements from the stack to return only [Operation] and storage.

compileIndigoContract :: forall param st. (KnownValue param, IsObject st) => IndigoContract param st -> ContractCode param st Source #

Simplified version of compileIndigoContractFull