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

Agda.Position

Synopsis

Documentation

newtype ToOffset Source #

Positon => Offset convertion

Constructors

ToOffset 

Fields

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

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 #