Liftable Yoneda Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Lowerable Yoneda Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Covariant (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Alternative t => Alternative (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Applicative t => Applicative (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Exclusive t => Exclusive (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Extractable t => Extractable (Yoneda t) Source # | |
|
Pointable t => Pointable (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Traversable t => Traversable (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Extendable t => Extendable (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Distributive t => Distributive (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
Bindable t => Bindable (Yoneda t) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |
(Extractable t, Pointable t, Extractable u, Pointable u) => Adjoint (Yoneda t) (Yoneda u) Source # | |
Instance detailsDefined in Data.Functor.Yoneda |