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

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 ~ DefaultFunMonad m ⇒ Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a) Source #