Documentation

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

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

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

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