| 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
Positon => Offset convertion
Constructors
| ToOffset | |
Fields
| |
makeToOffset :: Text -> ToOffset Source #
Return a list of offsets of linebreaks ("n", "r" or "rn")
newtype FromOffset Source #
Offset => Position convertion
Constructors
| FromOffset | |
Fields
| |
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 #