(Covariant t, Contravariant u) => Contravariant (T Co Contra t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Contravariant t, Covariant u) => Contravariant (T Contra Co t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Covariant t, Covariant u) => Covariant (T Co Co t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Contravariant t, Contravariant u) => Covariant (T Contra Contra t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Alternative t, Covariant u) => Alternative (T Co Co t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Applicative t, Applicative u) => Applicative (T Co Co t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Exclusive t, Covariant u) => Exclusive (T Co Co t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Extractable t, Extractable u) => Extractable (T Co Co t u) Source # | |
|
(Pointable t, Pointable u) => Pointable (T Co Co t u) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |
(Adjunctive t u, Adjunctive v w) => Adjoint (T Co Co t v) (T Co Co u w) Source # | |
Instance detailsDefined in Data.Functor.Composition.T |