Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Contravariant Predicate Source # | |
Defined in Pandora.Paradigm.Basis.Predicate (>$<) :: (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 # (>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> Predicate (u (v b)) -> Predicate (u (v a)) Source # |