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

PlutusIR.Transform.CaseReduce

Documentation

caseReduceCaseBuiltin uni ⇒ Term tyname name uni fun a → Term tyname name uni fun a Source #

caseReducePass ∷ (Typecheckable uni fun, CaseBuiltin uni, GEq uni, Applicative m) ⇒ PirTCConfig uni fun → Pass m TyName Name uni fun a Source #