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)