| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Compiler.Expr
Description
Functions for compiling GHC Core expressions into Plutus Core terms.
Synopsis
- compileExpr ∷ CompilingDefault uni fun m ann ⇒ CoreExpr → m (PIRTerm uni fun)
- compileExprWithDefs ∷ CompilingDefault uni fun m ann ⇒ CoreExpr → m (PIRTerm uni fun)
- compileDataConRef ∷ CompilingDefault uni fun m ann ⇒ DataCon → m (PIRTerm uni fun)
Documentation
compileExpr ∷ CompilingDefault uni fun m ann ⇒ CoreExpr → m (PIRTerm uni fun) Source #
compileExprWithDefs ∷ CompilingDefault uni fun m ann ⇒ CoreExpr → m (PIRTerm uni fun) Source #
compileDataConRef ∷ CompilingDefault uni fun m ann ⇒ DataCon → m (PIRTerm uni fun) Source #
Convert a reference to a data constructor, i.e. a call to it.