Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Util.Position

Synopsis

class Loc a where
- getPos :: a -> Position
data Position = Position {
- posAbsoluteOffset :: Int
- posColumn :: Int
- posLine :: Int
- posFilePath :: String
- posPragmaOffset :: Maybe (Int, String)
}
initPosition :: Position
lineCol :: Position -> (Int, Int)
apparentLineCol :: Position -> (Int, Int)
apparentFilePath :: Position -> String
data SrcSpan = SrcSpan {
- ssFrom :: Position
- ssTo :: Position
}
columnDistance :: SrcSpan -> Int
lineDistance :: SrcSpan -> Int
spannedLines :: SrcSpan -> [Int]
initSrcSpan :: SrcSpan
emptySpan :: Position -> SrcSpan
class Spanned a where
- getSpan :: a -> SrcSpan
- setSpan :: SrcSpan -> a -> a
class (Spanned a, Spanned b) => SpannedPair a b where
- getTransSpan :: a -> b -> SrcSpan

Documentation

class Loc a where Source #

Methods

getPos :: a -> Position Source #

Instances

Instances details

Loc AlexInput Source #
Instance details Defined in Language.Fortran.Parser.Fixed.Lexer Methods getPos :: AlexInput -> Position Source #
Loc AlexInput Source #
Instance details Defined in Language.Fortran.Parser.Free.Lexer Methods getPos :: AlexInput -> Position Source #

data Position Source #

Constructors

Position
Fields posAbsoluteOffset :: Int posColumn :: Int posLine :: Int posFilePath :: String posPragmaOffset :: Maybe (Int, String) line-offset and filename as given by a pragma.

Instances

Instances details

Data Position Source #

Instance details

Defined in Language.Fortran.Util.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 :: forall r r'. (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 #

Generic Position Source #

Instance details

Defined in Language.Fortran.Util.Position

Associated Types

type Rep Position

Instance details

Defined in Language.Fortran.Util.Position

type Rep Position = D1 ('MetaData "Position" "Language.Fortran.Util.Position" "fortran-src-0.16.7-GLmWuRZOFJo2g1dq61LjMD" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) ((S1 ('MetaSel ('Just "posAbsoluteOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "posColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "posLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "posFilePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "posPragmaOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Int, String)))))))

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

Show Position Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

showsPrec :: Int -> Position -> ShowS #

show :: Position -> String #

showList :: [Position] -> ShowS #

Binary Position Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

put :: Position -> Put #

get :: Get Position #

putList :: [Position] -> Put #

NFData Position Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

rnf :: Position -> () #

Eq Position Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

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

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

Ord Position Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

compare :: Position -> Position -> Ordering #

(<) :: Position -> Position -> Bool #

(<=) :: Position -> Position -> Bool #

(>) :: Position -> Position -> Bool #

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

max :: Position -> Position -> Position #

min :: Position -> Position -> Position #

type Rep Position Source #

Instance details

Defined in Language.Fortran.Util.Position

type Rep Position = D1 ('MetaData "Position" "Language.Fortran.Util.Position" "fortran-src-0.16.7-GLmWuRZOFJo2g1dq61LjMD" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) ((S1 ('MetaSel ('Just "posAbsoluteOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "posColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "posLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "posFilePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "posPragmaOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Int, String)))))))

initPosition :: Position Source #

lineCol :: Position -> (Int, Int) Source #

apparentLineCol :: Position -> (Int, Int) Source #

(line, column) number taking into account any specified line pragmas.

apparentFilePath :: Position -> String Source #

Path of file taking into account any specified line pragmas.

data SrcSpan Source #

Constructors

SrcSpan
Fields ssFrom :: Position ssTo :: Position

Instances

Instances details

Out SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

docPrec :: Int -> SrcSpan -> Doc #

doc :: SrcSpan -> Doc #

docList :: [SrcSpan] -> Doc #

Data SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

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 :: forall r r'. (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 #

Generic SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Associated Types

type Rep SrcSpan

Instance details

Defined in Language.Fortran.Util.Position

type Rep SrcSpan = D1 ('MetaData "SrcSpan" "Language.Fortran.Util.Position" "fortran-src-0.16.7-GLmWuRZOFJo2g1dq61LjMD" 'False) (C1 ('MetaCons "SrcSpan" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "ssTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)))

Methods

from :: SrcSpan -> Rep SrcSpan x #

to :: Rep SrcSpan x -> SrcSpan #

Show SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

showsPrec :: Int -> SrcSpan -> ShowS #

show :: SrcSpan -> String #

showList :: [SrcSpan] -> ShowS #

Binary SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

put :: SrcSpan -> Put #

get :: Get SrcSpan #

putList :: [SrcSpan] -> Put #

NFData SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

rnf :: SrcSpan -> () #

Spanned SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

getSpan :: SrcSpan -> SrcSpan Source #

setSpan :: SrcSpan -> SrcSpan -> SrcSpan Source #

Eq SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

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

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

Ord SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

Methods

compare :: SrcSpan -> SrcSpan -> Ordering #

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

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

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

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

max :: SrcSpan -> SrcSpan -> SrcSpan #

min :: SrcSpan -> SrcSpan -> SrcSpan #

FirstParameter Token SrcSpan Source #

Instance details

Defined in Language.Fortran.Parser.Fixed.Lexer

Methods

getFirstParameter :: Token -> SrcSpan Source #

setFirstParameter :: SrcSpan -> Token -> Token Source #

FirstParameter Token SrcSpan Source #

Instance details

Defined in Language.Fortran.Parser.Free.Lexer

Methods

getFirstParameter :: Token -> SrcSpan Source #

setFirstParameter :: SrcSpan -> Token -> Token Source #

SecondParameter (AllocOpt a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: AllocOpt a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> AllocOpt a -> AllocOpt a Source #

SecondParameter (Argument a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Argument a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Argument a -> Argument a Source #

SecondParameter (Attribute a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Attribute a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Attribute a -> Attribute a Source #

SecondParameter (Block a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Block a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Block a -> Block a Source #

SecondParameter (CommonGroup a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: CommonGroup a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> CommonGroup a -> CommonGroup a Source #

SecondParameter (ControlPair a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ControlPair a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ControlPair a -> ControlPair a Source #

SecondParameter (DataGroup a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: DataGroup a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> DataGroup a -> DataGroup a Source #

SecondParameter (Declarator a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Declarator a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Declarator a -> Declarator a Source #

SecondParameter (DimensionDeclarator a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: DimensionDeclarator a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a Source #

SecondParameter (DoSpecification a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: DoSpecification a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> DoSpecification a -> DoSpecification a Source #

SecondParameter (Expression a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Expression a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Expression a -> Expression a Source #

SecondParameter (FlushSpec a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: FlushSpec a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> FlushSpec a -> FlushSpec a Source #

SecondParameter (ForallHeader a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ForallHeader a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ForallHeader a -> ForallHeader a Source #

SecondParameter (ForallHeaderPart a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ForallHeaderPart a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ForallHeaderPart a -> ForallHeaderPart a Source #

SecondParameter (FormatItem a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: FormatItem a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> FormatItem a -> FormatItem a Source #

SecondParameter (ImpElement a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ImpElement a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ImpElement a -> ImpElement a Source #

SecondParameter (ImpList a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ImpList a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ImpList a -> ImpList a Source #

SecondParameter (Index a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Index a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Index a -> Index a Source #

SecondParameter (Namelist a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Namelist a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Namelist a -> Namelist a Source #

SecondParameter (Prefix a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Prefix a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Prefix a -> Prefix a Source #

SecondParameter (ProcDecl a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ProcDecl a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ProcDecl a -> ProcDecl a Source #

SecondParameter (ProcInterface a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ProcInterface a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ProcInterface a -> ProcInterface a Source #

SecondParameter (ProgramUnit a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: ProgramUnit a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ProgramUnit a -> ProgramUnit a Source #

SecondParameter (Selector a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Selector a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Selector a -> Selector a Source #

SecondParameter (Statement a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Statement a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Statement a -> Statement a Source #

SecondParameter (StructureItem a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: StructureItem a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> StructureItem a -> StructureItem a Source #

SecondParameter (Suffix a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Suffix a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> Suffix a -> Suffix a Source #

SecondParameter (TypeSpec a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: TypeSpec a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> TypeSpec a -> TypeSpec a Source #

SecondParameter (UnionMap a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: UnionMap a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> UnionMap a -> UnionMap a Source #

SecondParameter (Use a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST

Methods

getSecondParameter :: Use a -> SrcSpan Source #

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

SecondParameter (KindParam a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST.Literal

Methods

getSecondParameter :: KindParam a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> KindParam a -> KindParam a Source #

SecondParameter (ComplexLit a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST.Literal.Complex

Methods

getSecondParameter :: ComplexLit a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ComplexLit a -> ComplexLit a Source #

SecondParameter (ComplexPart a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST.Literal.Complex

Methods

getSecondParameter :: ComplexPart a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ComplexPart a -> ComplexPart a Source #

SecondParameter (LValue a) SrcSpan Source #

Instance details

Defined in Language.Fortran.LValue

Methods

getSecondParameter :: LValue a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> LValue a -> LValue a Source #

SecondParameter (AList t a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST.AList

Methods

getSecondParameter :: AList t a -> SrcSpan Source #

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

SecondParameter (ATuple t1 t2 a) SrcSpan Source #

Instance details

Defined in Language.Fortran.AST.AList

Methods

getSecondParameter :: ATuple t1 t2 a -> SrcSpan Source #

setSecondParameter :: SrcSpan -> ATuple t1 t2 a -> ATuple t1 t2 a Source #

type Rep SrcSpan Source #

Instance details

Defined in Language.Fortran.Util.Position

type Rep SrcSpan = D1 ('MetaData "SrcSpan" "Language.Fortran.Util.Position" "fortran-src-0.16.7-GLmWuRZOFJo2g1dq61LjMD" 'False) (C1 ('MetaCons "SrcSpan" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "ssTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)))

columnDistance :: SrcSpan -> Int Source #

lineDistance :: SrcSpan -> Int Source #

spannedLines :: SrcSpan -> [Int] Source #

initSrcSpan :: SrcSpan Source #

emptySpan :: Position -> SrcSpan Source #

Return the empty span at a given position (span between itself).

class Spanned a where Source #

Minimal complete definition

Nothing

Methods

getSpan :: a -> SrcSpan Source #

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

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

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

Instances

Instances details

FirstParameter Token SrcSpan => Spanned Token Source #
Instance details Defined in Language.Fortran.Parser.Fixed.Lexer Methods getSpan :: Token -> SrcSpan Source # setSpan :: SrcSpan -> Token -> Token Source #
FirstParameter Token SrcSpan => Spanned Token Source #
Instance details Defined in Language.Fortran.Parser.Free.Lexer Methods getSpan :: Token -> SrcSpan Source # setSpan :: SrcSpan -> Token -> Token Source #
Spanned SrcSpan Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: SrcSpan -> SrcSpan Source # setSpan :: SrcSpan -> SrcSpan -> SrcSpan Source #
Spanned a => Spanned (NonEmpty a) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: NonEmpty a -> SrcSpan Source # setSpan :: SrcSpan -> NonEmpty a -> NonEmpty a Source #
Spanned (AllocOpt a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: AllocOpt a -> SrcSpan Source # setSpan :: SrcSpan -> AllocOpt a -> AllocOpt a Source #
Spanned (Argument a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Argument a -> SrcSpan Source # setSpan :: SrcSpan -> Argument a -> Argument a Source #
Spanned (ArgumentExpression a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ArgumentExpression a -> SrcSpan Source # setSpan :: SrcSpan -> ArgumentExpression a -> ArgumentExpression a Source #
Spanned (Attribute a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Attribute a -> SrcSpan Source # setSpan :: SrcSpan -> Attribute a -> Attribute a Source #
Spanned (Block a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Block a -> SrcSpan Source # setSpan :: SrcSpan -> Block a -> Block a Source #
Spanned (CommonGroup a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: CommonGroup a -> SrcSpan Source # setSpan :: SrcSpan -> CommonGroup a -> CommonGroup a Source #
Spanned (ControlPair a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ControlPair a -> SrcSpan Source # setSpan :: SrcSpan -> ControlPair a -> ControlPair a Source #
Spanned (DataGroup a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: DataGroup a -> SrcSpan Source # setSpan :: SrcSpan -> DataGroup a -> DataGroup a Source #
Spanned (Declarator a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Declarator a -> SrcSpan Source # setSpan :: SrcSpan -> Declarator a -> Declarator a Source #
Spanned (DimensionDeclarator a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: DimensionDeclarator a -> SrcSpan Source # setSpan :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a Source #
Spanned (DoSpecification a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: DoSpecification a -> SrcSpan Source # setSpan :: SrcSpan -> DoSpecification a -> DoSpecification a Source #
Spanned (Expression a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Expression a -> SrcSpan Source # setSpan :: SrcSpan -> Expression a -> Expression a Source #
Spanned (FlushSpec a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: FlushSpec a -> SrcSpan Source # setSpan :: SrcSpan -> FlushSpec a -> FlushSpec a Source #
Spanned (ForallHeader a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ForallHeader a -> SrcSpan Source # setSpan :: SrcSpan -> ForallHeader a -> ForallHeader a Source #
Spanned (ForallHeaderPart a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ForallHeaderPart a -> SrcSpan Source # setSpan :: SrcSpan -> ForallHeaderPart a -> ForallHeaderPart a Source #
Spanned (FormatItem a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: FormatItem a -> SrcSpan Source # setSpan :: SrcSpan -> FormatItem a -> FormatItem a Source #
Spanned (ImpElement a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ImpElement a -> SrcSpan Source # setSpan :: SrcSpan -> ImpElement a -> ImpElement a Source #
Spanned (ImpList a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ImpList a -> SrcSpan Source # setSpan :: SrcSpan -> ImpList a -> ImpList a Source #
Spanned (Index a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Index a -> SrcSpan Source # setSpan :: SrcSpan -> Index a -> Index a Source #
Spanned (Namelist a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Namelist a -> SrcSpan Source # setSpan :: SrcSpan -> Namelist a -> Namelist a Source #
Spanned (Prefix a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Prefix a -> SrcSpan Source # setSpan :: SrcSpan -> Prefix a -> Prefix a Source #
Spanned (ProcDecl a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ProcDecl a -> SrcSpan Source # setSpan :: SrcSpan -> ProcDecl a -> ProcDecl a Source #
Spanned (ProcInterface a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ProcInterface a -> SrcSpan Source # setSpan :: SrcSpan -> ProcInterface a -> ProcInterface a Source #
Spanned (ProgramFile a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ProgramFile a -> SrcSpan Source # setSpan :: SrcSpan -> ProgramFile a -> ProgramFile a Source #
Spanned (ProgramUnit a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: ProgramUnit a -> SrcSpan Source # setSpan :: SrcSpan -> ProgramUnit a -> ProgramUnit a Source #
Spanned (Selector a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Selector a -> SrcSpan Source # setSpan :: SrcSpan -> Selector a -> Selector a Source #
Spanned (Statement a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Statement a -> SrcSpan Source # setSpan :: SrcSpan -> Statement a -> Statement a Source #
Spanned (StructureItem a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: StructureItem a -> SrcSpan Source # setSpan :: SrcSpan -> StructureItem a -> StructureItem a Source #
Spanned (Suffix a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Suffix a -> SrcSpan Source # setSpan :: SrcSpan -> Suffix a -> Suffix a Source #
Spanned (TypeSpec a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: TypeSpec a -> SrcSpan Source # setSpan :: SrcSpan -> TypeSpec a -> TypeSpec a Source #
Spanned (UnionMap a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: UnionMap a -> SrcSpan Source # setSpan :: SrcSpan -> UnionMap a -> UnionMap a Source #
Spanned (Use a) Source #
Instance details Defined in Language.Fortran.AST Methods getSpan :: Use a -> SrcSpan Source # setSpan :: SrcSpan -> Use a -> Use a Source #
Spanned (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods getSpan :: KindParam a -> SrcSpan Source # setSpan :: SrcSpan -> KindParam a -> KindParam a Source #
Spanned (ComplexLit a) Source #
Instance details Defined in Language.Fortran.AST.Literal.Complex Methods getSpan :: ComplexLit a -> SrcSpan Source # setSpan :: SrcSpan -> ComplexLit a -> ComplexLit a Source #
Spanned (ComplexPart a) Source #
Instance details Defined in Language.Fortran.AST.Literal.Complex Methods getSpan :: ComplexPart a -> SrcSpan Source # setSpan :: SrcSpan -> ComplexPart a -> ComplexPart a Source #
Spanned (LValue a) Source #
Instance details Defined in Language.Fortran.LValue Methods getSpan :: LValue a -> SrcSpan Source # setSpan :: SrcSpan -> LValue a -> LValue a Source #
Spanned a => Spanned [a] Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: [a] -> SrcSpan Source # setSpan :: SrcSpan -> [a] -> [a] Source #
(Spanned a, Spanned b) => Spanned (Either a b) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: Either a b -> SrcSpan Source # setSpan :: SrcSpan -> Either a b -> Either a b Source #
Spanned (AList t a) Source #
Instance details Defined in Language.Fortran.AST.AList Methods getSpan :: AList t a -> SrcSpan Source # setSpan :: SrcSpan -> AList t a -> AList t a Source #
(Spanned a, Spanned b) => Spanned (Maybe a, b) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (Maybe a, b) -> SrcSpan Source # setSpan :: SrcSpan -> (Maybe a, b) -> (Maybe a, b) Source #
(Spanned a, Spanned b) => Spanned (a, Maybe b) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (a, Maybe b) -> SrcSpan Source # setSpan :: SrcSpan -> (a, Maybe b) -> (a, Maybe b) Source #
(Spanned a, Spanned b) => Spanned (a, b) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (a, b) -> SrcSpan Source # setSpan :: SrcSpan -> (a, b) -> (a, b) Source #
Spanned (ATuple t1 t2 a) Source #
Instance details Defined in Language.Fortran.AST.AList Methods getSpan :: ATuple t1 t2 a -> SrcSpan Source # setSpan :: SrcSpan -> ATuple t1 t2 a -> ATuple t1 t2 a Source #
(Spanned a, Spanned b, Spanned c) => Spanned (Maybe a, Maybe b, Maybe c) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (Maybe a, Maybe b, Maybe c) -> SrcSpan Source # setSpan :: SrcSpan -> (Maybe a, Maybe b, Maybe c) -> (Maybe a, Maybe b, Maybe c) Source #
(Spanned a, Spanned b, Spanned c) => Spanned (Maybe a, b, c) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (Maybe a, b, c) -> SrcSpan Source # setSpan :: SrcSpan -> (Maybe a, b, c) -> (Maybe a, b, c) Source #
(Spanned a, Spanned b, Spanned c) => Spanned (a, Maybe b, Maybe c) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (a, Maybe b, Maybe c) -> SrcSpan Source # setSpan :: SrcSpan -> (a, Maybe b, Maybe c) -> (a, Maybe b, Maybe c) Source #
(Spanned a, Spanned b, Spanned c) => Spanned (a, b, c) Source #
Instance details Defined in Language.Fortran.Util.Position Methods getSpan :: (a, b, c) -> SrcSpan Source # setSpan :: SrcSpan -> (a, b, c) -> (a, b, c) Source #

class (Spanned a, Spanned b) => SpannedPair a b where Source #

Methods

getTransSpan :: a -> b -> SrcSpan Source #

Instances

Instances details

(Spanned a, Spanned b) => SpannedPair a b Source #
Instance details Defined in Language.Fortran.Util.Position Methods getTransSpan :: a -> b -> SrcSpan Source #
(Spanned a, Spanned b) => SpannedPair a [[b]] Source #
Instance details Defined in Language.Fortran.Util.Position Methods getTransSpan :: a -> [[b]] -> SrcSpan Source #
(Spanned a, Spanned b) => SpannedPair a [b] Source #
Instance details Defined in Language.Fortran.Util.Position Methods getTransSpan :: a -> [b] -> SrcSpan Source #