Language.CSPM.SrcLoc

This module contains the datatype for sourcelocations and some utility functions.

Documentation

data SrcLoc

Constructors

TokIdPos TokenId

TokIdSpan TokenId TokenId

TokSpan Token Token

TokPos Token

NoLocation

FixedLoc

Fields

• fixedStartLine :: !Int
• fixedStartCol :: !Int
• fixedStartOffset :: !Int
• fixedLen :: !Int
• fixedEndLine :: !Int
• fixedEndCol :: !Int
• fixedEndOffset :: !Int

Instances

Eq SrcLoc

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

(/=) :: SrcLoc -> SrcLoc -> Bool

Data SrcLoc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcLoc -> c SrcLoc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcLoc

toConstr :: SrcLoc -> Constr

dataTypeOf :: SrcLoc -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SrcLoc)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcLoc)

gmapT :: (forall b. Data b => b -> b) -> SrcLoc -> SrcLoc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcLoc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcLoc -> r

gmapQ :: (forall d. Data d => d -> u) -> SrcLoc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcLoc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc

Ord SrcLoc

Methods

compare :: SrcLoc -> SrcLoc -> Ordering

(<) :: SrcLoc -> SrcLoc -> Bool

(<=) :: SrcLoc -> SrcLoc -> Bool

(>) :: SrcLoc -> SrcLoc -> Bool

(>=) :: SrcLoc -> SrcLoc -> Bool

max :: SrcLoc -> SrcLoc -> SrcLoc

min :: SrcLoc -> SrcLoc -> SrcLoc

Show SrcLoc

Methods

showsPrec :: Int -> SrcLoc -> ShowS

show :: SrcLoc -> String

showList :: [SrcLoc] -> ShowS

Generic SrcLoc

Associated Types

type Rep SrcLoc :: * -> *

Methods

from :: SrcLoc -> Rep SrcLoc x

to :: Rep SrcLoc x -> SrcLoc

type Rep SrcLoc

type Rep SrcLoc = D1 (MetaData "SrcLoc" "Language.CSPM.SrcLoc" "CSPM-Frontend-0.12.1.0-2XObDhQeBFNG5DmoldftgD" False) ((:+:) ((:+:) (C1 (MetaCons "TokIdPos" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TokenId))) ((:+:) (C1 (MetaCons "TokIdSpan" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TokenId)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TokenId)))) (C1 (MetaCons "TokSpan" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)))))) ((:+:) (C1 (MetaCons "TokPos" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token))) ((:+:) (C1 (MetaCons "NoLocation" PrefixI False) U1) (C1 (MetaCons "FixedLoc" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "fixedStartLine") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) ((:*:) (S1 (MetaSel (Just Symbol "fixedStartCol") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) (S1 (MetaSel (Just Symbol "fixedStartOffset") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "fixedLen") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) (S1 (MetaSel (Just Symbol "fixedEndLine") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int))) ((:*:) (S1 (MetaSel (Just Symbol "fixedEndCol") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) (S1 (MetaSel (Just Symbol "fixedEndOffset") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)))))))))

mkTokSpan :: Token -> Token -> SrcLoc

mkTokPos :: Token -> SrcLoc

type SrcLine = Int

type SrcCol = Int

type SrcOffset = Int

getStartLine :: SrcLoc -> SrcLine

getStartCol :: SrcLoc -> SrcCol

getStartOffset :: SrcLoc -> SrcOffset

getTokenLen :: SrcLoc -> SrcOffset

getEndLine :: SrcLoc -> SrcLine

getEndCol :: SrcLoc -> SrcCol

getEndOffset :: SrcLoc -> SrcOffset

getStartTokenId :: SrcLoc -> TokenId

getEndTokenId :: SrcLoc -> TokenId

getStartToken :: SrcLoc -> Token

getEndToken :: SrcLoc -> Token

computeEndPos :: Token -> AlexPosn

srcLocFromTo :: SrcLoc -> SrcLoc -> SrcLoc

Deprecated: sourceLoc arithmetics is not reliable

srcLocBetween :: SrcLoc -> SrcLoc -> SrcLoc

Deprecated: sourceLoc arithmetics is not reliable