Data.Diff.Types

Documentation

data Edit

Constructors

EditDelete

Fields

• deleteFrom :: Int
• deleteTo :: Int

EditInsert

Fields

• insertPos :: Int
• insertFrom :: Int
• insertTo :: Int

Instances

Show Edit

Defined in Data.Diff.Types

Methods

showsPrec :: Int -> Edit -> ShowS

show :: Edit -> String

showList :: [Edit] -> ShowS

Eq Edit

Defined in Data.Diff.Types

Methods

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

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

Types to mimic TextDocumentContentChangeEvent from the lsp-types package

data Position

Constructors

Position

Fields

• positionLine :: Int
• positionCh :: Int

Instances

Show Position

Defined in Data.Diff.Types

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Eq Position

Defined in Data.Diff.Types

Methods

(==) :: Position -> Position -> Bool

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

data Range

Constructors

Range

Fields

• rangeStart :: Position
• rangeEnd :: Position

Instances

Show Range

Defined in Data.Diff.Types

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

Eq Range

Defined in Data.Diff.Types

Methods

(==) :: Range -> Range -> Bool

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

data ChangeEvent

Constructors

ChangeEvent

Fields

• range :: Range
• text :: Text

Instances

Show ChangeEvent

Defined in Data.Diff.Types

Methods

showsPrec :: Int -> ChangeEvent -> ShowS

show :: ChangeEvent -> String

showList :: [ChangeEvent] -> ShowS

Eq ChangeEvent

Defined in Data.Diff.Types

Methods

(==) :: ChangeEvent -> ChangeEvent -> Bool

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