Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for compiling Plutus Core builtins.
Synopsis
- builtinNames ∷ [Name]
- defineBuiltinTypes ∷ CompilingDefault uni fun m ann ⇒ m ()
- defineBuiltinTerms ∷ CompilingDefault uni fun m ann ⇒ m ()
- lookupBuiltinTerm ∷ Compiling uni fun m ann ⇒ Name → m (PIRTerm uni fun)
- lookupBuiltinType ∷ Compiling uni fun m ann ⇒ Name → m (PIRType uni)
- errorFunc ∷ Compiling uni fun m ann ⇒ m (PIRTerm uni fun)
Documentation
defineBuiltinTypes ∷ CompilingDefault uni fun m ann ⇒ m () Source #
defineBuiltinTerms ∷ CompilingDefault uni fun m ann ⇒ m () Source #
Add definitions for all the builtin terms to the environment.
lookupBuiltinTerm ∷ Compiling 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.