Data.Rope.UTF16.Internal · rope-utf16-splay-0.4.0.0

datadata Chunk

#

Constructors

Chunk
- chunkText :: !Text
- chunkMeasure :: !Position

Instances3Show, Semigroup, Measured

Show ChunkDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Semigroup ChunkDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Measured Position ChunkDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal

valuechunk :: Text -> Chunk

#

newtypenewtype Rope

#

A SplayTree of Text values optimised for being indexed by and modified at UTF-16 code units and row/column (RowColumn) positions. Internal invariant: No empty Chunks in the SplayTree

Constructors

Rope
- unrope :: SplayTree Position Chunk

Instances7Eq, Ord, Show, IsString, Semigroup, Monoid, …

Eq RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Ord RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Show RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
IsString RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Semigroup RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Append joins adjacent chunks if that can be done while staying below chunkLength.
Monoid RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal
Measured Position RopeDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal

valuechunkLength :: Int

#

The maximum length, in UTF-8 code units, of a chunk

Queries

4 declarations

valuenull :: Rope -> Bool

#

Is the rope empty?

valuelength :: Rope -> Int

#

Length in UTF-16 code units (not characters)

valuerows :: Rope -> Int

#

The number of newlines in the rope

valuecolumns :: Rope -> Int

#

The number of UTF-16 code units (not characters) since the last newline or the start of the rope

Conversions

5 declarations

valuetoText :: Rope -> Text

#

valuetoLazyText :: Rope -> Text

#

valuefromText :: Text -> Rope

#

valuefromShortText :: Text -> Rope

#

valuetoString :: Rope -> String

#

Transformations

2 declarations

valuemap :: (Char -> Char) -> Rope -> Rope

#

Map over the characters of a rope

valueintercalate :: Rope -> [Rope] -> Rope

#

Concatenate the interspersion of a rope between the elements of a list of ropes

Chunking

3 declarations

valuetoChunks :: Rope -> [Text]

#

The raw Text data that the Rope is built from

valueunconsChunk :: Rope -> Maybe (Text, Rope)

#

Get the first chunk and the rest of the Rope if non-empty

valueunsnocChunk :: Rope -> Maybe (Rope, Text)

#

Get the last chunk and the rest of the Rope if non-empty

UTF-16 code unit indexing

5 declarations

valuesplitAt :: Int -> Rope -> (Rope, Rope)

#

Split the rope at the nth UTF-16 code unit (not character)

valuetake :: Int -> Rope -> Rope

#

Take the first n UTF-16 code units (not characters)

valuedrop :: Int -> Rope -> Rope

#

Drop the first n UTF-16 code units (not characters)

valuerowColumnCodeUnits :: RowColumn -> Rope -> Int

#

Get the UTF-16 code unit index in the rope that corresponds to a RowColumn position

valuecodeUnitsRowColumn :: Int -> Rope -> RowColumn

#

Get the RowColumn position that corresponds to a UTF-16 code unit index in the rope

Lines

1 declaration

valuesplitAtLine :: Int -> Rope -> (Rope, Rope)

#

Split the rope immediately after the i:th newline

Breaking by predicate

4 declarations

valuespan :: (Char -> Bool) -> Rope -> (Rope, Rope)

#

span f r = (takeWhile f r, dropWhile f r)

valuebreak :: (Char -> Bool) -> Rope -> (Rope, Rope)

#

break f = span (not . f)

valuetakeWhile :: (Char -> Bool) -> Rope -> Rope

#

takeWhile f = fst . span f

valuedropWhile :: (Char -> Bool) -> Rope -> Rope

#

dropWhile f = snd . span f

Folds

3 declarations

valuefoldl :: (a -> Char -> a) -> a -> Rope -> a

#

Fold left

valuefoldl' :: (a -> Char -> a) -> a -> Rope -> a

#

A strict version of foldl

valuefoldr :: (Char -> a -> a) -> a -> Rope -> a

#

Fold right

Special folds

2 declarations

valueany :: (Char -> Bool) -> Rope -> Bool

#

Do any characters in the rope satisfy the predicate?

valueall :: (Char -> Bool) -> Rope -> Bool

#

Do all characters in the rope satisfy the predicate?