Safe Haskell	None
Language	Haskell2010

Development.IDE.Core.PositionMapping

Synopsis

newtype PositionMapping = PositionMapping PositionDelta
data PositionResult a
- = PositionRange {
  - unsafeLowerRange :: a
  - unsafeUpperRange :: a
  }
- | PositionExact !a
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 = PositionDelta {
- toDelta :: !(Position -> PositionResult Position)
- fromDelta :: !(Position -> PositionResult Position)
}
addDelta :: PositionDelta -> PositionMapping -> PositionMapping
idDelta :: PositionDelta
composeDelta :: PositionDelta -> PositionDelta -> PositionDelta
mkDelta :: [TextDocumentContentChangeEvent] -> PositionDelta
toCurrentRange :: PositionMapping -> Range -> Maybe Range
fromCurrentRange :: PositionMapping -> Range -> Maybe Range
applyChange :: PositionDelta -> TextDocumentContentChangeEvent -> PositionDelta
zeroMapping :: PositionMapping
deltaFromDiff :: Text -> Text -> PositionDelta
toCurrent :: Range -> Text -> Position -> PositionResult Position
fromCurrent :: Range -> Text -> Position -> PositionResult Position

Documentation

newtype PositionMapping Source #

Constructors

PositionMapping PositionDelta

data PositionResult a Source #

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

Instances details

Monad PositionResult Source #
Instance details 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 Source #
Instance details Defined in Development.IDE.Core.PositionMapping Methods fmap :: (a -> b) -> PositionResult a -> PositionResult b # (<$) :: a -> PositionResult b -> PositionResult a #
Applicative PositionResult Source #
Instance details 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) Source #
Instance details Defined in Development.IDE.Core.PositionMapping Methods (==) :: PositionResult a -> PositionResult a -> Bool # (/=) :: PositionResult a -> PositionResult a -> Bool #
Ord a => Ord (PositionResult a) Source #
Instance details 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) Source #
Instance details Defined in Development.IDE.Core.PositionMapping Methods showsPrec :: Int -> PositionResult a -> ShowS # show :: PositionResult a -> String # showList :: [PositionResult a] -> ShowS #

lowerRange :: PositionResult a -> a Source #

upperRange :: PositionResult a -> a Source #

positionResultToMaybe :: PositionResult a -> Maybe a Source #

fromCurrentPosition :: PositionMapping -> Position -> Maybe Position Source #

toCurrentPosition :: PositionMapping -> Position -> Maybe Position Source #

data PositionDelta Source #

Constructors

PositionDelta
Fields toDelta :: !(Position -> PositionResult Position) fromDelta :: !(Position -> PositionResult Position)

Instances

Instances details

Show PositionDelta Source #
Instance details Defined in Development.IDE.Core.PositionMapping Methods showsPrec :: Int -> PositionDelta -> ShowS # show :: PositionDelta -> String # showList :: [PositionDelta] -> ShowS #
NFData PositionDelta Source #
Instance details Defined in Development.IDE.Core.PositionMapping Methods rnf :: PositionDelta -> () #

addDelta :: PositionDelta -> PositionMapping -> PositionMapping Source #

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

idDelta :: PositionDelta Source #

composeDelta :: PositionDelta -> PositionDelta -> PositionDelta Source #

Compose two position mappings. Composes in the same way as function composition (ie the second argument is applyed to the position first).

mkDelta :: [TextDocumentContentChangeEvent] -> PositionDelta Source #

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

toCurrentRange :: PositionMapping -> Range -> Maybe Range Source #

fromCurrentRange :: PositionMapping -> Range -> Maybe Range Source #

applyChange :: PositionDelta -> TextDocumentContentChangeEvent -> PositionDelta Source #

zeroMapping :: PositionMapping Source #

deltaFromDiff :: Text -> Text -> PositionDelta Source #

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

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