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

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

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

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

4 declarations

valuetoText :: Rope -> Text

#

valuetoLazyText :: Rope -> Text

#

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

7 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)

datadata RowColumn

#

Constructors

RowColumn
- row :: !Int
  Number of newlines before this position
- column :: !Int
  Number of UTF-16 code units since last newline or start of string

Instances5Eq, Ord, Show, Semigroup, Monoid

Eq RowColumnDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal.Position
Ord RowColumnDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal.Position
Show RowColumnDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal.Position
Semigroup RowColumnDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal.Position
Monoid RowColumnDefined in rope-utf16-splay-0.4.0.0 · Data.Rope.UTF16.Internal.Position

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

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?