DDC.Core.Transform.FoldCase

Documentation

data Config

Constructors

Config

Fields

configCaseOfConstructor :: Bool

Perform the case-of-constructor transformation.

configCaseOfCase :: Bool

Perform the case-of-case transformation. Not implemented yet.

configZero :: Config

foldCase :: (Ord n, TransformDownMX (FoldCase a n) c) => Config -> c a n -> c a n

foldCaseX :: Ord n => Config -> Exp a n -> FoldCase a n (Exp a n)