Covariant Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Wye |
Covariant Edges Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Edges |
Covariant Identity Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Identity |
Covariant Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Covariant (Yoneda t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Yoneda |
Covariant t => Covariant (Free t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Free |
Covariant (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
Covariant t => Covariant (Jack t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Jack |
Covariant (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Covariant t => Covariant (Cofree t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Cofree |
Covariant t => Covariant (Storage p t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Storage |
Covariant t => Covariant (Stateful s t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Stateful |
Covariant (Constant a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Constant |
Covariant ((->) a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Pattern.Functor.Covariant |
Covariant (Ran t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Kan |
Covariant t => Covariant (Continuation r t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Continuation |
Covariant t => Covariant (Environmental e t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environmental |
(Covariant (t u), Covariant u) => Covariant (Y t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Transformer |
(Covariant t, Covariant u) => Covariant (T t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Transformer |
(Covariant t, Covariant u) => Covariant (U Co Co t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u) => Covariant (U Contra Contra t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Covariant v) => Covariant (UU Co Co Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Contravariant v) => Covariant (UU Co Contra Contra t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Contravariant v) => Covariant (UU Contra Co Contra t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Covariant v) => Covariant (UU Contra Contra Co t u v) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Covariant v, Covariant w) => Covariant (UUU Co Co Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Covariant u, Contravariant v, Contravariant w) => Covariant (UUU Co Co Contra Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Covariant v, Contravariant w) => Covariant (UUU Co Contra Co Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Covariant t, Contravariant u, Contravariant v, Covariant w) => Covariant (UUU Co Contra Contra Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Covariant v, Contravariant w) => Covariant (UUU Contra Co Co Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Covariant u, Contravariant v, Covariant w) => Covariant (UUU Contra Co Contra Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Covariant v, Covariant w) => Covariant (UUU Contra Contra Co Co t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |
(Contravariant t, Contravariant u, Contravariant v, Contravariant w) => Covariant (UUU Contra Contra Contra Contra t u v w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Junction.Composition |