| 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 #