Data.Loc

Documentation

data Pos

Position type.

Constructors

Pos !String !Int !Int !Int

Source file name, line, column, and character offset

Instances

Eq Pos

Data Pos

Ord Pos

Show Pos

Typeable Pos

Located Pos

posFile :: Pos -> String

Position file.

posLine :: Pos -> Int

Position line.

posCol :: Pos -> Int

Position column.

posCoff :: Pos -> Int

Position character offset.

startPos :: String -> Pos

linePos :: String -> Int -> Pos

advancePos :: Pos -> Char -> Pos

data Loc

Location type, consisting of a beginning position and an end position.

Constructors

NoLoc

Loc !Pos !Pos

Beginning and end positions

Instances

Eq Loc

Data Loc

Show Loc

Typeable Loc

Monoid Loc

Located Loc

IsLocation Loc

locStart :: Loc -> Loc

Starting position of the location.

locEnd :: Loc -> Loc

Ending position of the location.

(<-->) :: (Located a, Located b) => a -> b -> Loc

Merge the locations of two Located values.

newtype SrcLoc

Source location type. Source location are all equal, which allows AST nodes to be compared modulo location information.

Constructors

SrcLoc Loc

Instances

Eq SrcLoc

Data SrcLoc

Ord SrcLoc

Typeable SrcLoc

Located SrcLoc

IsLocation SrcLoc

srclocOf :: Located a => a -> SrcLoc

The SrcLoc of a Located value.

srcspan :: (Located a, Located b) => a -> b -> SrcLoc

A SrcLoc with (minimal) span that includes two Located values.

class IsLocation a where

Locations

Methods

fromLoc :: Loc -> a

fromPos :: Pos -> a

Instances

IsLocation SrcLoc

IsLocation Loc

noLoc :: IsLocation a => a

No location.

class Located a where

Located values have a location.

Methods

locOf :: a -> Loc

locOfList :: [a] -> Loc

Instances

Located SrcLoc

Located Loc

Located Pos

Located a => Located [a]

Located a => Located (Maybe a)

Located (L a)

class Relocatable a where

Values that can be relocated

Methods

reloc :: Loc -> a -> a

Instances

Relocatable (L a)

data L a

An 'L a' is an a with an associated Loc, but this location is ignored when performing comparisons.

Constructors

L Loc a

Instances

Eq x => Eq (L x)

(Eq (L x), Ord x) => Ord (L x)

Show x => Show (L x)

Relocatable (L a)

Located (L a)

unLoc :: L a -> a