pandora-0.1.6: A box of patterns and paradigms
Pandora.Paradigm.Basis.Predicate
newtype Predicate a Source #
Constructors
Fields
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 #
(>&<) :: Predicate b -> (a -> b) -> Predicate a Source #
(>$$<) :: Contravariant u => (a -> b) -> (Predicate :.: u) a -> (Predicate :.: u) b Source #
(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> (Predicate :.: (u :.: v)) b -> (Predicate :.: (u :.: v)) a Source #
(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> (Predicate :.: (u :.: (v :.: w))) a -> (Predicate :.: (u :.: (v :.: w))) b Source #
(>&&<) :: Contravariant u => (Predicate :.: u) a -> (a -> b) -> (Predicate :.: u) b Source #
(>&&&<) :: (Contravariant u, Contravariant v) => (Predicate :.: (u :.: v)) b -> (a -> b) -> (Predicate :.: (u :.: v)) a Source #
(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => (Predicate :.: (u :.: (v :.: w))) a -> (a -> b) -> (Predicate :.: (u :.: (v :.: w))) b Source #