agda-language-server-0.2.6.3.0: An implementation of language server protocal (LSP) for Agda 2.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Position

Synopsis

newtype ToOffset = ToOffset {
- unToOffset :: IntMap Int
}
makeToOffset :: Text -> ToOffset
toOffset :: ToOffset -> (Int, Int) -> Int
newtype FromOffset = FromOffset {
- unFromOffset :: IntMap Int
}
makeFromOffset :: Text -> FromOffset
fromOffset :: FromOffset -> Int -> (Int, Int)
toAgdaPositionWithoutFile :: ToOffset -> Position -> PositionWithoutFile
toAgdaRange :: ToOffset -> Text -> Range -> Range
prettyPositionWithoutFile :: PositionWithoutFile -> String

Documentation

newtype ToOffset Source #

Positon => Offset convertion

Constructors

ToOffset
Fields unToOffset :: IntMap Int

makeToOffset :: Text -> ToOffset Source #

Return a list of offsets of linebreaks ("n", "r" or "rn")

toOffset :: ToOffset -> (Int, Int) -> Int Source #

(line, col) => offset (zero-based)

newtype FromOffset Source #

Offset => Position convertion

Constructors

FromOffset
Fields unFromOffset :: IntMap Int

makeFromOffset :: Text -> FromOffset Source #

fromOffset :: FromOffset -> Int -> (Int, Int) Source #

toAgdaPositionWithoutFile :: ToOffset -> Position -> PositionWithoutFile Source #

LSP Position -> Agda PositionWithoutFile

toAgdaRange :: ToOffset -> Text -> Range -> Range Source #

LSP source locations => Agda source locations

LSP Range -> Agda Range

prettyPositionWithoutFile :: PositionWithoutFile -> String Source #