BifunctorFunctor (Product p :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
BifunctorComonad (Product p :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
Generic1 (Product f g a :: k1 -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Bitraversable f, Bitraversable g) => Bitraversable (Product f g) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Bifoldable f, Bifoldable g) => Bifoldable (Product f g) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Bifunctor f, Bifunctor g) => Bifunctor (Product f g) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Biapplicative f, Biapplicative g) => Biapplicative (Product f g) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Eq (f a b), Eq (g a b)) => Eq (Product f g a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Ord (f a b), Ord (g a b)) => Ord (Product f g a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Read (f a b), Read (g a b)) => Read (Product f g a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
(Show (f a b), Show (g a b)) => Show (Product f g a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
Generic (Product f g a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
type Rep1 (Product f g a :: k1 -> Type) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |
type Rep (Product f g a b) Source # | |
Instance detailsDefined in Data.Bifunctor.Product |