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 (delay (case (constr t) alts)) (delay (case (constr f) alts))

This is always an improvement.

Documentation

caseOfCase ∷ fun ~ DefaultFun ⇒ Monad m ⇒ Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a) Source #