Generic.Match

Documentation

match :: forall b r a x0 x1 x2 x3. (Generic b, Match a r, Rep b ~ D1 (MetaData x0 x1 x2 x3) a) => b -> Matcher b r

A first class pattern matching function for anything Generic, in the style of either and maybe.

type Matcher x r = Matcher' (StripData (Rep x)) r

The type of a first class pattern match, having consumed the input.