| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Ivory.Language.Syntax.Concrete.Location
- class HasLocation a where
- locStart :: HasLocation a => a -> Position
- locEnd :: HasLocation a => a -> Position
- data Located a = Located {}
- noLoc :: a -> Located a
- at :: HasLocation loc => a -> loc -> Located a
- atBin :: (HasLocation loc0, HasLocation loc1) => a -> loc0 -> loc1 -> Located a
- atList :: a -> [SrcLoc] -> Located a
- unLoc :: Located a -> a
- extendLoc :: SrcLoc -> Located a -> Located a
- type Source = Maybe String
- data SrcLoc
- srcLoclinePragma :: SrcLoc -> Maybe (Int, String)
- srcRange :: SrcLoc -> Range
- srcStart :: SrcLoc -> Position
- srcEnd :: SrcLoc -> Position
- data Range = Range {
- rangeStart :: !Position
- rangeEnd :: !Position
- data Position = Position {}
- zeroPosition :: Position
- smallerOf :: Position -> Position -> Position
- largerOf :: Position -> Position -> Position
- movePos :: Position -> Char -> Position
- movesPos :: Position -> String -> Position
Documentation
class HasLocation a where Source
Instances
locStart :: HasLocation a => a -> Position Source
locEnd :: HasLocation a => a -> Position Source
Things that carry a range in the source syntax.
at :: HasLocation loc => a -> loc -> Located a Source
Attach location information to a value.
atBin :: (HasLocation loc0, HasLocation loc1) => a -> loc0 -> loc1 -> Located a Source
at helper for binary operators.
A range in the program source.
srcLoclinePragma :: SrcLoc -> Maybe (Int, String) Source
Get info to build a line pragma from a SrcLoc. Returns a value only if
there is a valid range. Returns the starting line number.
The region between to source positions.
Constructors
| Range | |
Fields
| |
Position information within a source.
zeroPosition :: Position Source
Starting position.