indigo-0.2.2: Convenient imperative eDSL over Lorentz.
Safe HaskellNone
LanguageHaskell2010

Indigo.Compilation.Lambda

Synopsis

Documentation

data CompiledLambda where Source #

Constructors

CompiledLambda 

Fields

data Lambda1Def where Source #

Constructors

LambdaPure1Def 

Fields

Lambda1Def 

Fields

LambdaEff1Def 

Fields

collectLambdas :: forall a. IndigoM a -> Set Lambda1Def Source #

Collect all used lambdas in a computation (which might be either a contract body or another function body), which are called at least twice. Only outer functions will be gathered, for instance, if we call lambda func1 from func0, only func0 will be taken.