Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module contains the high-level compilation of Indigo to Lorentz, including plain Indigo code, as well as Indigo contracts.
Synopsis
- data CommentSettings = CommentSettings {}
- data CommentsVerbosity
- defaultCommentSettings :: CommentsVerbosity -> CommentSettings
- compileIndigo :: forall n inp a. (AreIndigoParams n inp, KnownValue a, Default (StackVars inp)) => IndigoWithParams n inp a -> inp :-> inp
- compileIndigoContractFull :: forall param st. (KnownValue param, IsObject st) => CommentSettings -> IndigoContract param st -> ContractCode param st
- compileIndigoContract :: forall param st. (KnownValue param, IsObject st) => IndigoContract param st -> ContractCode param st
Documentation
data CommentSettings Source #
Instances
Show CommentSettings Source # | |
Defined in Indigo.Compilation.Hooks showsPrec :: Int -> CommentSettings -> ShowS # show :: CommentSettings -> String # showList :: [CommentSettings] -> ShowS # | |
Default CommentSettings Source # | |
Defined in Indigo.Compilation.Hooks def :: CommentSettings # | |
Eq CommentSettings Source # | |
Defined in Indigo.Compilation.Hooks (==) :: CommentSettings -> CommentSettings -> Bool # (/=) :: CommentSettings -> CommentSettings -> Bool # |
data CommentsVerbosity Source #
Instances
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