Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Data type describing the operation of editing some text
Synopsis
- data EditOperation a
- = Insert a
- | Delete a
- | Substitute a a
- | Keep a
- inverse :: EditOperation a -> EditOperation a
Documentation
data EditOperation a Source #
Atomic operation required to edit a piece of text at a given position in the EditMatrix
Insert a | |
Delete a | |
Substitute a a | |
Keep a |
Instances
Show a => Show (EditOperation a) Source # | |
Defined in Data.Text.EditOperation showsPrec :: Int -> EditOperation a -> ShowS # show :: EditOperation a -> String # showList :: [EditOperation a] -> ShowS # | |
Eq a => Eq (EditOperation a) Source # | |
Defined in Data.Text.EditOperation (==) :: EditOperation a -> EditOperation a -> Bool # (/=) :: EditOperation a -> EditOperation a -> Bool # |
inverse :: EditOperation a -> EditOperation a Source #
Inverse of an edit operation. It is used to display not only how to go from text1 to text2 but also from text2 to text1