Copyright	(c) 2016 Jan Tikovsky 2016 Finn Teegen
License	BSD-3-clause
Maintainer	jrt@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Curry.Base.Span

Description

This module implements a data type for span information in a source file and respective functions to operate on them. A source file span consists of a filename, a start position and an end position.

In addition, the type SrcRef identifies the path to an expression in the abstract syntax tree by argument positions, which is used for debugging purposes.

Synopsis

data Span
- = Span {
  - file :: FilePath
  - start :: Position
  - end :: Position
  }
- | NoSpan
showSpan :: Span -> String
ppSpan :: Span -> Doc
ppPositions :: Span -> Doc
fstSpan :: FilePath -> Span
startCol :: Span -> Int
nextSpan :: Span -> Span
incrSpan :: Span -> Int -> Span
span2Pos :: Span -> Position
combineSpans :: Span -> Span -> Span
tabSpan :: Span -> Span
nlSpan :: Span -> Span
addSpan :: Span -> (a, [Span]) -> (a, [Span])
type Distance = (Int, Int)
setDistance :: Span -> Distance -> Span
moveBy :: Position -> Distance -> Position

Documentation

data Span Source #

Constructors

Span	Normal source code span
Fields file :: FilePath `FilePath` of the source file start :: Position start position end :: Position end position
NoSpan	no span

Instances

Eq Span Source #
Instance details Defined in Curry.Base.Span Methods (==) :: Span -> Span -> Bool # (/=) :: Span -> Span -> Bool #
Ord Span Source #
Instance details Defined in Curry.Base.Span Methods compare :: Span -> Span -> Ordering # (<) :: Span -> Span -> Bool # (<=) :: Span -> Span -> Bool # (>) :: Span -> Span -> Bool # (>=) :: Span -> Span -> Bool # max :: Span -> Span -> Span # min :: Span -> Span -> Span #
Read Span Source #
Instance details Defined in Curry.Base.Span Methods readsPrec :: Int -> ReadS Span # readList :: ReadS [Span] # readPrec :: ReadPrec Span # readListPrec :: ReadPrec [Span] #
Show Span Source #
Instance details Defined in Curry.Base.Span Methods showsPrec :: Int -> Span -> ShowS # show :: Span -> String # showList :: [Span] -> ShowS #
Pretty Span Source #
Instance details Defined in Curry.Base.Span Methods pPrint :: Span -> Doc Source # pPrintPrec :: Int -> Span -> Doc Source # pPrintList :: [Span] -> Doc Source #
HasPosition Span Source #
Instance details Defined in Curry.Base.Span Methods getPosition :: Span -> Position Source # setPosition :: Position -> Span -> Span Source #