Moduletext-rope-0.2Haskell2010

Data.Text.Lines

2 types
11 values

Packagetext-rope-0.2
Exports13
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

datadata TextLines

A wrapper around Text for fast line/column navigation. Concatenation takes linear time.

This is a building block for Rope, which provides logarithmic concatenation.

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

Eq TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal
Ord TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal
Show TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal
IsString TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal
Semigroup TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal
Monoid TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal
NFData TextLinesDefined in text-rope-0.2 · Data.Text.Lines.Internal

valuefromText :: Text -> TextLines

Create from Text, linear time.

valuetoText :: TextLines -> Text

Extract Text, O(1).

valuenull :: TextLines -> Bool

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

Lines

3 declarations

valuelines :: TextLines -> [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 :: TextLines -> Word

Equivalent to Data.List.length . lines, but in O(1).

Example6 expressions

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

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

Split at given line, O(1).

Example2 expressions

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

Code points

6 declarations

valuelength :: TextLines -> Word

Length in code points, similar to Data.Text.length. Takes linear time.

Example3 expressions

>>> :set -XOverloadedStrings>>> length "fя𐀀"3>>> Data.Text.Utf16.Lines.length "fя𐀀"4

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

Span by a predicate, similar to Data.Text.span. Takes linear (by length of the prefix satisfying the predicate) time.

valuesplitAt :: Word -> TextLines -> (TextLines, TextLines)

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

Example2 expressions

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

datadata Position

Represent a position in a text.

Constructors

Position
- posLine :: !Word
  Line.
- posColumn :: !Word
  Column in code points.

Instances6Eq, Ord, Show, Semigroup, Monoid, NFData

Eq PositionDefined in text-rope-0.2 · Data.Text.Lines.Internal
Ord PositionDefined in text-rope-0.2 · Data.Text.Lines.Internal
Show PositionDefined in text-rope-0.2 · Data.Text.Lines.Internal
Semigroup PositionDefined in text-rope-0.2 · Data.Text.Lines.Internal
Associativity does not hold when posLine overflows.
Monoid PositionDefined in text-rope-0.2 · Data.Text.Lines.Internal
NFData PositionDefined in text-rope-0.2 · Data.Text.Lines.Internal

valuelengthAsPosition :: TextLines -> Position

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

Example4 expressions

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

valuesplitAtPosition :: Position -> TextLines -> (TextLines, TextLines)

Combination of splitAtLine and subsequent splitAt. Time is linear in posColumn, but does not depend on posLine.

Example7 expressions

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