Module

Data.Predicate

Package: purescript-contravariant
Repository: purescript/purescript-contravariant

#Predicate Source

newtype Predicate a

An adaptor allowing >$< to map over the inputs of a predicate.

Constructors

Predicate (a -> Boolean)

Instances

Newtype (Predicate a) _
Contravariant Predicate

Modules: Data.Comparison; Data.Decidable; Data.Decide; Data.Divide; Data.Divisible; Data.Equivalence; Data.Functor.Contravariant; Data.Op; Data.Predicate