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 #

Minimal complete definition

getPos

Methods

getPos :: a -> Position #

Instances

data Position #

Constructors

Position 

Instances

Eq Position # 
Data Position # 

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 # 
Show Position # 
Generic Position # 

Associated Types

type Rep Position :: * -> * #

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

Binary Position # 

Methods

put :: Position -> Put #

get :: Get Position #

putList :: [Position] -> Put #

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

data SrcSpan #

Constructors

SrcSpan Position Position 

Instances

Eq SrcSpan # 

Methods

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

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

Data SrcSpan # 

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 # 
Show SrcSpan # 
Generic SrcSpan # 

Associated Types

type Rep SrcSpan :: * -> * #

Methods

from :: SrcSpan -> Rep SrcSpan x #

to :: Rep SrcSpan x -> SrcSpan #

Out SrcSpan # 

Methods

docPrec :: Int -> SrcSpan -> Doc #

doc :: SrcSpan -> Doc #

docList :: [SrcSpan] -> Doc #

Binary SrcSpan # 

Methods

put :: SrcSpan -> Put #

get :: Get SrcSpan #

putList :: [SrcSpan] -> Put #

Spanned SrcSpan # 
FirstParameter Token SrcSpan # 
FirstParameter Token SrcSpan # 
SecondParameter (DimensionDeclarator a) SrcSpan # 
SecondParameter (Declarator a) SrcSpan # 
SecondParameter (Index a) SrcSpan # 
SecondParameter (Expression a) SrcSpan # 
SecondParameter (DoSpecification a) SrcSpan # 
SecondParameter (FormatItem a) SrcSpan # 
SecondParameter (DataGroup a) SrcSpan # 
SecondParameter (Namelist a) SrcSpan # 
SecondParameter (CommonGroup a) SrcSpan # 
SecondParameter (ImpElement a) SrcSpan # 
SecondParameter (ImpList a) SrcSpan # 
SecondParameter (ControlPair a) SrcSpan # 
SecondParameter (Attribute a) SrcSpan # 
SecondParameter (Argument a) SrcSpan # 
SecondParameter (Use a) SrcSpan # 
SecondParameter (Statement a) SrcSpan # 
SecondParameter (Block a) SrcSpan # 
SecondParameter (ProgramUnit a) SrcSpan # 
SecondParameter (Selector a) SrcSpan # 
SecondParameter (TypeSpec a) SrcSpan # 
SecondParameter (AList t a) SrcSpan # 
type Rep SrcSpan # 
type Rep SrcSpan = D1 (MetaData "SrcSpan" "Language.Fortran.Util.Position" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" 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 #

Methods

getSpan :: a -> SrcSpan #

setSpan :: SrcSpan -> a -> a #

getSpan :: SecondParameter a SrcSpan => a -> SrcSpan #

setSpan :: SecondParameter a SrcSpan => SrcSpan -> a -> a #

Instances

Spanned SrcSpan # 
FirstParameter Token SrcSpan => Spanned Token # 
Spanned Lexeme # 
Spanned Lexeme # 
FirstParameter Token SrcSpan => Spanned Token # 
Spanned (DimensionDeclarator a) # 
Spanned (Declarator a) # 
Spanned (Index a) # 

Methods

getSpan :: Index a -> SrcSpan #

setSpan :: SrcSpan -> Index a -> Index a #

Spanned (Expression a) # 
Spanned (DoSpecification a) # 
Spanned (FormatItem a) # 
Spanned (DataGroup a) # 
Spanned (Namelist a) # 
Spanned (CommonGroup a) # 
Spanned (ImpElement a) # 
Spanned (ImpList a) # 

Methods

getSpan :: ImpList a -> SrcSpan #

setSpan :: SrcSpan -> ImpList a -> ImpList a #

Spanned (ControlPair a) # 
Spanned (Attribute a) # 
Spanned (Argument a) # 
Spanned (Use a) # 

Methods

getSpan :: Use a -> SrcSpan #

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

Spanned (Statement a) # 
Spanned (Block a) # 

Methods

getSpan :: Block a -> SrcSpan #

setSpan :: SrcSpan -> Block a -> Block a #

Spanned (ProgramUnit a) # 
Spanned (Selector a) # 
Spanned (TypeSpec a) # 
Spanned (AList t a) # 

Methods

getSpan :: AList t a -> SrcSpan #

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