plutus-tx-plugin-1.30.0.0: The Plutus Tx compiler and GHC plugin
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Compiler.Expr

Description

Functions for compiling GHC Core expressions into Plutus Core terms.

Synopsis

Documentation

compileExprCompilingDefault uni fun m ann ⇒ CoreExpr → m (PIRTerm uni fun) Source #

compileExprWithDefsCompilingDefault uni fun m ann ⇒ CoreExpr → m (PIRTerm uni fun) Source #

compileDataConRefCompilingDefault uni fun m ann ⇒ DataCon → m (PIRTerm uni fun) Source #

Convert a reference to a data constructor, i.e. a call to it.