| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Transform.CaseOfCase
Description
A special case of case-of-case optimisation: transforms
case ((force ifThenElse) b (constr t) (constr f)) alts
into
force ifThenElse b (case (constr t) alts) (case (constr f) alts)
This is always an improvement.
Documentation
caseOfCase ∷ fun ~ DefaultFun ⇒ Term name uni fun a → Term name uni fun a Source #