Data.Text.Region

Documentation

pt :: Int -> Int -> Point

Make Point from line and column

start :: Point

Point at the beginning

lineStart :: Int -> Point

Point at the beginning of line

regionLength :: Lens' Region Size

Regions length

till :: Point -> Point -> Region

Region from one Point to another

linesSize :: Int -> Size

Distance of n lines

regionLines :: Lens' Region Int

emptyRegion :: Region -> Bool

Is Region empty

line :: Int -> Region

n'th line region, starts at the beginning of line and ends on the next line

regionSize :: Point -> Size -> Region

Make Region by start position and Size

expandLines :: Region -> Region

Expand Region to contain full lines

atRegion :: Editable s => Region -> Lens' (Contents s) (Contents s)

Get contents at Region

class ApplyMap a where

Methods

applyMap :: Map -> a -> a

Instances

ApplyMap ()

ApplyMap Point

ApplyMap Region

ApplyMap Map

ApplyMap a => ApplyMap [a]

ApplyMap (Replace s)

ApplyMap (e s) => ApplyMap (Chain e s)

updateMap :: (EditAction e s, ApplyMap a) => e s -> a -> a

Update Region after some action

cutMap :: Region -> Map

Cut Region mapping

insertMap :: Region -> Map

Opposite to cutMap

cutRegion :: Region -> Region -> Region

Update second Region position as if it was data cutted at first Region

insertRegion :: Region -> Region -> Region

Update second region position as if it was data inserted at first region

class (Editable s, ApplyMap (e s)) => EditAction e s where

Methods

replace :: Region -> Contents s -> e s

Make replace action over Region and Contents

actionMap :: e s -> Map

Make Map from action

perform :: e s -> State (Contents s) (e s)

Perform action, modifying Contents and returning inverse (undo) action

Instances

Editable s => EditAction Replace s

EditAction e s => EditAction (Chain e) s

cut :: EditAction e s => Region -> e s

Cuts region

paste :: EditAction e s => Point -> Contents s -> e s

Pastes Contents at some Point

overwrite :: EditAction e s => Point -> Contents s -> e s

Overwrites Contents at some Point

inverse :: EditAction e s => Contents s -> e s -> e s

Get undo-action

applyEdit :: EditAction e s => e s -> Contents s -> Contents s

Apply action to Contents

apply :: EditAction Replace s => Edit s -> Contents s -> Contents s

applyEdit for Edit

edit :: EditAction Replace s => s -> r -> EditM s r a -> (a, s)

Run edit monad and return result with updated contents

edit_ :: EditAction Replace s => s -> r -> EditM s r a -> s

Run edit monad and return updated contents

push :: EditAction Replace s => ActionIso (Edit s) -> EditM s r ()

Push action into history, also drops redo stack

run_ :: (EditAction Replace s, ApplyMap r) => Edit s -> EditM s r (ActionIso (Edit s))

Run edit action and returns corresponding redo-undo action

run :: (EditAction Replace s, ApplyMap r) => Edit s -> EditM s r ()

Run edit action with updating undo/redo stack

runGroup :: (EditAction Replace s, ApplyMap r) => [Edit s] -> EditM s r ()

Run edit actions, updating undo/redo stack for each of them, but act like they was applied simultaneously For example, cutting 1-st and then 3-rd letter: run (cut first) >> run (cut third) -- 1234 -> 234 -> 23 runGroup [cut first, cut third] -- 1234 -> 234 -> 24

undo :: (EditAction Replace s, ApplyMap r) => EditM s r ()

Undo last action

redo :: (EditAction Replace s, ApplyMap r) => EditM s r ()

module Data.Text.Region.Types