Safe Haskell	Safe
Language	Haskell2010

Language.Fortran.Util.Position

Documentation

class Loc a where #

Minimal complete definition

getPos

Methods

getPos :: a -> Position #

Instances

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

data Position #

Constructors

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

Instances

Eq Position #
Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
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 #
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 #
Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
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-9D8cmgftFX91O7d9a9n5hB" 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 #

lineCol :: Position -> (Int, 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 #
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 #
Methods showsPrec :: Int -> SrcSpan -> ShowS # show :: SrcSpan -> String # showList :: [SrcSpan] -> ShowS #
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 #
Methods getSpan :: SrcSpan -> SrcSpan # setSpan :: SrcSpan -> SrcSpan -> SrcSpan #
FirstParameter Token SrcSpan #
Methods getFirstParameter :: Token -> SrcSpan # setFirstParameter :: SrcSpan -> Token -> Token #
FirstParameter Token SrcSpan #
Methods getFirstParameter :: Token -> SrcSpan # setFirstParameter :: SrcSpan -> Token -> Token #
SecondParameter (DimensionDeclarator a) SrcSpan #
Methods getSecondParameter :: DimensionDeclarator a -> SrcSpan # setSecondParameter :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a #
SecondParameter (Declarator a) SrcSpan #
Methods getSecondParameter :: Declarator a -> SrcSpan # setSecondParameter :: SrcSpan -> Declarator a -> Declarator a #
SecondParameter (Index a) SrcSpan #
Methods getSecondParameter :: Index a -> SrcSpan # setSecondParameter :: SrcSpan -> Index a -> Index a #
SecondParameter (Expression a) SrcSpan #
Methods getSecondParameter :: Expression a -> SrcSpan # setSecondParameter :: SrcSpan -> Expression a -> Expression a #
SecondParameter (DoSpecification a) SrcSpan #
Methods getSecondParameter :: DoSpecification a -> SrcSpan # setSecondParameter :: SrcSpan -> DoSpecification a -> DoSpecification a #
SecondParameter (FormatItem a) SrcSpan #
Methods getSecondParameter :: FormatItem a -> SrcSpan # setSecondParameter :: SrcSpan -> FormatItem a -> FormatItem a #
SecondParameter (DataGroup a) SrcSpan #
Methods getSecondParameter :: DataGroup a -> SrcSpan # setSecondParameter :: SrcSpan -> DataGroup a -> DataGroup a #
SecondParameter (Namelist a) SrcSpan #
Methods getSecondParameter :: Namelist a -> SrcSpan # setSecondParameter :: SrcSpan -> Namelist a -> Namelist a #
SecondParameter (CommonGroup a) SrcSpan #
Methods getSecondParameter :: CommonGroup a -> SrcSpan # setSecondParameter :: SrcSpan -> CommonGroup a -> CommonGroup a #
SecondParameter (ImpElement a) SrcSpan #
Methods getSecondParameter :: ImpElement a -> SrcSpan # setSecondParameter :: SrcSpan -> ImpElement a -> ImpElement a #
SecondParameter (ImpList a) SrcSpan #
Methods getSecondParameter :: ImpList a -> SrcSpan # setSecondParameter :: SrcSpan -> ImpList a -> ImpList a #
SecondParameter (ControlPair a) SrcSpan #
Methods getSecondParameter :: ControlPair a -> SrcSpan # setSecondParameter :: SrcSpan -> ControlPair a -> ControlPair a #
SecondParameter (Attribute a) SrcSpan #
Methods getSecondParameter :: Attribute a -> SrcSpan # setSecondParameter :: SrcSpan -> Attribute a -> Attribute a #
SecondParameter (Argument a) SrcSpan #
Methods getSecondParameter :: Argument a -> SrcSpan # setSecondParameter :: SrcSpan -> Argument a -> Argument a #
SecondParameter (Use a) SrcSpan #
Methods getSecondParameter :: Use a -> SrcSpan # setSecondParameter :: SrcSpan -> Use a -> Use a #
SecondParameter (Statement a) SrcSpan #
Methods getSecondParameter :: Statement a -> SrcSpan # setSecondParameter :: SrcSpan -> Statement a -> Statement a #
SecondParameter (Block a) SrcSpan #
Methods getSecondParameter :: Block a -> SrcSpan # setSecondParameter :: SrcSpan -> Block a -> Block a #
SecondParameter (ProgramUnit a) SrcSpan #
Methods getSecondParameter :: ProgramUnit a -> SrcSpan # setSecondParameter :: SrcSpan -> ProgramUnit a -> ProgramUnit a #
SecondParameter (Selector a) SrcSpan #
Methods getSecondParameter :: Selector a -> SrcSpan # setSecondParameter :: SrcSpan -> Selector a -> Selector a #
SecondParameter (TypeSpec a) SrcSpan #
Methods getSecondParameter :: TypeSpec a -> SrcSpan # setSecondParameter :: SrcSpan -> TypeSpec a -> TypeSpec a #
SecondParameter (AList t a) SrcSpan #
Methods getSecondParameter :: AList t a -> SrcSpan # setSecondParameter :: SrcSpan -> AList t a -> AList t a #
type Rep SrcSpan #
type Rep SrcSpan = D1 * (MetaData "SrcSpan" "Language.Fortran.Util.Position" "fortran-src-0.2.0.0-9D8cmgftFX91O7d9a9n5hB" 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 #

lineDistance :: SrcSpan -> Int #

initSrcSpan :: SrcSpan #

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