Development.IDE.Core.PositionMapping

Documentation

newtype PositionMapping

Constructors

PositionMapping PositionDelta

data PositionResult a

Either an exact position, or the range of text that was substituted

Constructors

PositionRange

Fields need to be non-strict otherwise bind is exponential

Fields

• unsafeLowerRange :: a
• unsafeUpperRange :: a

PositionExact !a

Instances

Monad PositionResult

Defined in Development.IDE.Core.PositionMapping

Methods

(>>=) :: PositionResult a -> (a -> PositionResult b) -> PositionResult b

(>>) :: PositionResult a -> PositionResult b -> PositionResult b

return :: a -> PositionResult a

Functor PositionResult

Defined in Development.IDE.Core.PositionMapping

Methods

fmap :: (a -> b) -> PositionResult a -> PositionResult b

(<$) :: a -> PositionResult b -> PositionResult a

Applicative PositionResult

Defined in Development.IDE.Core.PositionMapping

Methods

pure :: a -> PositionResult a

(<*>) :: PositionResult (a -> b) -> PositionResult a -> PositionResult b

liftA2 :: (a -> b -> c) -> PositionResult a -> PositionResult b -> PositionResult c

(*>) :: PositionResult a -> PositionResult b -> PositionResult b

(<*) :: PositionResult a -> PositionResult b -> PositionResult a

Eq a => Eq (PositionResult a)

Defined in Development.IDE.Core.PositionMapping

Methods

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

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

Ord a => Ord (PositionResult a)

Defined in Development.IDE.Core.PositionMapping

Methods

compare :: PositionResult a -> PositionResult a -> Ordering

(<) :: PositionResult a -> PositionResult a -> Bool

(<=) :: PositionResult a -> PositionResult a -> Bool

(>) :: PositionResult a -> PositionResult a -> Bool

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

max :: PositionResult a -> PositionResult a -> PositionResult a

min :: PositionResult a -> PositionResult a -> PositionResult a

Show a => Show (PositionResult a)

Defined in Development.IDE.Core.PositionMapping

Methods

showsPrec :: Int -> PositionResult a -> ShowS

show :: PositionResult a -> String

showList :: [PositionResult a] -> ShowS

lowerRange :: PositionResult a -> a

upperRange :: PositionResult a -> a

positionResultToMaybe :: PositionResult a -> Maybe a

fromCurrentPosition :: PositionMapping -> Position -> Maybe Position

toCurrentPosition :: PositionMapping -> Position -> Maybe Position

data PositionDelta

Constructors

PositionDelta

Fields

• toDelta :: !(Position -> PositionResult Position)
• fromDelta :: !(Position -> PositionResult Position)

addDelta :: PositionDelta -> PositionMapping -> PositionMapping

Add a new delta onto a Mapping k n to make a Mapping (k - 1) n

mkDelta :: [TextDocumentContentChangeEvent] -> PositionDelta

Convert a set of changes into a delta from k to k + 1

toCurrentRange :: PositionMapping -> Range -> Maybe Range

fromCurrentRange :: PositionMapping -> Range -> Maybe Range

applyChange :: PositionDelta -> TextDocumentContentChangeEvent -> PositionDelta

zeroMapping :: PositionMapping

toCurrent :: Range -> Text -> Position -> PositionResult Position

fromCurrent :: Range -> Text -> Position -> PositionResult Position