Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Fortran.AST
Contents
Documentation
Instances
Functor t => Functor (AList t) # | |
Annotated (AList t) # | |
Methods getAnnotation :: AList t a -> a # setAnnotation :: a -> AList t a -> AList t a # modifyAnnotation :: (a -> a) -> AList t a -> AList t a # | |
(Eq (t a), Eq a) => Eq (AList t a) # | |
(Data (t a), Data a, Typeable (* -> *) t) => Data (AList t a) # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AList t a -> c (AList t a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AList t a) # toConstr :: AList t a -> Constr # dataTypeOf :: AList t a -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (AList t a)) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (AList t a)) # gmapT :: (forall b. Data b => b -> b) -> AList t a -> AList t a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AList t a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AList t a -> r # gmapQ :: (forall d. Data d => d -> u) -> AList t a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AList t a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AList t a -> m (AList t a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AList t a -> m (AList t a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AList t a -> m (AList t a) # | |
(Show (t a), Show a) => Show (AList t a) # | |
Generic (AList t a) # | |
(Out a, Out (t a)) => Out (AList t a) # | |
Spanned (AList t a) # | |
Pretty (e a) => Pretty (AList e a) # | |
Methods pprint' :: FortranVersion -> AList e a -> Doc # | |
SecondParameter (AList t a) SrcSpan # | |
Methods getSecondParameter :: AList t a -> SrcSpan # setSecondParameter :: SrcSpan -> AList t a -> AList t a # | |
FirstParameter (AList t a) a # | |
type Rep (AList t a) # | |
type Rep (AList t a) = D1 (MetaData "AList" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) (C1 (MetaCons "AList" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SrcSpan)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [t a]))))) |
fromReverseList :: Spanned (t ()) => [t ()] -> AList t () #
Constructors
TypeInteger | |
TypeReal | |
TypeDoublePrecision | |
TypeComplex | |
TypeDoubleComplex | |
TypeLogical | |
TypeCharacter | |
TypeCustom String |
Instances
Eq BaseType # | |
Data BaseType # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BaseType -> c BaseType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BaseType # toConstr :: BaseType -> Constr # dataTypeOf :: BaseType -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BaseType) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BaseType) # gmapT :: (forall b. Data b => b -> b) -> BaseType -> BaseType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BaseType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BaseType -> r # gmapQ :: (forall d. Data d => d -> u) -> BaseType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BaseType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType # | |
Ord BaseType # | |
Show BaseType # | |
Generic BaseType # | |
Out BaseType # | |
Binary BaseType # | |
Pretty BaseType # | |
Methods pprint' :: FortranVersion -> BaseType -> Doc # | |
type Rep BaseType # | |
type Rep BaseType = D1 (MetaData "BaseType" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "TypeInteger" PrefixI False) U1) (C1 (MetaCons "TypeReal" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TypeDoublePrecision" PrefixI False) U1) (C1 (MetaCons "TypeComplex" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "TypeDoubleComplex" PrefixI False) U1) (C1 (MetaCons "TypeLogical" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TypeCharacter" PrefixI False) U1) (C1 (MetaCons "TypeCustom" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))) |
Instances
Constructors
Selector a SrcSpan (Maybe (Expression a)) (Maybe (Expression a)) |
Instances
Constructors
MetaInfo | |
Fields |
Instances
Eq MetaInfo # | |
Data MetaInfo # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetaInfo -> c MetaInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetaInfo # toConstr :: MetaInfo -> Constr # dataTypeOf :: MetaInfo -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MetaInfo) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetaInfo) # gmapT :: (forall b. Data b => b -> b) -> MetaInfo -> MetaInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetaInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetaInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> MetaInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetaInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetaInfo -> m MetaInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaInfo -> m MetaInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaInfo -> m MetaInfo # | |
Show MetaInfo # | |
Generic MetaInfo # | |
Out MetaInfo # | |
type Rep MetaInfo # | |
type Rep MetaInfo = D1 (MetaData "MetaInfo" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) (C1 (MetaCons "MetaInfo" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "miVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FortranVersion)) (S1 (MetaSel (Just Symbol "miFilename") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) |
data ProgramFile a #
Constructors
ProgramFile MetaInfo [ProgramUnit a] |
Instances
Functor ProgramFile # | |
Methods fmap :: (a -> b) -> ProgramFile a -> ProgramFile b # (<$) :: a -> ProgramFile b -> ProgramFile a # | |
Eq a => Eq (ProgramFile a) # | |
Methods (==) :: ProgramFile a -> ProgramFile a -> Bool # (/=) :: ProgramFile a -> ProgramFile a -> Bool # | |
Data a => Data (ProgramFile a) # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProgramFile a -> c (ProgramFile a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ProgramFile a) # toConstr :: ProgramFile a -> Constr # dataTypeOf :: ProgramFile a -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ProgramFile a)) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ProgramFile a)) # gmapT :: (forall b. Data b => b -> b) -> ProgramFile a -> ProgramFile a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProgramFile a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProgramFile a -> r # gmapQ :: (forall d. Data d => d -> u) -> ProgramFile a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProgramFile a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProgramFile a -> m (ProgramFile a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProgramFile a -> m (ProgramFile a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProgramFile a -> m (ProgramFile a) # | |
Show a => Show (ProgramFile a) # | |
Methods showsPrec :: Int -> ProgramFile a -> ShowS # show :: ProgramFile a -> String # showList :: [ProgramFile a] -> ShowS # | |
Generic (ProgramFile a) # | |
Associated Types type Rep (ProgramFile a) :: * -> * # Methods from :: ProgramFile a -> Rep (ProgramFile a) x # to :: Rep (ProgramFile a) x -> ProgramFile a # | |
Out a => Out (ProgramFile a) # | |
Methods docPrec :: Int -> ProgramFile a -> Doc # doc :: ProgramFile a -> Doc # docList :: [ProgramFile a] -> Doc # | |
IndentablePretty (ProgramFile a) # | |
Methods pprint :: FortranVersion -> ProgramFile a -> Indentation -> Doc # | |
type Rep (ProgramFile a) # | |
type Rep (ProgramFile a) = D1 (MetaData "ProgramFile" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) (C1 (MetaCons "ProgramFile" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MetaInfo)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ProgramUnit a])))) |
pfSetFilename :: String -> ProgramFile a -> ProgramFile a #
pfGetFilename :: ProgramFile t -> String #
data ProgramUnit a #
Constructors
PUMain a SrcSpan (Maybe Name) [Block a] (Maybe [ProgramUnit a]) | |
PUModule a SrcSpan Name [Block a] (Maybe [ProgramUnit a]) | |
PUSubroutine a SrcSpan Bool Name (Maybe (AList Expression a)) [Block a] (Maybe [ProgramUnit a]) | |
PUFunction a SrcSpan (Maybe (TypeSpec a)) Bool Name (Maybe (AList Expression a)) (Maybe (Expression a)) [Block a] (Maybe [ProgramUnit a]) | |
PUBlockData a SrcSpan (Maybe Name) [Block a] | |
PUComment a SrcSpan (Comment a) |
Instances
programUnitBody :: ProgramUnit a -> [Block a] #
updateProgramUnitBody :: ProgramUnit a -> [Block a] -> ProgramUnit a #
programUnitSubprograms :: ProgramUnit a -> Maybe [ProgramUnit a] #
Instances
Functor Comment # | |
Eq (Comment a) # | |
Data a => Data (Comment a) # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Comment a -> c (Comment a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Comment a) # toConstr :: Comment a -> Constr # dataTypeOf :: Comment a -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Comment a)) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Comment a)) # gmapT :: (forall b. Data b => b -> b) -> Comment a -> Comment a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Comment a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Comment a -> r # gmapQ :: (forall d. Data d => d -> u) -> Comment a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Comment a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Comment a -> m (Comment a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment a -> m (Comment a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment a -> m (Comment a) # | |
Show (Comment a) # | |
Generic (Comment a) # | |
Out a => Out (Comment a) # | |
type Rep (Comment a) # | |
Constructors
BlStatement a SrcSpan (Maybe (Expression a)) (Statement a) | |
BlIf a SrcSpan (Maybe (Expression a)) (Maybe String) [Maybe (Expression a)] [[Block a]] (Maybe (Expression a)) | |
BlCase a SrcSpan (Maybe (Expression a)) (Maybe String) (Expression a) [Maybe (AList Index a)] [[Block a]] (Maybe (Expression a)) | |
BlDo a SrcSpan (Maybe (Expression a)) (Maybe String) (Maybe (Expression a)) (Maybe (DoSpecification a)) [Block a] (Maybe (Expression a)) | |
BlDoWhile a SrcSpan (Maybe (Expression a)) (Maybe String) (Expression a) [Block a] (Maybe (Expression a)) | |
BlInterface a SrcSpan (Maybe (Expression a)) [ProgramUnit a] [Block a] | |
BlComment a SrcSpan (Comment a) |
Instances
Constructors
Instances
data ForallHeader a #
Constructors
ForallHeader [(Name, Expression a, Expression a, Maybe (Expression a))] (Maybe (Expression a)) |
Instances
Functor ForallHeader # | |
Methods fmap :: (a -> b) -> ForallHeader a -> ForallHeader b # (<$) :: a -> ForallHeader b -> ForallHeader a # | |
Eq a => Eq (ForallHeader a) # | |
Methods (==) :: ForallHeader a -> ForallHeader a -> Bool # (/=) :: ForallHeader a -> ForallHeader a -> Bool # | |
Data a => Data (ForallHeader a) # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForallHeader a -> c (ForallHeader a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForallHeader a) # toConstr :: ForallHeader a -> Constr # dataTypeOf :: ForallHeader a -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ForallHeader a)) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForallHeader a)) # gmapT :: (forall b. Data b => b -> b) -> ForallHeader a -> ForallHeader a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForallHeader a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForallHeader a -> r # gmapQ :: (forall d. Data d => d -> u) -> ForallHeader a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForallHeader a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForallHeader a -> m (ForallHeader a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForallHeader a -> m (ForallHeader a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForallHeader a -> m (ForallHeader a) # | |
Show a => Show (ForallHeader a) # | |
Methods showsPrec :: Int -> ForallHeader a -> ShowS # show :: ForallHeader a -> String # showList :: [ForallHeader a] -> ShowS # | |
Generic (ForallHeader a) # | |
Associated Types type Rep (ForallHeader a) :: * -> * # Methods from :: ForallHeader a -> Rep (ForallHeader a) x # to :: Rep (ForallHeader a) x -> ForallHeader a # | |
Out a => Out (ForallHeader a) # | |
Methods docPrec :: Int -> ForallHeader a -> Doc # doc :: ForallHeader a -> Doc # docList :: [ForallHeader a] -> Doc # | |
type Rep (ForallHeader a) # | |
type Rep (ForallHeader a) = D1 (MetaData "ForallHeader" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) (C1 (MetaCons "ForallHeader" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Name, Expression a, Expression a, Maybe (Expression a))])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Expression a)))))) |
Constructors
Exclusive | |
Permissive |
Instances
Eq Only # | |
Data Only # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Only -> c Only # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Only # dataTypeOf :: Only -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Only) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Only) # gmapT :: (forall b. Data b => b -> b) -> Only -> Only # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Only -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Only -> r # gmapQ :: (forall d. Data d => d -> u) -> Only -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Only -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Only -> m Only # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Only -> m Only # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Only -> m Only # | |
Show Only # | |
Generic Only # | |
Out Only # | |
Pretty Only # | |
Methods pprint' :: FortranVersion -> Only -> Doc # | |
type Rep Only # | |
Constructors
UseRename a SrcSpan (Expression a) (Expression a) | |
UseID a SrcSpan (Expression a) |
Instances
Functor Use # | |
Annotated Use # | |
Methods getAnnotation :: Use a -> a # setAnnotation :: a -> Use a -> Use a # modifyAnnotation :: (a -> a) -> Use a -> Use a # | |
Eq a => Eq (Use a) # | |
Data a => Data (Use a) # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Use a -> c (Use a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Use a) # dataTypeOf :: Use a -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Use a)) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Use a)) # gmapT :: (forall b. Data b => b -> b) -> Use a -> Use a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Use a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Use a -> r # gmapQ :: (forall d. Data d => d -> u) -> Use a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Use a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Use a -> m (Use a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Use a -> m (Use a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Use a -> m (Use a) # | |
Show a => Show (Use a) # | |
Generic (Use a) # | |
Out a => Out (Use a) # | |
Spanned (Use a) # | |
Pretty (Use a) # | |
Methods pprint' :: FortranVersion -> Use a -> Doc # | |
SecondParameter (Use a) SrcSpan # | |
FirstParameter (Use a) a # | |
type Rep (Use a) # | |
type Rep (Use a) = D1 (MetaData "Use" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) ((:+:) (C1 (MetaCons "UseRename" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SrcSpan))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expression a))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expression a)))))) (C1 (MetaCons "UseID" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SrcSpan)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expression a))))))) |
Constructors
Argument a SrcSpan (Maybe String) (Expression a) |
Instances
Constructors
Instances
Instances
Eq Intent # | |
Data Intent # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Intent -> c Intent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Intent # toConstr :: Intent -> Constr # dataTypeOf :: Intent -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Intent) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Intent) # gmapT :: (forall b. Data b => b -> b) -> Intent -> Intent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Intent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Intent -> r # gmapQ :: (forall d. Data d => d -> u) -> Intent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Intent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Intent -> m Intent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Intent -> m Intent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Intent -> m Intent # | |
Show Intent # | |
Generic Intent # | |
Out Intent # | |
Pretty Intent # | |
Methods pprint' :: FortranVersion -> Intent -> Doc # | |
type Rep Intent # | |
data ControlPair a #
Constructors
ControlPair a SrcSpan (Maybe String) (Expression a) |
Instances
Constructors
ImpList a SrcSpan (TypeSpec a) (AList ImpElement a) |
Instances
Functor ImpList # | |
Annotated ImpList # | |
Methods getAnnotation :: ImpList a -> a # setAnnotation :: a -> ImpList a -> ImpList a # modifyAnnotation :: (a -> a) -> ImpList a -> ImpList a # | |
Eq a => Eq (ImpList a) # | |
Data a => Data (ImpList a) # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImpList a -> c (ImpList a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ImpList a) # toConstr :: ImpList a -> Constr # dataTypeOf :: ImpList a -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ImpList a)) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ImpList a)) # gmapT :: (forall b. Data b => b -> b) -> ImpList a -> ImpList a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImpList a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImpList a -> r # gmapQ :: (forall d. Data d => d -> u) -> ImpList a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ImpList a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImpList a -> m (ImpList a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImpList a -> m (ImpList a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImpList a -> m (ImpList a) # | |
Show a => Show (ImpList a) # | |
Generic (ImpList a) # | |
Out a => Out (ImpList a) # | |
Spanned (ImpList a) # | |
Pretty (ImpList a) # | |
Methods pprint' :: FortranVersion -> ImpList a -> Doc # | |
SecondParameter (ImpList a) SrcSpan # | |
Methods getSecondParameter :: ImpList a -> SrcSpan # setSecondParameter :: SrcSpan -> ImpList a -> ImpList a # | |
FirstParameter (ImpList a) a # | |
type Rep (ImpList a) # | |
type Rep (ImpList a) = D1 (MetaData "ImpList" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) (C1 (MetaCons "ImpList" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SrcSpan))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TypeSpec a))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AList ImpElement a)))))) |
data ImpElement a #
Instances
data CommonGroup a #
Constructors
CommonGroup a SrcSpan (Maybe (Expression a)) (AList Expression a) |
Instances
Constructors
Namelist a SrcSpan (Expression a) (AList Expression a) |
Instances
Constructors
DataGroup a SrcSpan (AList Expression a) (AList Expression a) |
Instances
data FormatItem a #
Constructors
Instances
data DoSpecification a #
Constructors
DoSpecification a SrcSpan (Statement a) (Expression a) (Maybe (Expression a)) |
Instances
data Expression a #
Constructors
ExpValue a SrcSpan (Value a) | |
ExpBinary a SrcSpan BinaryOp (Expression a) (Expression a) | |
ExpUnary a SrcSpan UnaryOp (Expression a) | |
ExpSubscript a SrcSpan (Expression a) (AList Index a) | |
ExpDataRef a SrcSpan (Expression a) (Expression a) | |
ExpFunctionCall a SrcSpan (Expression a) (Maybe (AList Argument a)) | |
ExpImpliedDo a SrcSpan (AList Expression a) (DoSpecification a) | |
ExpInitialisation a SrcSpan (AList Expression a) | |
ExpReturnSpec a SrcSpan (Expression a) |
Instances
Constructors
IxSingle a SrcSpan (Maybe String) (Expression a) | |
IxRange a SrcSpan (Maybe (Expression a)) (Maybe (Expression a)) (Maybe (Expression a)) |
Instances
Constructors
Instances
data Declarator a #
Constructors
DeclVariable a SrcSpan (Expression a) (Maybe (Expression a)) (Maybe (Expression a)) | |
DeclArray a SrcSpan (Expression a) (AList DimensionDeclarator a) (Maybe (Expression a)) (Maybe (Expression a)) |
Instances
setInitialisation :: Declarator a -> Expression a -> Declarator a #
data DimensionDeclarator a #
Constructors
DimensionDeclarator a SrcSpan (Maybe (Expression a)) (Maybe (Expression a)) |
Instances
Instances
Eq UnaryOp # | |
Data UnaryOp # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnaryOp -> c UnaryOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnaryOp # toConstr :: UnaryOp -> Constr # dataTypeOf :: UnaryOp -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UnaryOp) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnaryOp) # gmapT :: (forall b. Data b => b -> b) -> UnaryOp -> UnaryOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnaryOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnaryOp -> r # gmapQ :: (forall d. Data d => d -> u) -> UnaryOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnaryOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnaryOp -> m UnaryOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryOp -> m UnaryOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryOp -> m UnaryOp # | |
Show UnaryOp # | |
Generic UnaryOp # | |
Out UnaryOp # | |
Pretty UnaryOp # | |
Methods pprint' :: FortranVersion -> UnaryOp -> Doc # | |
type Rep UnaryOp # | |
type Rep UnaryOp = D1 (MetaData "UnaryOp" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) ((:+:) ((:+:) (C1 (MetaCons "Plus" PrefixI False) U1) (C1 (MetaCons "Minus" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Not" PrefixI False) U1) (C1 (MetaCons "UnCustom" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) |
Constructors
Addition | |
Subtraction | |
Multiplication | |
Division | |
Exponentiation | |
Concatenation | |
GT | |
GTE | |
LT | |
LTE | |
EQ | |
NE | |
Or | |
And | |
Equivalent | |
NotEquivalent | |
BinCustom String |
Instances
Eq BinaryOp # | |
Data BinaryOp # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinaryOp -> c BinaryOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinaryOp # toConstr :: BinaryOp -> Constr # dataTypeOf :: BinaryOp -> DataType # dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BinaryOp) # dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinaryOp) # gmapT :: (forall b. Data b => b -> b) -> BinaryOp -> BinaryOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinaryOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinaryOp -> r # gmapQ :: (forall d. Data d => d -> u) -> BinaryOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BinaryOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinaryOp -> m BinaryOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinaryOp -> m BinaryOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinaryOp -> m BinaryOp # | |
Show BinaryOp # | |
Generic BinaryOp # | |
Out BinaryOp # | |
Pretty BinaryOp # | |
Methods pprint' :: FortranVersion -> BinaryOp -> Doc # | |
type Rep BinaryOp # | |
type Rep BinaryOp = D1 (MetaData "BinaryOp" "Language.Fortran.AST" "fortran-src-0.2.0.0-Aw9JE6PQwfQCm3ePJIOtPp" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Addition" PrefixI False) U1) (C1 (MetaCons "Subtraction" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Multiplication" PrefixI False) U1) (C1 (MetaCons "Division" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Exponentiation" PrefixI False) U1) (C1 (MetaCons "Concatenation" PrefixI False) U1)) ((:+:) (C1 (MetaCons "GT" PrefixI False) U1) (C1 (MetaCons "GTE" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LT" PrefixI False) U1) (C1 (MetaCons "LTE" PrefixI False) U1)) ((:+:) (C1 (MetaCons "EQ" PrefixI False) U1) (C1 (MetaCons "NE" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Or" PrefixI False) U1) (C1 (MetaCons "And" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Equivalent" PrefixI False) U1) ((:+:) (C1 (MetaCons "NotEquivalent" PrefixI False) U1) (C1 (MetaCons "BinCustom" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))))) |
Methods
getAnnotation :: f a -> a #
setAnnotation :: a -> f a -> f a #
modifyAnnotation :: (a -> a) -> f a -> f a #
getAnnotation :: FirstParameter (f a) a => f a -> a #
setAnnotation :: FirstParameter (f a) a => a -> f a -> f a #
Instances
class (Spanned a, Spanned b) => SpannedPair a b where #
Minimal complete definition
Methods
getTransSpan :: a -> b -> SrcSpan #
Instances
(Spanned a, Spanned b) => SpannedPair a b # | |
Methods getTransSpan :: a -> b -> SrcSpan # | |
(Spanned a, Spanned b) => SpannedPair a [[b]] # | |
Methods getTransSpan :: a -> [[b]] -> SrcSpan # | |
(Spanned a, Spanned b) => SpannedPair a [b] # | |
Methods getTransSpan :: a -> [b] -> SrcSpan # |
Minimal complete definition
Methods
getLabel :: f a -> Maybe (Expression a) #
getLastLabel :: f a -> Maybe (Expression a) #
setLabel :: f a -> Expression a -> f a #
Instances
Labeled Block # | |
Methods getLabel :: Block a -> Maybe (Expression a) # getLastLabel :: Block a -> Maybe (Expression a) # setLabel :: Block a -> Expression a -> Block a # |
class Conditioned f where #
Minimal complete definition
Methods
getCondition :: f a -> Maybe (Expression a) #
Instances
Conditioned Statement # | |
Methods getCondition :: Statement a -> Maybe (Expression a) # | |
Conditioned Block # | |
Methods getCondition :: Block a -> Maybe (Expression a) # |
data ProgramUnitName #
Constructors
Named String | |
NamelessBlockData | |
NamelessComment | |
NamelessMain |
Instances
Instances
Named (ProgramUnit a) # | |
Methods getName :: ProgramUnit a -> ProgramUnitName # setName :: ProgramUnitName -> ProgramUnit a -> ProgramUnit a # |
nonExecutableStatement :: FortranVersion -> Statement a -> Bool #
executableStatement :: FortranVersion -> Statement a -> Bool #
executableStatementBlock :: FortranVersion -> Block a -> Bool #
nonExecutableStatementBlock :: FortranVersion -> Block a -> Bool #
Orphan instances
Out FortranVersion # | |
Methods docPrec :: Int -> FortranVersion -> Doc # doc :: FortranVersion -> Doc # docList :: [FortranVersion] -> Doc # | |
Spanned a => Spanned [a] # | |
(Spanned a, Spanned b) => Spanned (Maybe a, b) # | |
(Spanned a, Spanned b) => Spanned (a, b) # | |
(Spanned a, Spanned b) => Spanned (a, Maybe b) # | |
(Spanned a, Spanned b, Spanned c) => Spanned (Maybe a, b, c) # | |
(Spanned a, Spanned b, Spanned c) => Spanned (Maybe a, Maybe b, Maybe c) # | |
(Spanned a, Spanned b, Spanned c) => Spanned (a, b, c) # | |
(Spanned a, Spanned b, Spanned c) => Spanned (a, Maybe b, Maybe c) # | |