Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Functor.Contravariant.Compat
Documentation
class Contravariant (f :: Type -> Type) where #
Minimal complete definition
Instances
($<) :: Contravariant f => f b -> b -> f a #
(>$$<) :: Contravariant f => f b -> (a -> b) -> f a #
(>$<) :: Contravariant f => (a -> b) -> f b -> f a #
Instances
Category Op | |
Contravariant (Op a) | |
Monoid a => Monoid (Op a b) | |
Semigroup a => Semigroup (Op a b) | |
Floating a => Floating (Op a b) | |
Num a => Num (Op a b) | |
Fractional a => Fractional (Op a b) | |
newtype Comparison a #
Constructors
Comparison | |
Fields
|
Instances
Contravariant Comparison | |
Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> Comparison a -> Comparison a' # (>$) :: b -> Comparison b -> Comparison a # | |
Monoid (Comparison a) | |
Defined in Data.Functor.Contravariant Methods mempty :: Comparison a # mappend :: Comparison a -> Comparison a -> Comparison a # mconcat :: [Comparison a] -> Comparison a # | |
Semigroup (Comparison a) | |
Defined in Data.Functor.Contravariant Methods (<>) :: Comparison a -> Comparison a -> Comparison a # sconcat :: NonEmpty (Comparison a) -> Comparison a # stimes :: Integral b => b -> Comparison a -> Comparison a # |
newtype Equivalence a #
Constructors
Equivalence | |
Fields
|
Instances
Contravariant Equivalence | |
Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a) -> Equivalence a -> Equivalence a' # (>$) :: b -> Equivalence b -> Equivalence a # | |
Monoid (Equivalence a) | |
Defined in Data.Functor.Contravariant Methods mempty :: Equivalence a # mappend :: Equivalence a -> Equivalence a -> Equivalence a # mconcat :: [Equivalence a] -> Equivalence a # | |
Semigroup (Equivalence a) | |
Defined in Data.Functor.Contravariant Methods (<>) :: Equivalence a -> Equivalence a -> Equivalence a # sconcat :: NonEmpty (Equivalence a) -> Equivalence a # stimes :: Integral b => b -> Equivalence a -> Equivalence a # |
Constructors
Predicate | |
Fields
|
comparisonEquivalence :: Comparison a -> Equivalence a #
defaultComparison :: Ord a => Comparison a #
defaultEquivalence :: Eq a => Equivalence a #
phantom :: (Functor f, Contravariant f) => f a -> f b #