predicate-class-0.1.0.1: Helper class for passing context along a predicate value

Safe HaskellSafe
LanguageHaskell98

Data.Predicate.Class

Documentation

class Predicate p where Source #

Minimal complete definition

(&&), (||), not

Methods

(&&) :: p -> p -> p infixr 3 Source #

(||) :: p -> p -> p infixr 3 Source #

not :: p -> p Source #

Instances

Predicate Bool Source # 

Methods

(&&) :: Bool -> Bool -> Bool Source #

(||) :: Bool -> Bool -> Bool Source #

not :: Bool -> Bool Source #

Predicate p => Predicate (a -> p) Source # 

Methods

(&&) :: (a -> p) -> (a -> p) -> a -> p Source #

(||) :: (a -> p) -> (a -> p) -> a -> p Source #

not :: (a -> p) -> a -> p Source #