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

UntypedPlutusCore.Transform.CaseReduce

Documentation

caseReduce ∷ (Monad m, CaseBuiltin uni) ⇒ Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a) Source #

processTermCaseBuiltin uni ⇒ Term name uni fun a → Term name uni fun a Source #