CaseOf

Template-Haskell-based combinators that let you select on constructors.

Documentation

isCaseOf :: Name -> Q Exp

Create a predicate that returns true if its argument is the given constructor.

maybeCaseOf :: Name -> Q Exp

Return Just (x, y, ..) for the constructor C x y .., or Nothing.

mapCaseOf :: Name -> Q Exp

Apply a function to the slots of a constructor, if it matches, otherwise identity.

caseOf :: Name -> Q Exp

Call a function with arguments from the constructor if it matches, or pass it to the wildcard function.