Safe Haskell	Safe-Inferred
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

data CommentSettings = CommentSettings {
- csVerbosity :: CommentsVerbosity
- csPrintFullStackTrace :: Bool
- csPrintFileName :: Bool
}
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 #

Constructors

CommentSettings
Fields csVerbosity :: CommentsVerbosity csPrintFullStackTrace :: Bool csPrintFileName :: Bool

Instances

Instances details

Show CommentSettings Source #
Instance details Defined in Indigo.Compilation.Hooks Methods showsPrec :: Int -> CommentSettings -> ShowS # show :: CommentSettings -> String # showList :: [CommentSettings] -> ShowS #
Default CommentSettings Source #
Instance details Defined in Indigo.Compilation.Hooks Methods def :: CommentSettings #
Eq CommentSettings Source #
Instance details Defined in Indigo.Compilation.Hooks Methods (==) :: CommentSettings -> CommentSettings -> Bool # (/=) :: CommentSettings -> CommentSettings -> Bool #

data CommentsVerbosity Source #

Constructors

NoComments
LogTopLevelFrontendStatements
LogBackendStatements
LogAuxCode
LogExpressionsComputations

Instances

Instances details

Bounded CommentsVerbosity Source #
Instance details Defined in Indigo.Compilation.Hooks Methods minBound :: CommentsVerbosity # maxBound :: CommentsVerbosity #
Enum CommentsVerbosity Source #
Instance details Defined in Indigo.Compilation.Hooks Methods succ :: CommentsVerbosity -> CommentsVerbosity # pred :: CommentsVerbosity -> CommentsVerbosity # toEnum :: Int -> CommentsVerbosity # fromEnum :: CommentsVerbosity -> Int # enumFrom :: CommentsVerbosity -> [CommentsVerbosity] # enumFromThen :: CommentsVerbosity -> CommentsVerbosity -> [CommentsVerbosity] # enumFromTo :: CommentsVerbosity -> CommentsVerbosity -> [CommentsVerbosity] # enumFromThenTo :: CommentsVerbosity -> CommentsVerbosity -> CommentsVerbosity -> [CommentsVerbosity] #
Show CommentsVerbosity Source #
Instance details Defined in Indigo.Compilation.Hooks Methods showsPrec :: Int -> CommentsVerbosity -> ShowS # show :: CommentsVerbosity -> String # showList :: [CommentsVerbosity] -> ShowS #
Eq CommentsVerbosity Source #
Instance details Defined in Indigo.Compilation.Hooks Methods (==) :: CommentsVerbosity -> CommentsVerbosity -> Bool # (/=) :: CommentsVerbosity -> CommentsVerbosity -> Bool #
Ord CommentsVerbosity Source #
Instance details Defined in Indigo.Compilation.Hooks Methods compare :: CommentsVerbosity -> CommentsVerbosity -> Ordering # (<) :: CommentsVerbosity -> CommentsVerbosity -> Bool # (<=) :: CommentsVerbosity -> CommentsVerbosity -> Bool # (>) :: CommentsVerbosity -> CommentsVerbosity -> Bool # (>=) :: CommentsVerbosity -> CommentsVerbosity -> Bool # max :: CommentsVerbosity -> CommentsVerbosity -> CommentsVerbosity # min :: CommentsVerbosity -> CommentsVerbosity -> CommentsVerbosity #

defaultCommentSettings :: CommentsVerbosity -> CommentSettings Source #

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