Safe Haskell	Safe
Language	Haskell2010

Language.Fortran.Util.Position

Documentation

class Loc a where Source #

Minimal complete definition

getPos

Methods

getPos :: a -> Position Source #

Instances

Loc AlexInput Source #
Methods getPos :: AlexInput -> Position Source #
Loc AlexInput Source #
Methods getPos :: AlexInput -> Position Source #

data Position Source #

Constructors

Position
Fields posAbsoluteOffset :: !Int posColumn :: !Int posLine :: !Int

Instances

Eq Position Source #
Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
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 #
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 #
Show Position Source #
Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
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.1.0.6-FCLsfvjOy9SGrH51XLsolu" 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)))))

initPosition :: Position Source #

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

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 #
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 #
Show SrcSpan Source #
Methods showsPrec :: Int -> SrcSpan -> ShowS # show :: SrcSpan -> String # showList :: [SrcSpan] -> ShowS #
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 #
Methods getSpan :: SrcSpan -> SrcSpan Source # setSpan :: SrcSpan -> SrcSpan -> SrcSpan Source #
FirstParameter Token SrcSpan Source #
Methods getFirstParameter :: Token -> SrcSpan Source # setFirstParameter :: SrcSpan -> Token -> Token Source #
FirstParameter Token SrcSpan Source #
Methods getFirstParameter :: Token -> SrcSpan Source # setFirstParameter :: SrcSpan -> Token -> Token Source #
SecondParameter (DimensionDeclarator a) SrcSpan Source #
Methods getSecondParameter :: DimensionDeclarator a -> SrcSpan Source # setSecondParameter :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a Source #
SecondParameter (Declarator a) SrcSpan Source #
Methods getSecondParameter :: Declarator a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Declarator a -> Declarator a Source #
SecondParameter (Index a) SrcSpan Source #
Methods getSecondParameter :: Index a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Index a -> Index a Source #
SecondParameter (Expression a) SrcSpan Source #
Methods getSecondParameter :: Expression a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Expression a -> Expression a Source #
SecondParameter (DoSpecification a) SrcSpan Source #
Methods getSecondParameter :: DoSpecification a -> SrcSpan Source # setSecondParameter :: SrcSpan -> DoSpecification a -> DoSpecification a Source #
SecondParameter (FormatItem a) SrcSpan Source #
Methods getSecondParameter :: FormatItem a -> SrcSpan Source # setSecondParameter :: SrcSpan -> FormatItem a -> FormatItem a Source #
SecondParameter (DataGroup a) SrcSpan Source #
Methods getSecondParameter :: DataGroup a -> SrcSpan Source # setSecondParameter :: SrcSpan -> DataGroup a -> DataGroup a Source #
SecondParameter (Namelist a) SrcSpan Source #
Methods getSecondParameter :: Namelist a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Namelist a -> Namelist a Source #
SecondParameter (CommonGroup a) SrcSpan Source #
Methods getSecondParameter :: CommonGroup a -> SrcSpan Source # setSecondParameter :: SrcSpan -> CommonGroup a -> CommonGroup a Source #
SecondParameter (ImpElement a) SrcSpan Source #
Methods getSecondParameter :: ImpElement a -> SrcSpan Source # setSecondParameter :: SrcSpan -> ImpElement a -> ImpElement a Source #
SecondParameter (ImpList a) SrcSpan Source #
Methods getSecondParameter :: ImpList a -> SrcSpan Source # setSecondParameter :: SrcSpan -> ImpList a -> ImpList a Source #
SecondParameter (ControlPair a) SrcSpan Source #
Methods getSecondParameter :: ControlPair a -> SrcSpan Source # setSecondParameter :: SrcSpan -> ControlPair a -> ControlPair a Source #
SecondParameter (Attribute a) SrcSpan Source #
Methods getSecondParameter :: Attribute a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Attribute a -> Attribute a Source #
SecondParameter (Argument a) SrcSpan Source #
Methods getSecondParameter :: Argument a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Argument a -> Argument a Source #
SecondParameter (Use a) SrcSpan Source #
Methods getSecondParameter :: Use a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Use a -> Use a Source #
SecondParameter (Statement a) SrcSpan Source #
Methods getSecondParameter :: Statement a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Statement a -> Statement a Source #
SecondParameter (Block a) SrcSpan Source #
Methods getSecondParameter :: Block a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Block a -> Block a Source #
SecondParameter (ProgramUnit a) SrcSpan Source #
Methods getSecondParameter :: ProgramUnit a -> SrcSpan Source # setSecondParameter :: SrcSpan -> ProgramUnit a -> ProgramUnit a Source #
SecondParameter (Selector a) SrcSpan Source #
Methods getSecondParameter :: Selector a -> SrcSpan Source # setSecondParameter :: SrcSpan -> Selector a -> Selector a Source #
SecondParameter (TypeSpec a) SrcSpan Source #
Methods getSecondParameter :: TypeSpec a -> SrcSpan Source # setSecondParameter :: SrcSpan -> TypeSpec a -> TypeSpec a Source #
SecondParameter (AList t a) SrcSpan Source #
Methods getSecondParameter :: AList t a -> SrcSpan Source # setSecondParameter :: SrcSpan -> AList t a -> AList t a Source #
type Rep SrcSpan Source #
type Rep SrcSpan = D1 (MetaData "SrcSpan" "Language.Fortran.Util.Position" "fortran-src-0.1.0.6-FCLsfvjOy9SGrH51XLsolu" False) (C1 (MetaCons "SrcSpan" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position))))

columnDistance :: SrcSpan -> Int Source #

lineDistance :: SrcSpan -> Int Source #

initSrcSpan :: SrcSpan Source #

class Spanned a where Source #

Methods

getSpan :: a -> SrcSpan Source #

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

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

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

Instances

Spanned SrcSpan Source #
Methods getSpan :: SrcSpan -> SrcSpan Source # setSpan :: SrcSpan -> SrcSpan -> SrcSpan Source #
FirstParameter Token SrcSpan => Spanned Token Source #
Methods getSpan :: Token -> SrcSpan Source # setSpan :: SrcSpan -> Token -> Token Source #
Spanned Lexeme Source #
Methods getSpan :: Lexeme -> SrcSpan Source # setSpan :: SrcSpan -> Lexeme -> Lexeme Source #
Spanned Lexeme Source #
Methods getSpan :: Lexeme -> SrcSpan Source # setSpan :: SrcSpan -> Lexeme -> Lexeme Source #
FirstParameter Token SrcSpan => Spanned Token Source #
Methods getSpan :: Token -> SrcSpan Source # setSpan :: SrcSpan -> Token -> Token Source #
Spanned (DimensionDeclarator a) Source #
Methods getSpan :: DimensionDeclarator a -> SrcSpan Source # setSpan :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a Source #
Spanned (Declarator a) Source #
Methods getSpan :: Declarator a -> SrcSpan Source # setSpan :: SrcSpan -> Declarator a -> Declarator a Source #
Spanned (Index a) Source #
Methods getSpan :: Index a -> SrcSpan Source # setSpan :: SrcSpan -> Index a -> Index a Source #
Spanned (Expression a) Source #
Methods getSpan :: Expression a -> SrcSpan Source # setSpan :: SrcSpan -> Expression a -> Expression a Source #
Spanned (DoSpecification a) Source #
Methods getSpan :: DoSpecification a -> SrcSpan Source # setSpan :: SrcSpan -> DoSpecification a -> DoSpecification a Source #
Spanned (FormatItem a) Source #
Methods getSpan :: FormatItem a -> SrcSpan Source # setSpan :: SrcSpan -> FormatItem a -> FormatItem a Source #
Spanned (DataGroup a) Source #
Methods getSpan :: DataGroup a -> SrcSpan Source # setSpan :: SrcSpan -> DataGroup a -> DataGroup a Source #
Spanned (Namelist a) Source #
Methods getSpan :: Namelist a -> SrcSpan Source # setSpan :: SrcSpan -> Namelist a -> Namelist a Source #
Spanned (CommonGroup a) Source #
Methods getSpan :: CommonGroup a -> SrcSpan Source # setSpan :: SrcSpan -> CommonGroup a -> CommonGroup a Source #
Spanned (ImpElement a) Source #
Methods getSpan :: ImpElement a -> SrcSpan Source # setSpan :: SrcSpan -> ImpElement a -> ImpElement a Source #
Spanned (ImpList a) Source #
Methods getSpan :: ImpList a -> SrcSpan Source # setSpan :: SrcSpan -> ImpList a -> ImpList a Source #
Spanned (ControlPair a) Source #
Methods getSpan :: ControlPair a -> SrcSpan Source # setSpan :: SrcSpan -> ControlPair a -> ControlPair a Source #
Spanned (Attribute a) Source #
Methods getSpan :: Attribute a -> SrcSpan Source # setSpan :: SrcSpan -> Attribute a -> Attribute a Source #
Spanned (Argument a) Source #
Methods getSpan :: Argument a -> SrcSpan Source # setSpan :: SrcSpan -> Argument a -> Argument a Source #
Spanned (Use a) Source #
Methods getSpan :: Use a -> SrcSpan Source # setSpan :: SrcSpan -> Use a -> Use a Source #
Spanned (Statement a) Source #
Methods getSpan :: Statement a -> SrcSpan Source # setSpan :: SrcSpan -> Statement a -> Statement a Source #
Spanned (Block a) Source #
Methods getSpan :: Block a -> SrcSpan Source # setSpan :: SrcSpan -> Block a -> Block a Source #
Spanned (ProgramUnit a) Source #
Methods getSpan :: ProgramUnit a -> SrcSpan Source # setSpan :: SrcSpan -> ProgramUnit a -> ProgramUnit a Source #
Spanned (Selector a) Source #
Methods getSpan :: Selector a -> SrcSpan Source # setSpan :: SrcSpan -> Selector a -> Selector a Source #
Spanned (TypeSpec a) Source #
Methods getSpan :: TypeSpec a -> SrcSpan Source # setSpan :: SrcSpan -> TypeSpec a -> TypeSpec a Source #
Spanned (AList t a) Source #
Methods getSpan :: AList t a -> SrcSpan Source # setSpan :: SrcSpan -> AList t a -> AList t a Source #