Data.Text.EditOperation

Data type describing the operation of editing some text

Documentation

data EditOperation a

Atomic operation required to edit a piece of text at a given position in the EditMatrix

Constructors

Insert a

Delete a

Substitute a a

Keep a

Instances

Show a => Show (EditOperation a)

Defined in Data.Text.EditOperation

Methods

showsPrec :: Int -> EditOperation a -> ShowS

show :: EditOperation a -> String

showList :: [EditOperation a] -> ShowS

Eq a => Eq (EditOperation a)

Defined in Data.Text.EditOperation

Methods

(==) :: EditOperation a -> EditOperation a -> Bool

(/=) :: EditOperation a -> EditOperation a -> Bool

inverse :: EditOperation a -> EditOperation a

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