Safe Haskell | None |
---|
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) | |
(BreakableAnn f, BreakableAnn g) => BreakableAnn (:*: f g) | |
(PackableAnn f, PackableAnn g) => PackableAnn (:*: f g) | |
(MonoidalAnn f, MonoidalAnn g) => MonoidalAnn (:*: f g) |