Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Text.Rope.Zipper

Synopsis

data RopeZipper = RopeZipper {
- linesBefore :: !Rope
- currentLine :: !TextZipper
- linesAfter :: !Rope
- stickyCol :: !Position
}
data Position = Position {
- posLine :: !Word
- posColumn :: !Word
}
null :: RopeZipper -> Bool
cursor :: RopeZipper -> Position
moveCursor :: (Position -> Position) -> RopeZipper -> RopeZipper
setCursor :: Position -> RopeZipper -> RopeZipper
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
moveBackward :: RopeZipper -> RopeZipper
moveUp :: RopeZipper -> RopeZipper
moveDown :: RopeZipper -> RopeZipper
moveToLineStart :: RopeZipper -> RopeZipper
moveToLineEnd :: RopeZipper -> RopeZipper
moveToFirstLine :: RopeZipper -> RopeZipper
moveToLastLine :: RopeZipper -> RopeZipper

Documentation

data RopeZipper Source #

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

Instances details

IsString RopeZipper Source #
Instance details Defined in Data.Text.Rope.Zipper Methods fromString :: String -> RopeZipper #
Monoid RopeZipper Source #
Instance details Defined in Data.Text.Rope.Zipper Methods mempty :: RopeZipper # mappend :: RopeZipper -> RopeZipper -> RopeZipper # mconcat :: [RopeZipper] -> RopeZipper #
Semigroup RopeZipper Source #	`(<>)` 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.
Instance details Defined in Data.Text.Rope.Zipper Methods (<>) :: RopeZipper -> RopeZipper -> RopeZipper # sconcat :: NonEmpty RopeZipper -> RopeZipper # stimes :: Integral b => b -> RopeZipper -> RopeZipper #
Generic RopeZipper Source #
Instance details 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 Source #
Instance details Defined in Data.Text.Rope.Zipper Methods showsPrec :: Int -> RopeZipper -> ShowS # show :: RopeZipper -> String # showList :: [RopeZipper] -> ShowS #
Eq RopeZipper Source #
Instance details Defined in Data.Text.Rope.Zipper Methods (==) :: RopeZipper -> RopeZipper -> Bool # (/=) :: RopeZipper -> RopeZipper -> Bool #
HasField "cursor" RopeZipper Position Source #
Instance details Defined in Data.Text.Rope.Zipper Methods getField :: RopeZipper -> Position #
type Rep RopeZipper Source #
Instance details Defined in Data.Text.Rope.Zipper type Rep RopeZipper = D1 ('MetaData "RopeZipper" "Data.Text.Rope.Zipper" "text-rope-zipper-0.1.0.0-IuZC36hr3pjD5Fa3aYOd9b" '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

Instances details

Monoid Position
Instance details 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.
Instance details Defined in Data.Text.Lines.Internal Methods (<>) :: Position -> Position -> Position # sconcat :: NonEmpty Position -> Position # stimes :: Integral b => b -> Position -> Position #
Show Position
Instance details Defined in Data.Text.Lines.Internal Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
NFData Position
Instance details Defined in Data.Text.Lines.Internal Methods rnf :: Position -> () #
Eq Position
Instance details Defined in Data.Text.Lines.Internal Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position
Instance details 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 Source #
Instance details Defined in Data.Text.Rope.Zipper Methods getField :: RopeZipper -> Position #