Documentation
A Rope
Annotation
product.
(f a) :*: (g a) |
(Functor f, Functor g) => Functor (:*: f g) | |
(Applicative f, Applicative g) => Applicative (:*: f g) | |
(Foldable f, Foldable g) => Foldable (:*: f g) | |
(Traversable f, Traversable g) => Traversable (:*: f g) | |
(BreakableA f, BreakableA g) => BreakableA (:*: f g) | |
(ReducerA f, ReducerA g) => ReducerA (:*: f g) | |
(MonoidA f, MonoidA g) => MonoidA (:*: f g) |