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

PlutusTx.Compiler.Builtins

Description

Functions for compiling Plutus Core builtins.

Synopsis

Documentation

builtinNames ∷ [Name] Source #

The Names for which NameInfo needs to be provided.

defineBuiltinTypesCompilingDefault uni fun m ann ⇒ m () Source #

defineBuiltinTermsCompilingDefault uni fun m ann ⇒ m () Source #

Add definitions for all the builtin terms to the environment.

lookupBuiltinTermCompiling uni fun m ann ⇒ Name → m (PIRTerm uni fun) Source #

Lookup a builtin term by its TH name. These are assumed to be present, so fails if it cannot find it.

lookupBuiltinTypeCompiling uni fun m ann ⇒ Name → m (PIRType uni) Source #

Lookup a builtin type by its TH name. These are assumed to be present, so fails if it is cannot find it.

errorFuncCompiling uni fun m ann ⇒ m (PIRTerm uni fun) Source #

The function 'error :: forall a . a'.