pandora-0.1.3: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Basis.Predicate

Documentation

newtype Predicate a Source #

Constructors

Predicate 

Fields

Instances
Contravariant Predicate Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Predicate

Methods

(>$<) :: (a -> b) -> Predicate b -> Predicate a Source #

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

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

($<) :: Predicate b -> b -> Predicate a Source #

full :: Predicate () -> Predicate a Source #