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)

(BreakableA f, BreakableA g) => BreakableA (:*: f g)

(ReducerA f, ReducerA g) => ReducerA (:*: f g)

(MonoidA f, MonoidA g) => MonoidA (:*: f g)

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

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