Data.Functor.Compose (original) (raw)
TestEquality f => TestEquality (Compose f g :: k2 -> Type) Source #
The deduction (via generativity) that if g x :~: g y then x :~: y.
Since: base-4.14.0.0
Instance details
Defined in Data.Functor.Compose
Functor f => Generic1 (Compose f g :: k -> Type) Source #
Instance details
Defined in Data.Functor.Compose
(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g) Source #
Since: base-4.18.0.0
Instance details
Defined in Data.Foldable1
(Eq1 f, Eq1 g) => Eq1 (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Ord1 f, Ord1 g) => Ord1 (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Read1 f, Read1 g) => Read1 (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Show1 f, Show1 g) => Show1 (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Functor f, Contravariant g) => Contravariant (Compose f g) Source #
Instance details
Defined in Data.Functor.Contravariant
(Alternative f, Applicative g) => Alternative (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Applicative f, Applicative g) => Applicative (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Functor f, Functor g) => Functor (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Foldable f, Foldable g) => Foldable (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Traversable f, Traversable g) => Traversable (Compose f g) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
Monoid (f (g a)) => Monoid (Compose f g a) Source #
Since: base-4.16.0.0
Instance details
Defined in Data.Functor.Compose
Semigroup (f (g a)) => Semigroup (Compose f g a) Source #
Since: base-4.16.0.0
Instance details
Defined in Data.Functor.Compose
(Typeable a, Typeable f, Typeable g, Typeable k1, Typeable k2, Data (f (g a))) => Data (Compose f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
Bounded (f (g a)) => Bounded (Compose f g a) Source #
Since: base-4.19.0.0
Instance details
Defined in Data.Functor.Compose
Enum (f (g a)) => Enum (Compose f g a) Source #
Since: base-4.19.0.0
Instance details
Defined in Data.Functor.Compose
Floating (f (g a)) => Floating (Compose f g a) Source #
Since: base-4.20.0.0
Instance details
Defined in Data.Functor.Compose
RealFloat (f (g a)) => RealFloat (Compose f g a) Source #
Since: base-4.20.0.0
Instance details
Defined in Data.Functor.Compose
Generic (Compose f g a) Source #
Instance details
Defined in Data.Functor.Compose
Num (f (g a)) => Num (Compose f g a) Source #
Since: base-4.19.0.0
Instance details
Defined in Data.Functor.Compose
Read (f (g a)) => Read (Compose f g a) Source #
Since: base-4.18.0.0
Instance details
Defined in Data.Functor.Compose
Fractional (f (g a)) => Fractional (Compose f g a) Source #
Since: base-4.20.0.0
Instance details
Defined in Data.Functor.Compose
Integral (f (g a)) => Integral (Compose f g a) Source #
Since: base-4.19.0.0
Instance details
Defined in Data.Functor.Compose
Real (f (g a)) => Real (Compose f g a) Source #
Since: base-4.19.0.0
Instance details
Defined in Data.Functor.Compose
RealFrac (f (g a)) => RealFrac (Compose f g a) Source #
Since: base-4.20.0.0
Instance details
Defined in Data.Functor.Compose
Show (f (g a)) => Show (Compose f g a) Source #
Since: base-4.18.0.0
Instance details
Defined in Data.Functor.Compose
Eq (f (g a)) => Eq (Compose f g a) Source #
Since: base-4.18.0.0
Instance details
Defined in Data.Functor.Compose
Ord (f (g a)) => Ord (Compose f g a) Source #
Since: base-4.18.0.0
Instance details
Defined in Data.Functor.Compose
type Rep1 (Compose f g :: k -> Type) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
type Rep (Compose f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose