Safe Haskell	None
Language	Haskell2010

Data.Text.Region.Types

Synopsis

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 #
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

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 #
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