Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
processTerm ∷ CaseBuiltin uni ⇒ Term name uni fun a → Term name uni fun a Source #