Data.Text.Rope.Zipper

Documentation

data RopeZipper

A RopeZipper is similar in concept to a TextZipper, but tracks the lines before the cursor, lines after the cursor, and the current line of the cursor (as a TextZipper). In essence, it is a 2D extension of TextZipper.

Constructors

RopeZipper

Fields

• linesBefore :: !Rope

  The lines before the cursor

• currentLine :: !TextZipper

  The line the cursor is on

• linesAfter :: !Rope

  The lines after the cursor

• stickyCol :: !Position

  The last requested cursor column. This is used to remember the column when moving between ends of lines of different lengths.

Instances

IsString RopeZipper

Defined in Data.Text.Rope.Zipper

Methods

fromString :: String -> RopeZipper

Monoid RopeZipper

Defined in Data.Text.Rope.Zipper

Methods

mempty :: RopeZipper

mappend :: RopeZipper -> RopeZipper -> RopeZipper

mconcat :: [RopeZipper] -> RopeZipper

Semigroup RopeZipper

(<>) appends the content of the second zipper after the first; the cursor of the first is preserved while the cursor of the second is ignored.

Defined in Data.Text.Rope.Zipper

Methods

(<>) :: RopeZipper -> RopeZipper -> RopeZipper

sconcat :: NonEmpty RopeZipper -> RopeZipper

stimes :: Integral b => b -> RopeZipper -> RopeZipper

Generic RopeZipper

Defined in Data.Text.Rope.Zipper

Associated Types

type Rep RopeZipper :: Type -> Type

Methods

from :: RopeZipper -> Rep RopeZipper x

to :: Rep RopeZipper x -> RopeZipper

Show RopeZipper

Defined in Data.Text.Rope.Zipper

Methods

showsPrec :: Int -> RopeZipper -> ShowS

show :: RopeZipper -> String

showList :: [RopeZipper] -> ShowS

Eq RopeZipper

Defined in Data.Text.Rope.Zipper

Methods

(==) :: RopeZipper -> RopeZipper -> Bool

(/=) :: RopeZipper -> RopeZipper -> Bool

HasField "cursor" RopeZipper Position

Defined in Data.Text.Rope.Zipper

Methods

getField :: RopeZipper -> Position

type Rep RopeZipper

Defined in Data.Text.Rope.Zipper

type Rep RopeZipper = D1 ('MetaData "RopeZipper" "Data.Text.Rope.Zipper" "text-rope-zipper-0.1.1.0-HAGBUET0rKNACL7VfOnWus" 'False) (C1 ('MetaCons "RopeZipper" 'PrefixI 'True) ((S1 ('MetaSel ('Just "linesBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rope) :*: S1 ('MetaSel ('Just "currentLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TextZipper)) :*: (S1 ('MetaSel ('Just "linesAfter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rope) :*: S1 ('MetaSel ('Just "stickyCol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Position))))

data Position

Represent a position in a text.

Constructors

Position

Fields

• posLine :: !Word

  Line.

• posColumn :: !Word

  Column in code points.

Instances

Monoid Position

Defined in Data.Text.Lines.Internal

Methods

mempty :: Position

mappend :: Position -> Position -> Position

mconcat :: [Position] -> Position

Semigroup Position

Associativity does not hold when posLine overflows.

Defined in Data.Text.Lines.Internal

Methods

(<>) :: Position -> Position -> Position

sconcat :: NonEmpty Position -> Position

stimes :: Integral b => b -> Position -> Position

Show Position

Defined in Data.Text.Lines.Internal

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

NFData Position

Defined in Data.Text.Lines.Internal

Methods

rnf :: Position -> ()

Eq Position

Defined in Data.Text.Lines.Internal

Methods

(==) :: Position -> Position -> Bool

(/=) :: Position -> Position -> Bool

Ord Position

Defined in Data.Text.Lines.Internal

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

(<=) :: Position -> Position -> Bool

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

HasField "cursor" RopeZipper Position

Defined in Data.Text.Rope.Zipper

Methods

getField :: RopeZipper -> Position

null :: RopeZipper -> Bool

Whether the whole RopeZipper structure is empty.

cursor :: RopeZipper -> Position

Get the current cursor position of the RopeZipper.

moveCursor :: (Position -> Position) -> RopeZipper -> RopeZipper

Move the cursor relative to its current position.

setCursor :: Position -> RopeZipper -> RopeZipper

Move the cursor to the given absolute position.

lines :: RopeZipper -> [Text]

lengthInLines :: RopeZipper -> Word

toRope :: RopeZipper -> Rope

toText :: RopeZipper -> Text

fromParts :: Rope -> Rope -> RopeZipper

fromRope :: Rope -> RopeZipper

fromText :: Text -> RopeZipper

splitFirstLine :: Rope -> (Text, Rope)

splitLastLine :: Rope -> (Rope, Text)

insertRope :: Rope -> RopeZipper -> RopeZipper

insertText :: Text -> RopeZipper -> RopeZipper

insertChar :: Char -> RopeZipper -> RopeZipper

deleteBefore :: RopeZipper -> RopeZipper

deleteAfter :: RopeZipper -> RopeZipper

moveForward :: RopeZipper -> RopeZipper

Move the cursor to the next character of the current line, if there is one. Does not change lines.

moveBackward :: RopeZipper -> RopeZipper

Move the cursor to the previous character of the current row, if there is one. Does not change lines.

moveUp :: RopeZipper -> RopeZipper

Move the cursor to the previous line, trying to preserve the column.

moveDown :: RopeZipper -> RopeZipper

Move the cursor to the next line, trying to preserve the column.

moveToLineStart :: RopeZipper -> RopeZipper

Move the cursor to the start of the current line.

moveToLineEnd :: RopeZipper -> RopeZipper

Move the cursor to the end of the current line.

moveToFirstLine :: RopeZipper -> RopeZipper

Move the cursor to the first line, trying to preserve the column.

moveToLastLine :: RopeZipper -> RopeZipper

Move the cursor to the last line, trying to preserve the column.