Language.Haskell.Exts.Annotated.SrcLoc

Documentation

data SrcLoc

A single position in the source.

Constructors

SrcLoc

Fields

srcFilename :: String

srcLine :: Int

srcColumn :: Int

Instances

Eq SrcLoc

Data SrcLoc

Ord SrcLoc

Show SrcLoc

Typeable SrcLoc

SrcInfo SrcLoc

Pretty SrcLoc

data SrcSpan

A portion of the source, spanning one or more lines and zero or more columns.

Constructors

SrcSpan

Fields

srcSpanFilename :: String

srcSpanStartLine :: Int

srcSpanStartColumn :: Int

srcSpanEndLine :: Int

srcSpanEndColumn :: Int

Instances

Eq SrcSpan

Data SrcSpan

Ord SrcSpan

Show SrcSpan

Typeable SrcSpan

SrcInfo SrcSpan

mkSrcSpan :: SrcLoc -> SrcLoc -> SrcSpan

Combine two locations in the source to denote a span.

mergeSrcSpan :: SrcSpan -> SrcSpan -> SrcSpan

Merge two source spans into a single span from the start of the first to the end of the second. Assumes that the two spans are given in the order they appear in the source.

data Loc a

An entity located in the source.

Constructors

Loc

Fields

loc :: SrcSpan

unLoc :: a

Instances

Eq a => Eq (Loc a)

Ord a => Ord (Loc a)

Show a => Show (Loc a)

data SrcSpanInfo

A portion of the source, extended with information on the position of entities within the span.

Constructors

SrcSpanInfo

Fields

srcInfoSpan :: SrcSpan

explLayout :: Bool

srcInfoPoints :: [SrcSpan]

Instances

Eq SrcSpanInfo

Data SrcSpanInfo

Ord SrcSpanInfo

Show SrcSpanInfo

Typeable SrcSpanInfo

SrcInfo SrcSpanInfo

noInfoSpan :: SrcSpan -> SrcSpanInfo

nIS :: SrcSpan -> SrcSpanInfo

pointInfoSpan :: SrcSpan -> SrcSpanInfo

pIS :: SrcSpan -> SrcSpanInfo

infoSpan :: SrcSpan -> [SrcSpan] -> SrcSpanInfo

iS :: SrcSpan -> [SrcSpan] -> SrcSpanInfo

combSpanInfo :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo

(<++>) :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo

(<+?>) :: SrcSpanInfo -> Maybe SrcSpanInfo -> SrcSpanInfo

(<?+>) :: Maybe SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo

(<**) :: SrcSpanInfo -> [SrcSpan] -> SrcSpanInfo

(<??) :: SrcSpanInfo -> Bool -> SrcSpanInfo

(<^^>) :: SrcSpan -> SrcSpan -> SrcSpanInfo

class SrcInfo si where

Methods

toSrcInfo :: SrcLoc -> Bool -> [SrcSpan] -> SrcLoc -> si

fromSrcInfo :: SrcSpanInfo -> si

getPointLoc :: si -> SrcLoc

fileName :: si -> String

startLine :: si -> Int

startColumn :: si -> Int

Instances

SrcInfo SrcSpanInfo

SrcInfo SrcSpan

SrcInfo SrcLoc