Bitraversable k => Bitraversable (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Bifoldable k => Bifoldable (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Bifunctor k => Bifunctor (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Eq2 k => Eq2 (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Ord2 k => Ord2 (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Read2 k => Read2 (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Show2 k => Show2 (Dual k) Source # | |
Instance detailsDefined in Control.Category.Dual |
Category k => Category (Dual k :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Control.Category.Dual |
Bounded (k b a) => Bounded (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |
Eq (k b a) => Eq (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |
Ord (k b a) => Ord (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |
Read (k b a) => Read (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |
Show (k b a) => Show (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |
Semigroup (k b a) => Semigroup (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |
Monoid (k b a) => Monoid (Dual k a b) Source # | |
Instance detailsDefined in Control.Category.Dual |