Data.Rope.Annotation

Documentation

class MonoidA f where

Methods

emptyA :: f a

build an empty Annotation

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

append two annotations

Instances

MonoidA Unit

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

class MonoidA f => ReducerA f where

Methods

unitA :: Rope -> f a

construct an Annotation from a Rope out of whole cloth

snocA :: 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

consA :: 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

ReducerA Unit

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

class BreakableA f where

Methods

splitAtA :: 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

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

truncate the Annotation to length n

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

drop the first n bytes from the Annotation

Instances

BreakableA Unit

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