plutus-core-1.30.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 (case (constr t) alts) (case (constr f) alts)

This is always an improvement.

Documentation

caseOfCase ∷ fun ~ DefaultFunTerm name uni fun a → Term name uni fun a Source #