Covariant Identity Source # | |
Instance detailsDefined in Control.Functor.Basic.Identity |
Covariant (Constant a :: * -> *) Source # | |
Instance detailsDefined in Control.Functor.Basic.Constant |
(Covariant t, Covariant u) => Covariant (T Co Co t u) Source # | |
Instance detailsDefined in Control.Functor.Basic.T |
(Contravariant t, Contravariant u) => Covariant (T Contra Contra t u) Source # | |
Instance detailsDefined in Control.Functor.Basic.T |
(Covariant t, Covariant u, Covariant v) => Covariant (TT Co Co Co t u v) Source # | |
Instance detailsDefined in Control.Functor.Basic.TT |
(Covariant t, Contravariant u, Contravariant v) => Covariant (TT Co Contra Contra t u v) Source # | |
Instance detailsDefined in Control.Functor.Basic.TT |
(Contravariant t, Covariant u, Contravariant v) => Covariant (TT Contra Co Contra t u v) Source # | |
Instance detailsDefined in Control.Functor.Basic.TT |
(Contravariant t, Contravariant u, Covariant v) => Covariant (TT Contra Contra Co t u v) Source # | |
Instance detailsDefined in Control.Functor.Basic.TT |
(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (TTT Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (TTT Co Co Contra Contra t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (TTT Co Contra Co Contra t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (TTT Co Contra Contra Co t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (TTT Contra Co Co Contra t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (TTT Contra Co Contra Co t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (TTT Contra Contra Co Co t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |
(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (TTT Contra Contra Contra Contra t u v w) Source # | |
Instance detailsDefined in Control.Functor.Basic.TTT |