Data.Rope.Annotation.Product

Documentation

data (f :*: g) a

A Rope Annotation product.

Constructors

(f a) :*: (g a)

Instances

(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)

fstF :: (f :*: g) a -> f a

sndF :: (f :*: g) a -> g a