Data.Text.Region.Types

Documentation

data Point

Point at text: zero-based line and column

Constructors

Point

Fields

• _pointLine :: Int
• _pointColumn :: Int

Instances

Eq Point

Methods

(==) :: Point -> Point -> Bool

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

Ord Point

Methods

compare :: Point -> Point -> Ordering

(<) :: Point -> Point -> Bool

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

(>) :: Point -> Point -> Bool

(>=) :: Point -> Point -> Bool

max :: Point -> Point -> Point

min :: Point -> Point -> Point

Read Point

Methods

readsPrec :: Int -> ReadS Point

readList :: ReadS [Point]

readPrec :: ReadPrec Point

readListPrec :: ReadPrec [Point]

Show Point

Methods

showsPrec :: Int -> Point -> ShowS

show :: Point -> String

showList :: [Point] -> ShowS

Semigroup Point

Methods

(<>) :: Point -> Point -> Point

sconcat :: NonEmpty Point -> Point

stimes :: Integral b => b -> Point -> Point

Monoid Point

Methods

mempty :: Point

mappend :: Point -> Point -> Point

mconcat :: [Point] -> Point

ToJSON Point

Methods

toJSON :: Point -> Value

toEncoding :: Point -> Encoding

toJSONList :: [Point] -> Value

toEncodingList :: [Point] -> Encoding

FromJSON Point

Methods

parseJSON :: Value -> Parser Point

parseJSONList :: Value -> Parser [Point]

Group Point

Methods

invert :: Point -> Point

pow :: Integral x => Point -> x -> Point

Regioned Point

Methods

regions :: Traversal' Point Region

pointLine :: Lens' Point Int

pointColumn :: Lens' Point Int

pointRegion :: Iso' Point Region

As empty region

type Size = Point

Distance between Points is measured in lines and columns. And it is defined, that distance between point at l:c and point (l + 1):0 is one line no matter c is because we need to go to new line to reach destination point Columns are taken into account only if points are on the same line

(.-.) :: Point -> Point -> Point

pt .-. base is distance from base to pt Distance can't be less then zero lines and columns

(.+.) :: Point -> Point -> Point

Opposite to .-.

(pt .-. base) .+. base = pt

data Region

Region from Point to another

Constructors

Region

Fields

• _regionFrom :: Point
• _regionTo :: Point

Instances

Eq Region

Methods

(==) :: Region -> Region -> Bool

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

Ord Region

Methods

compare :: Region -> Region -> Ordering

(<) :: Region -> Region -> Bool

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

(>) :: Region -> Region -> Bool

(>=) :: Region -> Region -> Bool

max :: Region -> Region -> Region

min :: Region -> Region -> Region

Read Region

Methods

readsPrec :: Int -> ReadS Region

readList :: ReadS [Region]

readPrec :: ReadPrec Region

readListPrec :: ReadPrec [Region]

Show Region

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

ToJSON Region

Methods

toJSON :: Region -> Value

toEncoding :: Region -> Encoding

toJSONList :: [Region] -> Value

toEncodingList :: [Region] -> Encoding

FromJSON Region

Methods

parseJSON :: Value -> Parser Region

parseJSONList :: Value -> Parser [Region]

Regioned Region

Methods

regions :: Traversal' Region Region

regionFrom :: Lens' Region Point

regionTo :: Lens' Region Point

newtype Map

Main idea is that there are only two basic actions, that changes regions: inserting and cutting When something is cutted out or inserted in, Region positions must be updated All editings can be represented as many cuts and inserts, so we can combine them to get function which maps source regions to regions on updated data Because insert is dual to cut (and therefore composes something like iso), we can also get function to map regions back Combining this functions while edit, we get function, that maps regions from source data to edited one To get back function, we must also combine opposite actions, or we can represent actions as Iso Same idea goes for modifying contents, represent each action as isomorphism and combine them together This works if we don't use overlapped regions

Constructors

Map

Fields

• mapIso :: Iso' Region Region

Instances

Semigroup Map

Methods

(<>) :: Map -> Map -> Map

sconcat :: NonEmpty Map -> Map

stimes :: Integral b => b -> Map -> Map

Monoid Map

Methods

mempty :: Map

mappend :: Map -> Map -> Map

mconcat :: [Map] -> Map

Group Map

Methods

invert :: Map -> Map

pow :: Integral x => Map -> x -> Map

type Contents a = [a]

Contents is list of lines, list must have at least one (maybe empty) line

emptyContents :: Monoid a => Contents a

Empty contents are contents with one empty line

concatCts :: Monoid a => Contents a -> Contents a -> Contents a

splitCts :: Editable a => Point -> Contents a -> (Contents a, Contents a)

Split Contents at some Point

splitted :: Editable a => Point -> Iso' (Contents a) (Contents a, Contents a)

Get splitted Contents at some Point

class Monoid a => Editable a where

Something editable, string types implements this

Minimal complete definition

splitContents, contentsLength, splitLines, joinLines

Methods

splitContents :: Int -> a -> (a, a)

Split editable at some position

contentsLength :: a -> Int

splitLines :: a -> [a]

joinLines :: [a] -> a

Instances

Editable String

Methods

splitContents :: Int -> String -> (String, String)

contentsLength :: String -> Int

splitLines :: String -> [String]

joinLines :: [String] -> String

Editable Text

Methods

splitContents :: Int -> Text -> (Text, Text)

contentsLength :: Text -> Int

splitLines :: Text -> [Text]

joinLines :: [Text] -> Text

contents :: (Editable a, Editable b) => Iso a b (Contents a) (Contents b)

Get Contents for some Editable, splitting lines

by :: Editable a => a -> Contents a

measure :: Editable s => Contents s -> Size

Contents Size

data Replace s

Serializable edit action

Constructors

Replace

Fields

• _replaceRegion :: Region

  Region to replace

• _replaceWith :: Contents s

  Contents to replace with

Instances

Editable s => EditAction Replace s

Methods

replaceAction :: Region -> Contents s -> Replace s

actionMap :: Replace s -> Map

perform :: Replace s -> Contents s -> Contents s

inversed :: Replace s -> Contents s -> Replace s

Eq s => Eq (Replace s)

Methods

(==) :: Replace s -> Replace s -> Bool

(/=) :: Replace s -> Replace s -> Bool

(Editable s, ToJSON s) => Show (Replace s)

Methods

showsPrec :: Int -> Replace s -> ShowS

show :: Replace s -> String

showList :: [Replace s] -> ShowS

(Editable s, ToJSON s) => ToJSON (Replace s)

Methods

toJSON :: Replace s -> Value

toEncoding :: Replace s -> Encoding

toJSONList :: [Replace s] -> Value

toEncodingList :: [Replace s] -> Encoding

(Editable s, FromJSON s) => FromJSON (Replace s)

Methods

parseJSON :: Value -> Parser (Replace s)

parseJSONList :: Value -> Parser [Replace s]

Regioned (Replace s)

Methods

regions :: Traversal' (Replace s) Region

replaceRegion :: forall s. Lens' (Replace s) Region

replaceWith :: forall s s. Lens (Replace s) (Replace s) (Contents s) (Contents s)

newtype Edit s

Edit is several replace actions, applied simultaneously, must not overlap

Constructors

Edit

Fields

• _replaces :: [Replace s]

Instances

Editable s => EditAction Edit s

Methods

replaceAction :: Region -> Contents s -> Edit s

actionMap :: Edit s -> Map

perform :: Edit s -> Contents s -> Contents s

inversed :: Edit s -> Contents s -> Edit s

Eq s => Eq (Edit s)

Methods

(==) :: Edit s -> Edit s -> Bool

(/=) :: Edit s -> Edit s -> Bool

(ToJSON s, Editable s) => Show (Edit s)

Methods

showsPrec :: Int -> Edit s -> ShowS

show :: Edit s -> String

showList :: [Edit s] -> ShowS

Semigroup (Edit s)

Methods

(<>) :: Edit s -> Edit s -> Edit s

sconcat :: NonEmpty (Edit s) -> Edit s

stimes :: Integral b => b -> Edit s -> Edit s

Monoid (Edit s)

Methods

mempty :: Edit s

mappend :: Edit s -> Edit s -> Edit s

mconcat :: [Edit s] -> Edit s

(Editable s, ToJSON s) => ToJSON (Edit s)

Methods

toJSON :: Edit s -> Value

toEncoding :: Edit s -> Encoding

toJSONList :: [Edit s] -> Value

toEncodingList :: [Edit s] -> Encoding

(Editable s, FromJSON s) => FromJSON (Edit s)

Methods

parseJSON :: Value -> Parser (Edit s)

parseJSONList :: Value -> Parser [Edit s]

Regioned (Edit s)

Methods

regions :: Traversal' (Edit s) Region

replaces :: forall s s. Iso (Edit s) (Edit s) [Replace s] [Replace s]

class Regioned a where

Minimal complete definition

regions

Methods

regions :: Traversal' a Region

Instances

Regioned Point

Methods

regions :: Traversal' Point Region

Regioned Region

Methods

regions :: Traversal' Region Region

Regioned (Replace s)

Methods

regions :: Traversal' (Replace s) Region

Regioned (Edit s)

Methods

regions :: Traversal' (Edit s) Region

module Data.Group