Safe Haskell	None

FrontEnd.SrcLoc

Documentation

data SrcLoc Source

Constructors

SrcLoc
Fields srcLocFileName :: PackedString srcLocLine :: !Int srcLocColumn :: !Int

Instances

Eq SrcLoc
Data SrcLoc
Ord SrcLoc
Show SrcLoc
Typeable SrcLoc
Monoid SrcLoc
Binary SrcLoc
HasLocation SrcLoc
DocLike d => PPrint d SrcLoc
HasLocation (SrcLoc, SrcLoc)

data SrcSpan Source

Constructors

SrcSpan
Fields srcSpanBegin :: !SrcLoc srcSpanEnd :: !SrcLoc

Instances

Eq SrcSpan
Data SrcSpan
Ord SrcSpan
Show SrcSpan
Typeable SrcSpan
Binary SrcSpan
HasLocation SrcSpan

fileNameCommandLine :: PackedString Source

fileNameUnknown :: PackedString Source

fileNameGenerated :: PackedString Source

bogusASrcLoc :: SrcLoc Source

bogusSrcSpan :: SrcSpan Source

class HasLocation a whereSource

Methods

srcLoc :: a -> SrcLoc Source

srcSpan :: a -> SrcSpan Source

data Located x Source

Constructors

Located SrcSpan x

Instances

Functor Located
Typeable1 Located
Foldable Located
Traversable Located
Eq x => Eq (Located x)
Data x => Data (Located x)
Ord x => Ord (Located x)
Show x => Show (Located x)
Binary x_1627988703 => Binary (Located x_1627988703)
HasLocation (Located a)

fromLocated :: Located x -> xSource

located :: HasLocation a => a -> x -> Located xSource

class Monad m => MonadSrcLoc m whereSource

Methods

getSrcLoc :: m SrcLoc Source

getSrcSpan :: m SrcSpan Source

Instances

MonadSrcLoc Identity
MonadSrcLoc P
MonadSrcLoc Tc
Monoid w => MonadSrcLoc (Writer w)
MonadSrcLoc (Lex r)

class MonadSrcLoc m => MonadSetSrcLoc m whereSource

Methods

withSrcLoc :: SrcLoc -> m a -> m aSource

withSrcSpan :: SrcSpan -> m a -> m aSource

Instances

MonadSetSrcLoc Identity
Monoid w => MonadSetSrcLoc (Writer w)

withLocation :: (HasLocation l, MonadSetSrcLoc m) => l -> m a -> m aSource

srcLocLine_s :: Int -> SrcLoc -> SrcLoc Source

srcLocLine_u :: (Int -> Int) -> SrcLoc -> SrcLoc Source

srcLocFileName_s :: PackedString -> SrcLoc -> SrcLoc Source

srcLocFileName_u :: (PackedString -> PackedString) -> SrcLoc -> SrcLoc Source

srcLocColumn_s :: Int -> SrcLoc -> SrcLoc Source

srcLocColumn_u :: (Int -> Int) -> SrcLoc -> SrcLoc Source

srcSpanEnd_s :: SrcLoc -> SrcSpan -> SrcSpan Source

srcSpanEnd_u :: (SrcLoc -> SrcLoc) -> SrcSpan -> SrcSpan Source

srcSpanBegin_s :: SrcLoc -> SrcSpan -> SrcSpan Source

srcSpanBegin_u :: (SrcLoc -> SrcLoc) -> SrcSpan -> SrcSpan Source

HasLocation SrcSpan
HasLocation SrcLoc
HasLocation HsAlt
HasLocation HsExp
HasLocation HsTyVarBind
HasLocation HsMatch
HasLocation HsRule
HasLocation HsDecl
HasLocation HsImportDecl
HasLocation HsModule
HasLocation Constraint
HasLocation a => HasLocation [a]
HasLocation (Located a)
HasLocation (SrcLoc, SrcLoc)