Data.Extensible.Match

Pattern matching

Documentation

matchWith :: (forall x. f x -> g x -> r) -> (xs :& f) -> (xs :/ g) -> r

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

newtype Match h r x

Turn a wrapper type into a clause for it.

Constructors

Match

Fields

• runMatch :: h x -> r

Instances

Wrapper h => Wrapper (Match h r :: k -> Type)

Defined in Data.Extensible.Match

Associated Types

type Repr (Match h r) v

Methods

_Wrapper :: forall f p (v :: k0). (Functor f, Profunctor p) => Optic' p f (Match h r v) (Repr (Match h r) v)

wrap :: forall (v :: k0). Repr (Match h r) v -> Match h r v

unwrap :: forall (v :: k0). Match h r v -> Repr (Match h r) v

Monoid r => Monoid (Match h r x)

Defined in Data.Extensible.Match

Methods

mempty :: Match h r x

mappend :: Match h r x -> Match h r x -> Match h r x

mconcat :: [Match h r x] -> Match h r x

Semigroup r => Semigroup (Match h r x)

Defined in Data.Extensible.Match

Methods

(<>) :: Match h r x -> Match h r x -> Match h r x

sconcat :: NonEmpty (Match h r x) -> Match h r x

stimes :: Integral b => b -> Match h r x -> Match h r x

Generic (Match h r x)

Defined in Data.Extensible.Match

Associated Types

type Rep (Match h r x) :: Type -> Type

Methods

from :: Match h r x -> Rep (Match h r x) x0

to :: Rep (Match h r x) x0 -> Match h r x

type Repr (Match h r :: k -> Type) (x :: k)

Defined in Data.Extensible.Match

type Repr (Match h r :: k -> Type) (x :: k) = Repr h x -> r

type Rep (Match h r x)

Defined in Data.Extensible.Match

type Rep (Match h r x) = D1 ('MetaData "Match" "Data.Extensible.Match" "extensible-0.9.1-FlXPM1oMU0CaPk6p1u6nG" 'True) (C1 ('MetaCons "Match" 'PrefixI 'True) (S1 ('MetaSel ('Just "runMatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (h x -> r))))

match :: (xs :& Match h a) -> (xs :/ h) -> a

O(1) Perform pattern matching.

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

Applies a function to the result of Match.

caseOf :: (xs :/ h) -> (xs :& Match h a) -> a infix 0

Flipped match