Moduletext-rope-0.3Haskell2010

Data.Text.Mixed.Rope

1 type
21 values

Packagetext-rope-0.3
Exports22
LanguageHaskell2010
LicenceBSD-3-Clause
SourceRope.hs

datadata Rope

Rope of Text chunks with logarithmic concatenation. This rope offers three interfaces: one based on code points, one based on UTF-16 code units, and one based on UTF-8 code units. This comes with a price of more bookkeeping and is less performant than Data.Text.Rope, Data.Text.Utf8.Rope, or Data.Text.Utf16.Rope.

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

Eq RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope
Ord RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope
Show RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope
IsString RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope
Semigroup RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope
Monoid RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope
NFData RopeDefined in text-rope-0.3 · Data.Text.Mixed.Rope

valuefromText :: Text -> Rope

Create from Text, linear time.

valuefromTextLines :: TextLines -> Rope

Create from TextLines, linear time.

valuetoText :: Rope -> Text

Glue chunks into Text, linear time.

valuetoTextLines :: Rope -> TextLines

Glue chunks into TextLines, linear time.

valuenull :: Rope -> Bool

Check whether a rope is empty, O(1).

Lines

4 declarations

valuelines :: Rope -> [Text]

Split into lines by \n, similar to Data.Text.lines. Each line is produced in O(1).

Example6 expressions

>>> :set -XOverloadedStrings>>> lines ""[]>>> lines "foo"["foo"]>>> lines "foo\n"["foo"]>>> lines "foo\n\n"["foo",""]>>> lines "foo\nbar"["foo","bar"]

valuelengthInLines :: Rope -> Word

Equivalent to Data.List.length . lines, but in logarithmic time.

Example6 expressions

>>> :set -XOverloadedStrings>>> lengthInLines ""0>>> lengthInLines "foo"1>>> lengthInLines "foo\n"1>>> lengthInLines "foo\n\n"2>>> lengthInLines "foo\nbar"2

If you do not care about ignoring the last newline character, you can use posLine . charLengthAsPosition instead, which works in O(1).

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

Split at given line, logarithmic time.

Example2 expressions

>>> :set -XOverloadedStrings>>> map (\l -> splitAtLine l "foo\nbar") [0..3][("","foo\nbar"),("foo\n","bar"),("foo\nbar",""),("foo\nbar","")]

valuegetLine :: Word -> Rope -> Rope

Get a line by its 0-based index. Returns mempty if the index is out of bounds. The result doesn't contain \n characters.

Example2 expressions

>>> :set -XOverloadedStrings>>> map (\l -> getLine l "foo\nbar\n😊😊\n\n") [0..3]["foo","bar","😊😊",""]

Code points

4 declarations

valuecharLength :: Rope -> Word

Length in code points, similar to Data.Text.length, O(1).

Example2 expressions

>>> :set -XOverloadedStrings>>> charLength "fя𐀀"3

valuecharSplitAt :: Word -> Rope -> (Rope, Rope)

Split at given code point, similar to Data.Text.splitAt. Takes linear time.

Example2 expressions

>>> :set -XOverloadedStrings>>> map (\c -> charSplitAt c "fя𐀀") [0..4][("","fя𐀀"),("f","я𐀀"),("fя","𐀀"),("fя𐀀",""),("fя𐀀","")]

valuecharLengthAsPosition :: Rope -> Position

Measure text length as an amount of lines and columns. Time is linear in the length of the last line.

Example4 expressions

>>> :set -XOverloadedStrings>>> charLengthAsPosition "f𐀀"Position {posLine = 0, posColumn = 2}>>> charLengthAsPosition "f\n𐀀"Position {posLine = 1, posColumn = 1}>>> charLengthAsPosition "f\n𐀀\n"Position {posLine = 2, posColumn = 0}

valuecharSplitAtPosition :: Position -> Rope -> (Rope, Rope)

Combination of splitAtLine and subsequent charSplitAt. Time is linear in posColumn and logarithmic in posLine.

Example7 expressions

>>> :set -XOverloadedStrings>>> charSplitAtPosition (Position 1 0) "f\n𐀀я"("f\n","𐀀я")>>> charSplitAtPosition (Position 1 1) "f\n𐀀я"("f\n𐀀","я")>>> charSplitAtPosition (Position 1 2) "f\n𐀀я"("f\n𐀀я","")>>> charSplitAtPosition (Position 0 2) "f\n𐀀я"("f\n","𐀀я")>>> charSplitAtPosition (Position 0 3) "f\n𐀀я"("f\n𐀀","я")>>> charSplitAtPosition (Position 0 4) "f\n𐀀я"("f\n𐀀я","")

UTF-16 code units

4 declarations

valueutf16Length :: Rope -> Word

Length in UTF-16 code units, O(1).

Example2 expressions

>>> :set -XOverloadedStrings>>> utf16Length "fя𐀀"4

valueutf16SplitAt :: Word -> Rope -> Maybe (Rope, Rope)

Split at given UTF-16 code unit. If requested number of code units splits a code point in half, return Nothing. Takes linear time.

Example2 expressions

>>> :set -XOverloadedStrings>>> map (\c -> utf16SplitAt c "fя𐀀") [0..4][Just ("","fя𐀀"),Just ("f","я𐀀"),Just ("fя","𐀀"),Nothing,Just ("fя𐀀","")]

valueutf16LengthAsPosition :: Rope -> Position

Measure text length as an amount of lines and columns. Time is linear in the length of the last line.

Example4 expressions

>>> :set -XOverloadedStrings>>> utf16LengthAsPosition "f𐀀"Position {posLine = 0, posColumn = 3}>>> utf16LengthAsPosition "f\n𐀀"Position {posLine = 1, posColumn = 2}>>> utf16LengthAsPosition "f\n𐀀\n"Position {posLine = 2, posColumn = 0}

valueutf16SplitAtPosition :: Position -> Rope -> Maybe (Rope, Rope)

Combination of splitAtLine and subsequent utf16SplitAt. Time is linear in posColumn and logarithmic in posLine.

Example7 expressions

>>> :set -XOverloadedStrings>>> utf16SplitAtPosition (Position 1 0) "f\n𐀀я"Just ("f\n","𐀀я")>>> utf16SplitAtPosition (Position 1 1) "f\n𐀀я"Nothing>>> utf16SplitAtPosition (Position 1 2) "f\n𐀀я"Just ("f\n𐀀","я")>>> utf16SplitAtPosition (Position 0 2) "f\n𐀀я"Just ("f\n","𐀀я")>>> utf16SplitAtPosition (Position 0 3) "f\n𐀀я"Nothing>>> utf16SplitAtPosition (Position 0 4) "f\n𐀀я"Just ("f\n𐀀","я")

UTF-8 code units

4 declarations

valueutf8Length :: Rope -> Word

Length in UTF-8 code units aka bytes, O(1).

Example2 expressions

>>> :set -XOverloadedStrings>>> utf8Length "fя𐀀"4

valueutf8SplitAt :: Word -> Rope -> Maybe (Rope, Rope)

Split at given UTF-8 code unit aka byte. If requested number of code units splits a code point in half, return Nothing. Takes linear time.

valueutf8LengthAsPosition :: Rope -> Position

Measure text length as an amount of lines and columns. Time is linear in the length of the last line.

valueutf8SplitAtPosition :: Position -> Rope -> Maybe (Rope, Rope)

Combination of splitAtLine and subsequent utf8SplitAt. Time is linear in posColumn and logarithmic in posLine.