CaseOf

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.

caseOf :: Name -> Q Exp

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

nameAsValue :: Name -> Q Name

Return the name if it is a value constructor, otherwise lookup a value name.