Safe Haskell | Safe-Inferred |
---|
Documentation
class Predicate p a whereSource
The Predicate
class declares the function apply
which
evaluates the predicate against some value, returning a value
of type Boolean
.
Besides being parameterised over predicate type and predicate
parameter, the class is also parameterised over the actual types
of T's and F's meta-data.
Predicate Param Request | |
Predicate AcceptThrift Request | |
Predicate AcceptJson Request | |
Predicate Accept Request | |
(Predicate a c, Predicate b c, ~ * (FVal a) (FVal b)) => Predicate (:&: a b) c | |
(Predicate a c, Predicate b c, ~ * (FVal a) (FVal b)) => Predicate (:||: a b) c | |
(Predicate a c, Predicate b c, ~ * (TVal a) (TVal b), ~ * (FVal a) (FVal b)) => Predicate (:|: a b) c | |
Predicate (Fail f t) a | |
Predicate (Const f t) a |
A Predicate
instance corresponding to the logical
OR connective of two Predicate
s. It requires the
meta-data of each T
rue branch to be of the same type.
a :|: b |
A Predicate
instance corresponding to the logical
OR connective of two Predicate
s. The meta-data of
each T
rue branch can be of different types.
a :||: b |