BifunctorFunctor (Sum p :: (k1 -> k2 -> *) -> k1 -> k2 -> *) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
BifunctorMonad (Sum p :: (k1 -> k2 -> *) -> k1 -> k2 -> *) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
Generic1 (Sum p q a :: k1 -> *) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum Associated Types type Rep1 (Sum p q a) :: k -> * # |
(Bitraversable p, Bitraversable q) => Bitraversable (Sum p q) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Bifoldable p, Bifoldable q) => Bifoldable (Sum p q) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Bifunctor p, Bifunctor q) => Bifunctor (Sum p q) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Eq (p a b), Eq (q a b)) => Eq (Sum p q a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Ord (p a b), Ord (q a b)) => Ord (Sum p q a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Read (p a b), Read (q a b)) => Read (Sum p q a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Show (p a b), Show (q a b)) => Show (Sum p q a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
Generic (Sum p q a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum Associated Types type Rep (Sum p q a b) :: * -> * # |
type Rep1 (Sum p q a :: k1 -> *) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |
type Rep (Sum p q a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Sum |