| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Indigo.Compilation
Description
This module contains the high-level compilation of Indigo to Lorentz, including plain Indigo code, as well as Indigo contracts.
Synopsis
- compileIndigo :: forall n inp a. (AreIndigoParams n inp, KnownValue a, Default (StackVars inp)) => IndigoWithParams n inp a -> inp :-> inp
- compileIndigoContract :: forall param st. (KnownValue param, IsObject st) => IndigoContract param st -> ContractCode param st
Documentation
compileIndigo :: forall n inp a. (AreIndigoParams n inp, KnownValue a, Default (StackVars inp)) => IndigoWithParams n inp a -> inp :-> inp Source #
Specialiasation of compileIndigoImpl without var decompositions.
compileIndigoContract :: forall param st. (KnownValue param, IsObject st) => IndigoContract param st -> ContractCode param st Source #
Compile Indigo code to Lorentz contract.
Drop elements from the stack to return only [Operation] and storage.