Data.Rope.Annotation

Documentation

class MonoidalAnn f where

Methods

emptyAnn :: f a

build an empty Annotation

appendAnn :: Rope -> f a -> Rope -> f b -> f c

append two annotations, based on their corresponding ropes

Instances

MonoidalAnn Unit

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

class MonoidalAnn f => PackableAnn f where

Methods

packAnn :: Rope -> f a

construct an Annotation from a Rope out of whole cloth

snocAnn :: Int -> Rope -> f a -> f b

The Rope has been updated to contains n more bytes on the right than the one used to build the Annotation, update the Annotation

consAnn :: Int -> Rope -> f a -> f b

The Rope contains n more bytes on the left than the one used to build the Annotation, update the Annotation

Instances

PackableAnn Unit

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

class BreakableAnn f where

Methods

splitAtAnn :: Int -> Rope -> f a -> (f b, f c)

split an Annotation about a Rope into two annotations, one about the first n bytes, the other about the remainder

takeAnn :: Int -> Rope -> f a -> f b

truncate the Annotation to length n

dropAnn :: Int -> Rope -> f a -> f b

drop the first n bytes from the Annotation

Instances

BreakableAnn Unit

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