Data.Extensible.Match

Pattern matching

Documentation

matchWith :: (forall x. f x -> g x -> r) -> (f :* xs) -> (g :| xs) -> r

Retrieve the contents so that they matches and pass both to the given function.

newtype Match h a x

Turn a wrapper type into one clause that returns a.

Constructors

Match

Fields

runMatch :: h x -> a

Instances

Typeable ((k -> *) -> * -> k -> *) (Match k)

_Match :: (Profunctor p, Functor f) => p (g x -> a) (f (h y -> b)) -> p (Match g a x) (f (Match h b y))

match :: (Match h a :* xs) -> (h :| xs) -> a

O(log n) Perform pattern matching.

mapMatch :: (a -> b) -> Match h a x -> Match h b x

Applies a function to the result of Match.

caseOf :: (h :| xs) -> (Match h a :* xs) -> a infix 0

Flipped match