ddc-core-simpl-0.4.3.1: Disciplined Disciple Compiler code transformations.
DDC.Core.Transform.FoldCase
data Config Source #
Constructors
Fields
Perform the case-of-constructor transformation.
Perform the case-of-case transformation. Not implemented yet.
configZero :: Config Source #
foldCase :: (Ord n, TransformDownMX (FoldCase a n) c) => Config -> c a n -> c a n Source #
foldCaseX :: Ord n => Config -> Exp a n -> FoldCase a n (Exp a n) Source #