Predicate

Documentation

newtype Predicate a

Constructors

Predicate

Fields

• getPredicate :: a -> Bool

Instances

Contravariant Predicate

A Predicate is a Contravariant Functor, because contramap can apply its function argument to the input of the predicate.

Defined in Data.Functor.Contravariant

Methods

contramap :: (a -> b) -> Predicate b -> Predicate a

(>$) :: b -> Predicate b -> Predicate a

Divisible Predicate

Defined in Data.Functor.Contravariant.Divisible

Methods

divide :: (a -> (b, c)) -> Predicate b -> Predicate c -> Predicate a

conquer :: Predicate a

Decidable Predicate

Defined in Data.Functor.Contravariant.Divisible

Methods

lose :: (a -> Void) -> Predicate a

choose :: (a -> Either b c) -> Predicate b -> Predicate c -> Predicate a

Semigroup (Predicate a)

Defined in Data.Functor.Contravariant

Methods

(<>) :: Predicate a -> Predicate a -> Predicate a

sconcat :: NonEmpty (Predicate a) -> Predicate a

stimes :: Integral b => b -> Predicate a -> Predicate a

Monoid (Predicate a)

Defined in Data.Functor.Contravariant

Methods

mempty :: Predicate a

mappend :: Predicate a -> Predicate a -> Predicate a

mconcat :: [Predicate a] -> Predicate a

Wrapped (Predicate a)

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (Predicate a) :: *

Methods

_Wrapped' :: Iso' (Predicate a) (Unwrapped (Predicate a))

t ~ Predicate b => Rewrapped (Predicate a) t

Defined in Control.Lens.Wrapped

type Unwrapped (Predicate a)

Defined in Control.Lens.Wrapped

type Unwrapped (Predicate a) = a -> Bool