rope-0.5: Tools for manipulating fingertrees of bytestrings with optional annotations

Data.Rope.Annotation.Product

Synopsis

Documentation

data (f :*: g) a Source

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 aSource

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