plutus-core-1.45.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Analysis.Lib

Documentation

builtinSemantics ∷ BuiltinSemanticsVariant DefaultFun Source #

goldenEvalOrder ∷ String → Term Name DefaultUni DefaultFun () → TestNested Source #

termIfThenElse ∷ Term Name DefaultUni DefaultFun () Source #

termVar ∷ Natural → Term Name DefaultUni DefaultFun () Source #

dangerTerm ∷ Term Name DefaultUni DefaultFun () Source #

letFun ∷ Term Name DefaultUni DefaultFun () Source #

letImpure ∷ Term Name DefaultUni DefaultFun () Source #