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

PlutusTx.Compiler.Binders

Description

Convenient functions for compiling binders.

Synopsis

Documentation

withVarScopedCompilingDefault uni fun m ann ⇒ Var → (VarDecl TyName Name uni Ann → m a) → m a Source #

withVarTyScopedCompilingDefault uni fun m ann ⇒ VarPIRType uni → (VarDecl TyName Name uni Ann → m a) → m a Source #

Like withVarScoped, but takes a PIRType, and uses it for the type of the compiled Expr.

withVarsScopedCompilingDefault uni fun m ann ⇒ [Var] → ([VarDecl TyName Name uni Ann] → m a) → m a Source #

withTyVarScopedCompiling uni fun m ann ⇒ Var → (TyVarDecl TyName Ann → m a) → m a Source #

withTyVarsScopedCompiling uni fun m ann ⇒ [Var] → ([TyVarDecl TyName Ann] → m a) → m a Source #

mkLamAbsScopedCompilingDefault uni fun m ann ⇒ Var → m (PIRTerm uni fun) → m (PIRTerm uni fun) Source #

Builds a lambda, binding the given variable to a name that will be in scope when running the second argument.

mkIterLamAbsScopedCompilingDefault uni fun m ann ⇒ [Var] → m (PIRTerm uni fun) → m (PIRTerm uni fun) Source #

mkTyAbsScopedCompiling uni fun m ann ⇒ Var → m (PIRTerm uni fun) → m (PIRTerm uni fun) Source #

Builds a type abstraction, binding the given variable to a name that will be in scope when running the second argument.

mkIterTyAbsScopedCompiling uni fun m ann ⇒ [Var] → m (PIRTerm uni fun) → m (PIRTerm uni fun) Source #

mkTyForallScopedCompiling uni fun m ann ⇒ Var → m (PIRType uni) → m (PIRType uni) Source #

Builds a forall, binding the given variable to a name that will be in scope when running the second argument.

mkIterTyForallScopedCompiling uni fun m ann ⇒ [Var] → m (PIRType uni) → m (PIRType uni) Source #

mkTyLamScopedCompiling uni fun m ann ⇒ Var → m (PIRType uni) → m (PIRType uni) Source #

Builds a type lambda, binding the given variable to a name that will be in scope when running the second argument.

mkIterTyLamScopedCompiling uni fun m ann ⇒ [Var] → m (PIRType uni) → m (PIRType uni) Source #