fortran-src-0.2.0.0: Parser and anlyses for Fortran standards 66, 77, 90.

Safe HaskellSafe
LanguageHaskell2010

Language.Fortran.Util.Position

Documentation

class Loc a where Source #

Minimal complete definition

getPos

Methods

getPos :: a -> Position Source #

data Position Source #

Constructors

Position 

Instances

Eq Position Source # 
Data Position Source # 

Methods

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

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

toConstr :: Position -> Constr #

dataTypeOf :: Position -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> Position -> Position #

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

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

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

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

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

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

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

Ord Position Source # 
Show Position Source # 
Generic Position Source # 

Associated Types

type Rep Position :: * -> * #

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

Binary Position Source # 

Methods

put :: Position -> Put #

get :: Get Position #

putList :: [Position] -> Put #

type Rep Position Source # 
type Rep Position = D1 (MetaData "Position" "Language.Fortran.Util.Position" "fortran-src-0.2.0.0-IwNcjyoHVtfEVeYRtgdE3g" False) (C1 (MetaCons "Position" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "posAbsoluteOffset") SourceUnpack SourceStrict DecidedStrict) (Rec0 Int)) ((:*:) (S1 (MetaSel (Just Symbol "posColumn") SourceUnpack SourceStrict DecidedStrict) (Rec0 Int)) (S1 (MetaSel (Just Symbol "posLine") SourceUnpack SourceStrict DecidedStrict) (Rec0 Int)))))

data SrcSpan Source #

Constructors

SrcSpan Position Position 

Instances

Eq SrcSpan Source # 

Methods

(==) :: SrcSpan -> SrcSpan -> Bool #

(/=) :: SrcSpan -> SrcSpan -> Bool #

Data SrcSpan Source # 

Methods

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

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

toConstr :: SrcSpan -> Constr #

dataTypeOf :: SrcSpan -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> SrcSpan -> SrcSpan #

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

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

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

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

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

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

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

Ord SrcSpan Source # 
Show SrcSpan Source # 
Generic SrcSpan Source # 

Associated Types

type Rep SrcSpan :: * -> * #

Methods

from :: SrcSpan -> Rep SrcSpan x #

to :: Rep SrcSpan x -> SrcSpan #

Out SrcSpan Source # 

Methods

docPrec :: Int -> SrcSpan -> Doc #

doc :: SrcSpan -> Doc #

docList :: [SrcSpan] -> Doc #

Binary SrcSpan Source # 

Methods

put :: SrcSpan -> Put #

get :: Get SrcSpan #

putList :: [SrcSpan] -> Put #

Spanned SrcSpan Source # 
FirstParameter Token SrcSpan Source # 
FirstParameter Token SrcSpan Source # 
SecondParameter (DimensionDeclarator a) SrcSpan Source # 
SecondParameter (Declarator a) SrcSpan Source # 
SecondParameter (Index a) SrcSpan Source # 
SecondParameter (Expression a) SrcSpan Source # 
SecondParameter (DoSpecification a) SrcSpan Source # 
SecondParameter (FormatItem a) SrcSpan Source # 
SecondParameter (DataGroup a) SrcSpan Source # 
SecondParameter (Namelist a) SrcSpan Source # 
SecondParameter (CommonGroup a) SrcSpan Source # 
SecondParameter (ImpElement a) SrcSpan Source # 
SecondParameter (ImpList a) SrcSpan Source # 
SecondParameter (ControlPair a) SrcSpan Source # 
SecondParameter (Attribute a) SrcSpan Source # 
SecondParameter (Argument a) SrcSpan Source # 
SecondParameter (Use a) SrcSpan Source # 
SecondParameter (Statement a) SrcSpan Source # 
SecondParameter (Block a) SrcSpan Source # 
SecondParameter (ProgramUnit a) SrcSpan Source # 
SecondParameter (Selector a) SrcSpan Source # 
SecondParameter (TypeSpec a) SrcSpan Source # 
SecondParameter (AList t a) SrcSpan Source # 
type Rep SrcSpan Source # 
type Rep SrcSpan = D1 (MetaData "SrcSpan" "Language.Fortran.Util.Position" "fortran-src-0.2.0.0-IwNcjyoHVtfEVeYRtgdE3g" False) (C1 (MetaCons "SrcSpan" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position))))

class Spanned a where Source #

Instances

Spanned SrcSpan Source # 
FirstParameter Token SrcSpan => Spanned Token Source # 
Spanned Lexeme Source # 
Spanned Lexeme Source # 
FirstParameter Token SrcSpan => Spanned Token Source # 
Spanned (DimensionDeclarator a) Source # 
Spanned (Declarator a) Source # 
Spanned (Index a) Source # 
Spanned (Expression a) Source # 
Spanned (DoSpecification a) Source # 
Spanned (FormatItem a) Source # 
Spanned (DataGroup a) Source # 
Spanned (Namelist a) Source # 
Spanned (CommonGroup a) Source # 
Spanned (ImpElement a) Source # 
Spanned (ImpList a) Source # 
Spanned (ControlPair a) Source # 
Spanned (Attribute a) Source # 
Spanned (Argument a) Source # 
Spanned (Use a) Source # 

Methods

getSpan :: Use a -> SrcSpan Source #

setSpan :: SrcSpan -> Use a -> Use a Source #

Spanned (Statement a) Source # 
Spanned (Block a) Source # 
Spanned (ProgramUnit a) Source # 
Spanned (Selector a) Source # 
Spanned (TypeSpec a) Source # 
Spanned (AList t a) Source # 

Methods

getSpan :: AList t a -> SrcSpan Source #

setSpan :: SrcSpan -> AList t a -> AList t a Source #