Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
.