Covariant Identity Source # | |
Instance detailsDefined in Data.Functor.Identity |
Covariant (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Covariant (Constant a :: * -> *) Source # | |
Instance detailsDefined in Data.Functor.Constant |
(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 |
(Covariant t, Covariant u, Covariant v) => Covariant (TT Co Co Co t u v) Source # | |
Instance detailsDefined in Data.Functor.Composition.TT |
(Covariant t, Contravariant u, Contravariant v) => Covariant (TT Co Contra Contra t u v) Source # | |
Instance detailsDefined in Data.Functor.Composition.TT |
(Contravariant t, Covariant u, Contravariant v) => Covariant (TT Contra Co Contra t u v) Source # | |
Instance detailsDefined in Data.Functor.Composition.TT |
(Contravariant t, Contravariant u, Covariant v) => Covariant (TT Contra Contra Co t u v) Source # | |
Instance detailsDefined in Data.Functor.Composition.TT |
(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (TTT Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (TTT Co Co Contra Contra t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (TTT Co Contra Co Contra t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (TTT Co Contra Contra Co t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (TTT Contra Co Co Contra t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (TTT Contra Co Contra Co t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (TTT Contra Contra Co Co t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |
(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (TTT Contra Contra Contra Contra t u v w) Source # | |
Instance detailsDefined in Data.Functor.Composition.TTT |