Documentation
class MonoidA f => ReducerA f whereSource
construct an Annotation
from a Rope
out of whole cloth
snocA :: Int -> Rope -> f a -> f bSource
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 bSource
The Rope
contains n more bytes on the left than the one used to build the Annotation
, update the Annotation
class BreakableA f whereSource
splitAtA :: Int -> Rope -> f a -> (f b, f c)Source
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 bSource
truncate the Annotation
to length
n
dropA :: Int -> Rope -> f a -> f bSource
drop the first n bytes from the Annotation
BreakableA Unit | |
(BreakableA f, BreakableA g) => BreakableA (:*: f g) |