úÎ!ŒP   Safe ,=?@AHUV_) Safe ,>@AHSVXÔSafe,HSVXZSafe NoneÂis2Given a constructor (or pattern synonym) for type T, ! generates a function of type T !’ Bool.<The function evaluates its argument to WHNF, and returns 0 if the head constructor matches the given one,  otherwise.$(is 'Just) (Just 5)Trueis $(isNot 'Con) "a not . $(is 'Con)$(isNot '(:)) [1,2,3]FalseisGiven a pattern for type T, ! generates a function of type T !’ Bool.The function returns 1 if the expression matches the pattern; a and  otherwise. $(isP [p| Con{} |]) "a $(is 'Con)$(isP [p| Just{} |]) NothingFalseis*$(isNotP [p| P |]) "a not . $(isP [p| P |])isQGenerates a predicate with name isK for each constructor K of the given type Tis Generate predicates of the form isK$(makePredicates ''E)isPlus (Plus (Lit 1) (Lit 2))True is Generate predicates of the form isNotK$(makePredicatesNot ''E)isNotAnd (Showable True)True is#Generate predicates of both forms, isK and isNotKK$(makePredicatesAll ''E) "a $(makePredicates ''E) ; $(makePredicatesNot ''E)  None0      is-0.4.3-ISE8AwIOX8026tBkHYjSYpData.Generics.Is.GenericData.Generics.Is.DataData.Generics.Is.THData.Generics.Is.InternalData.Generics.Is.TH.CompatData.Generics.IsisisNotisPisNotPmakePredicatesmakePredicatesNotmakePredicatesAllEqHeadeqH ConstructsBaseRebaserebase constructconstructorNamesghc-prim GHC.TypesTrueFalsederivePredicates