Data.Generics.Is.Generic

Predicates

Given a constructor K for a type T which implements Generic, and a value a of type T, 'isC K a' evaluates a to WHNF, and returns True if K is the head constructor of the result.

not . isC K ≡ isNotC K

$(is 'K) ≡ isC K

is :: forall c a. (Constructs c a, Generic a, EqHead (Rep a)) => c -> a -> Bool

isNot :: forall c a. (Constructs c a, Generic a, EqHead (Rep a)) => c -> a -> Bool