Language.Fortran.AST

Documentation

type A0 = ()

type Name = String

data AList t a

Constructors

AList a SrcSpan [t a]

Instances

Functor t => Functor (AList t)

Methods

fmap :: (a -> b) -> AList t a -> AList t b

(<$) :: a -> AList t b -> AList t a

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)

Methods

(==) :: AList t a -> AList t a -> Bool

(/=) :: AList t a -> AList t a -> Bool

(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)

Methods

showsPrec :: Int -> AList t a -> ShowS

show :: AList t a -> String

showList :: [AList t a] -> ShowS

Generic (AList t a)

Associated Types

type Rep (AList t a) :: * -> *

Methods

from :: AList t a -> Rep (AList t a) x

to :: Rep (AList t a) x -> AList t a

(Out a, Out (t a)) => Out (AList t a)

Methods

docPrec :: Int -> AList t a -> Doc

doc :: AList t a -> Doc

docList :: [AList t a] -> Doc

Spanned (AList t a)

Methods

getSpan :: AList t a -> SrcSpan

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

Pretty (e a) => Pretty (AList e a)

Methods

pprint' :: FortranVersion -> AList e a -> Doc

FirstParameter (AList t a) a

Methods

getFirstParameter :: AList t a -> a

setFirstParameter :: a -> AList t a -> AList t a

SecondParameter (AList t a) SrcSpan

Methods

getSecondParameter :: AList t a -> SrcSpan

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

type Rep (AList t a)

type Rep (AList t a) = D1 * (MetaData "AList" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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])))))

fromList :: Spanned (t a) => a -> [t a] -> AList t a

fromReverseList :: Spanned (t ()) => [t ()] -> AList t ()

aCons :: t a -> AList t a -> AList t a infixr 5

aReverse :: AList t a -> AList t a

aStrip :: AList t a -> [t a]

aMap :: (t a -> r a) -> AList t a -> AList r a

data BaseType

Constructors

TypeInteger

TypeReal

TypeDoublePrecision

TypeComplex

TypeDoubleComplex

TypeLogical

TypeCharacter

TypeCustom String

TypeByte

Instances

Eq BaseType

Methods

(==) :: BaseType -> BaseType -> Bool

(/=) :: BaseType -> BaseType -> Bool

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

Methods

compare :: BaseType -> BaseType -> Ordering

(<) :: BaseType -> BaseType -> Bool

(<=) :: BaseType -> BaseType -> Bool

(>) :: BaseType -> BaseType -> Bool

(>=) :: BaseType -> BaseType -> Bool

max :: BaseType -> BaseType -> BaseType

min :: BaseType -> BaseType -> BaseType

Show BaseType

Methods

showsPrec :: Int -> BaseType -> ShowS

show :: BaseType -> String

showList :: [BaseType] -> ShowS

Generic BaseType

Associated Types

type Rep BaseType :: * -> *

Methods

from :: BaseType -> Rep BaseType x

to :: Rep BaseType x -> BaseType

Out BaseType

Methods

docPrec :: Int -> BaseType -> Doc

doc :: BaseType -> Doc

docList :: [BaseType] -> Doc

Binary BaseType

Methods

put :: BaseType -> Put

get :: Get BaseType

putList :: [BaseType] -> Put

Pretty BaseType

Methods

pprint' :: FortranVersion -> BaseType -> Doc

type Rep BaseType

type Rep BaseType = D1 * (MetaData "BaseType" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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))) (C1 * (MetaCons "TypeByte" PrefixI False) (U1 *))))))

data TypeSpec a

Constructors

TypeSpec a SrcSpan BaseType (Maybe (Selector a))

Instances

Functor TypeSpec

Methods

fmap :: (a -> b) -> TypeSpec a -> TypeSpec b

(<$) :: a -> TypeSpec b -> TypeSpec a

Annotated TypeSpec

Methods

getAnnotation :: TypeSpec a -> a

setAnnotation :: a -> TypeSpec a -> TypeSpec a

modifyAnnotation :: (a -> a) -> TypeSpec a -> TypeSpec a

Eq a => Eq (TypeSpec a)

Methods

(==) :: TypeSpec a -> TypeSpec a -> Bool

(/=) :: TypeSpec a -> TypeSpec a -> Bool

Data a => Data (TypeSpec a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeSpec a -> c (TypeSpec a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TypeSpec a)

toConstr :: TypeSpec a -> Constr

dataTypeOf :: TypeSpec a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (TypeSpec a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TypeSpec a))

gmapT :: (forall b. Data b => b -> b) -> TypeSpec a -> TypeSpec a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSpec a -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeSpec a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeSpec a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeSpec a -> m (TypeSpec a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSpec a -> m (TypeSpec a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSpec a -> m (TypeSpec a)

Show a => Show (TypeSpec a)

Methods

showsPrec :: Int -> TypeSpec a -> ShowS

show :: TypeSpec a -> String

showList :: [TypeSpec a] -> ShowS

Generic (TypeSpec a)

Associated Types

type Rep (TypeSpec a) :: * -> *

Methods

from :: TypeSpec a -> Rep (TypeSpec a) x

to :: Rep (TypeSpec a) x -> TypeSpec a

Out a => Out (TypeSpec a)

Methods

docPrec :: Int -> TypeSpec a -> Doc

doc :: TypeSpec a -> Doc

docList :: [TypeSpec a] -> Doc

Spanned (TypeSpec a)

Methods

getSpan :: TypeSpec a -> SrcSpan

setSpan :: SrcSpan -> TypeSpec a -> TypeSpec a

Pretty (TypeSpec a)

Methods

pprint' :: FortranVersion -> TypeSpec a -> Doc

FirstParameter (TypeSpec a) a

Methods

getFirstParameter :: TypeSpec a -> a

setFirstParameter :: a -> TypeSpec a -> TypeSpec a

SecondParameter (TypeSpec a) SrcSpan

Methods

getSecondParameter :: TypeSpec a -> SrcSpan

setSecondParameter :: SrcSpan -> TypeSpec a -> TypeSpec a

type Rep (TypeSpec a)

type Rep (TypeSpec a) = D1 * (MetaData "TypeSpec" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "TypeSpec" 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 * BaseType)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Selector a)))))))

data Selector a

Constructors

Selector a SrcSpan (Maybe (Expression a)) (Maybe (Expression a))

Instances

Functor Selector

Methods

fmap :: (a -> b) -> Selector a -> Selector b

(<$) :: a -> Selector b -> Selector a

Annotated Selector

Methods

getAnnotation :: Selector a -> a

setAnnotation :: a -> Selector a -> Selector a

modifyAnnotation :: (a -> a) -> Selector a -> Selector a

Eq a => Eq (Selector a)

Methods

(==) :: Selector a -> Selector a -> Bool

(/=) :: Selector a -> Selector a -> Bool

Data a => Data (Selector a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Selector a -> c (Selector a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Selector a)

toConstr :: Selector a -> Constr

dataTypeOf :: Selector a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Selector a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Selector a))

gmapT :: (forall b. Data b => b -> b) -> Selector a -> Selector a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Selector a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Selector a -> r

gmapQ :: (forall d. Data d => d -> u) -> Selector a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Selector a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Selector a -> m (Selector a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Selector a -> m (Selector a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Selector a -> m (Selector a)

Show a => Show (Selector a)

Methods

showsPrec :: Int -> Selector a -> ShowS

show :: Selector a -> String

showList :: [Selector a] -> ShowS

Generic (Selector a)

Associated Types

type Rep (Selector a) :: * -> *

Methods

from :: Selector a -> Rep (Selector a) x

to :: Rep (Selector a) x -> Selector a

Out a => Out (Selector a)

Methods

docPrec :: Int -> Selector a -> Doc

doc :: Selector a -> Doc

docList :: [Selector a] -> Doc

Spanned (Selector a)

Methods

getSpan :: Selector a -> SrcSpan

setSpan :: SrcSpan -> Selector a -> Selector a

Pretty (Selector a)

Methods

pprint' :: FortranVersion -> Selector a -> Doc

FirstParameter (Selector a) a

Methods

getFirstParameter :: Selector a -> a

setFirstParameter :: a -> Selector a -> Selector a

SecondParameter (Selector a) SrcSpan

Methods

getSecondParameter :: Selector a -> SrcSpan

setSecondParameter :: SrcSpan -> Selector a -> Selector a

type Rep (Selector a)

type Rep (Selector a) = D1 * (MetaData "Selector" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "Selector" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))

data MetaInfo

Constructors

MetaInfo

Fields

• miVersion :: FortranVersion
• miFilename :: String

Instances

Eq MetaInfo

Methods

(==) :: MetaInfo -> MetaInfo -> Bool

(/=) :: MetaInfo -> MetaInfo -> Bool

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

Methods

showsPrec :: Int -> MetaInfo -> ShowS

show :: MetaInfo -> String

showList :: [MetaInfo] -> ShowS

Generic MetaInfo

Associated Types

type Rep MetaInfo :: * -> *

Methods

from :: MetaInfo -> Rep MetaInfo x

to :: Rep MetaInfo x -> MetaInfo

Out MetaInfo

Methods

docPrec :: Int -> MetaInfo -> Doc

doc :: MetaInfo -> Doc

docList :: [MetaInfo] -> Doc

type Rep MetaInfo

type Rep MetaInfo = D1 * (MetaData "MetaInfo" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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

Spanned (ProgramFile a)

Methods

getSpan :: ProgramFile a -> SrcSpan

setSpan :: SrcSpan -> ProgramFile a -> ProgramFile a

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.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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 a -> 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 (PUFunctionOpt a) Name (Maybe (AList Expression a)) [Block a] (Maybe [ProgramUnit a])

PUFunction a SrcSpan (Maybe (TypeSpec a)) (PUFunctionOpt a) 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

Functor ProgramUnit

Methods

fmap :: (a -> b) -> ProgramUnit a -> ProgramUnit b

(<$) :: a -> ProgramUnit b -> ProgramUnit a

Annotated ProgramUnit

Methods

getAnnotation :: ProgramUnit a -> a

setAnnotation :: a -> ProgramUnit a -> ProgramUnit a

modifyAnnotation :: (a -> a) -> ProgramUnit a -> ProgramUnit a

Eq a => Eq (ProgramUnit a)

Methods

(==) :: ProgramUnit a -> ProgramUnit a -> Bool

(/=) :: ProgramUnit a -> ProgramUnit a -> Bool

Data a => Data (ProgramUnit a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProgramUnit a -> c (ProgramUnit a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ProgramUnit a)

toConstr :: ProgramUnit a -> Constr

dataTypeOf :: ProgramUnit a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ProgramUnit a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ProgramUnit a))

gmapT :: (forall b. Data b => b -> b) -> ProgramUnit a -> ProgramUnit a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProgramUnit a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProgramUnit a -> r

gmapQ :: (forall d. Data d => d -> u) -> ProgramUnit a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ProgramUnit a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProgramUnit a -> m (ProgramUnit a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProgramUnit a -> m (ProgramUnit a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProgramUnit a -> m (ProgramUnit a)

Show a => Show (ProgramUnit a)

Methods

showsPrec :: Int -> ProgramUnit a -> ShowS

show :: ProgramUnit a -> String

showList :: [ProgramUnit a] -> ShowS

Generic (ProgramUnit a)

Associated Types

type Rep (ProgramUnit a) :: * -> *

Methods

from :: ProgramUnit a -> Rep (ProgramUnit a) x

to :: Rep (ProgramUnit a) x -> ProgramUnit a

Out a => Out (ProgramUnit a)

Methods

docPrec :: Int -> ProgramUnit a -> Doc

doc :: ProgramUnit a -> Doc

docList :: [ProgramUnit a] -> Doc

Spanned (ProgramUnit a)

Methods

getSpan :: ProgramUnit a -> SrcSpan

setSpan :: SrcSpan -> ProgramUnit a -> ProgramUnit a

Named (ProgramUnit a)

Methods

getName :: ProgramUnit a -> ProgramUnitName

setName :: ProgramUnitName -> ProgramUnit a -> ProgramUnit a

IndentablePretty [ProgramUnit a]

Methods

pprint :: FortranVersion -> [ProgramUnit a] -> Indentation -> Doc

IndentablePretty (ProgramUnit a)

Methods

pprint :: FortranVersion -> ProgramUnit a -> Indentation -> Doc

FirstParameter (ProgramUnit a) a

Methods

getFirstParameter :: ProgramUnit a -> a

setFirstParameter :: a -> ProgramUnit a -> ProgramUnit a

SecondParameter (ProgramUnit a) SrcSpan

Methods

getSecondParameter :: ProgramUnit a -> SrcSpan

setSecondParameter :: SrcSpan -> ProgramUnit a -> ProgramUnit a

type Rep (ProgramUnit a)

type Rep (ProgramUnit a) = D1 * (MetaData "ProgramUnit" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * (C1 * (MetaCons "PUMain" 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 * (Maybe Name))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [ProgramUnit a]))))))) ((:+:) * (C1 * (MetaCons "PUModule" 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 * Name)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [ProgramUnit a]))))))) (C1 * (MetaCons "PUSubroutine" 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 * (PUFunctionOpt a))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (AList Expression a))))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [ProgramUnit a]))))))))) ((:+:) * (C1 * (MetaCons "PUFunction" 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 * (Maybe (TypeSpec a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (PUFunctionOpt a))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (AList Expression a))))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [ProgramUnit a])))))))) ((:+:) * (C1 * (MetaCons "PUBlockData" 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 * (Maybe Name))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a]))))) (C1 * (MetaCons "PUComment" 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 * (Comment a)))))))))

type IsRecursive = Bool

data PUFunctionOpt a

Constructors

None a SrcSpan IsRecursive

Pure a SrcSpan IsRecursive

Elemental a SrcSpan

Instances

Functor PUFunctionOpt

Methods

fmap :: (a -> b) -> PUFunctionOpt a -> PUFunctionOpt b

(<$) :: a -> PUFunctionOpt b -> PUFunctionOpt a

Eq a => Eq (PUFunctionOpt a)

Methods

(==) :: PUFunctionOpt a -> PUFunctionOpt a -> Bool

(/=) :: PUFunctionOpt a -> PUFunctionOpt a -> Bool

Data a => Data (PUFunctionOpt a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PUFunctionOpt a -> c (PUFunctionOpt a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PUFunctionOpt a)

toConstr :: PUFunctionOpt a -> Constr

dataTypeOf :: PUFunctionOpt a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (PUFunctionOpt a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PUFunctionOpt a))

gmapT :: (forall b. Data b => b -> b) -> PUFunctionOpt a -> PUFunctionOpt a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PUFunctionOpt a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PUFunctionOpt a -> r

gmapQ :: (forall d. Data d => d -> u) -> PUFunctionOpt a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PUFunctionOpt a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PUFunctionOpt a -> m (PUFunctionOpt a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PUFunctionOpt a -> m (PUFunctionOpt a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PUFunctionOpt a -> m (PUFunctionOpt a)

Show a => Show (PUFunctionOpt a)

Methods

showsPrec :: Int -> PUFunctionOpt a -> ShowS

show :: PUFunctionOpt a -> String

showList :: [PUFunctionOpt a] -> ShowS

Generic (PUFunctionOpt a)

Associated Types

type Rep (PUFunctionOpt a) :: * -> *

Methods

from :: PUFunctionOpt a -> Rep (PUFunctionOpt a) x

to :: Rep (PUFunctionOpt a) x -> PUFunctionOpt a

Out a => Out (PUFunctionOpt a)

Methods

docPrec :: Int -> PUFunctionOpt a -> Doc

doc :: PUFunctionOpt a -> Doc

docList :: [PUFunctionOpt a] -> Doc

Spanned (PUFunctionOpt a)

Methods

getSpan :: PUFunctionOpt a -> SrcSpan

setSpan :: SrcSpan -> PUFunctionOpt a -> PUFunctionOpt a

FirstParameter (PUFunctionOpt a) a

Methods

getFirstParameter :: PUFunctionOpt a -> a

setFirstParameter :: a -> PUFunctionOpt a -> PUFunctionOpt a

SecondParameter (PUFunctionOpt a) SrcSpan

Methods

getSecondParameter :: PUFunctionOpt a -> SrcSpan

setSecondParameter :: SrcSpan -> PUFunctionOpt a -> PUFunctionOpt a

type Rep (PUFunctionOpt a)

type Rep (PUFunctionOpt a) = D1 * (MetaData "PUFunctionOpt" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "None" 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 * IsRecursive))))) ((:+:) * (C1 * (MetaCons "Pure" 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 * IsRecursive))))) (C1 * (MetaCons "Elemental" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan))))))

buildPUFunctionOpt :: PUFunctionOpt () -> PUFunctionOpt () -> Either String (PUFunctionOpt ())

buildPUFunctionOpts :: [PUFunctionOpt ()] -> Either String (PUFunctionOpt ())

functionIsRecursive :: PUFunctionOpt a -> Bool

programUnitBody :: ProgramUnit a -> [Block a]

updateProgramUnitBody :: ProgramUnit a -> [Block a] -> ProgramUnit a

programUnitSubprograms :: ProgramUnit a -> Maybe [ProgramUnit a]

newtype Comment a

Constructors

Comment String

Instances

Functor Comment

Methods

fmap :: (a -> b) -> Comment a -> Comment b

(<$) :: a -> Comment b -> Comment a

Eq (Comment a)

Methods

(==) :: Comment a -> Comment a -> Bool

(/=) :: Comment a -> Comment a -> Bool

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)

Methods

showsPrec :: Int -> Comment a -> ShowS

show :: Comment a -> String

showList :: [Comment a] -> ShowS

Generic (Comment a)

Associated Types

type Rep (Comment a) :: * -> *

Methods

from :: Comment a -> Rep (Comment a) x

to :: Rep (Comment a) x -> Comment a

Out a => Out (Comment a)

Methods

docPrec :: Int -> Comment a -> Doc

doc :: Comment a -> Doc

docList :: [Comment a] -> Doc

type Rep (Comment a)

type Rep (Comment a) = D1 * (MetaData "Comment" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" True) (C1 * (MetaCons "Comment" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))

data Block a

Constructors

BlStatement a SrcSpan (Maybe (Expression a)) (Statement a)

BlForall a SrcSpan (Maybe (Expression a)) (Maybe String) (ForallHeader a) [Block a] (Maybe (Expression 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) (Maybe (Expression a)) (Expression a) [Block a] (Maybe (Expression a))

BlInterface a SrcSpan (Maybe (Expression a)) [ProgramUnit a] [Block a]

BlComment a SrcSpan (Comment a)

Instances

Functor Block

Methods

fmap :: (a -> b) -> Block a -> Block b

(<$) :: a -> Block b -> Block a

Conditioned Block

Methods

getCondition :: Block a -> Maybe (Expression a)

Labeled Block

Methods

getLabel :: Block a -> Maybe (Expression a)

getLastLabel :: Block a -> Maybe (Expression a)

setLabel :: Block a -> Expression a -> Block a

Annotated Block

Methods

getAnnotation :: Block a -> a

setAnnotation :: a -> Block a -> Block a

modifyAnnotation :: (a -> a) -> Block a -> Block a

Eq a => Eq (Block a)

Methods

(==) :: Block a -> Block a -> Bool

(/=) :: Block a -> Block a -> Bool

Data a => Data (Block a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block a -> c (Block a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Block a)

toConstr :: Block a -> Constr

dataTypeOf :: Block a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Block a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Block a))

gmapT :: (forall b. Data b => b -> b) -> Block a -> Block a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block a -> r

gmapQ :: (forall d. Data d => d -> u) -> Block a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block a -> m (Block a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block a -> m (Block a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block a -> m (Block a)

Show a => Show (Block a)

Methods

showsPrec :: Int -> Block a -> ShowS

show :: Block a -> String

showList :: [Block a] -> ShowS

Generic (Block a)

Associated Types

type Rep (Block a) :: * -> *

Methods

from :: Block a -> Rep (Block a) x

to :: Rep (Block a) x -> Block a

Out a => Out (Block a)

Methods

docPrec :: Int -> Block a -> Doc

doc :: Block a -> Doc

docList :: [Block a] -> Doc

Spanned (Block a)

Methods

getSpan :: Block a -> SrcSpan

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

IndentablePretty [Block a]

Methods

pprint :: FortranVersion -> [Block a] -> Indentation -> Doc

IndentablePretty (Block a)

Methods

pprint :: FortranVersion -> Block a -> Indentation -> Doc

FirstParameter (Block a) a

Methods

getFirstParameter :: Block a -> a

setFirstParameter :: a -> Block a -> Block a

SecondParameter (Block a) SrcSpan

Methods

getSecondParameter :: Block a -> SrcSpan

setSecondParameter :: SrcSpan -> Block a -> Block a

type Rep (Block a)

type Rep (Block a) = D1 * (MetaData "Block" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "BlStatement" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Statement a)))))) (C1 * (MetaCons "BlForall" 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 * (Maybe (Expression a)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ForallHeader a)))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a))))))))) ((:+:) * (C1 * (MetaCons "BlIf" 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 * (Maybe (Expression a)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Maybe (Expression a)]))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [[Block a]])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))) (C1 * (MetaCons "BlCase" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe String))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Maybe (AList Index a)]))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [[Block a]])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "BlDo" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe String))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (DoSpecification a))))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))) (C1 * (MetaCons "BlDoWhile" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe String))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a)))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a))))))))) ((:+:) * (C1 * (MetaCons "BlInterface" 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 * (Maybe (Expression a)))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ProgramUnit a])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Block a])))))) (C1 * (MetaCons "BlComment" 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 * (Comment a)))))))))

data Statement a

Constructors

StDeclaration a SrcSpan (TypeSpec a) (Maybe (AList Attribute a)) (AList Declarator a)

StStructure a SrcSpan (Maybe String) (AList StructureItem a)

StIntent a SrcSpan Intent (AList Expression a)

StOptional a SrcSpan (AList Expression a)

StPublic a SrcSpan (Maybe (AList Expression a))

StPrivate a SrcSpan (Maybe (AList Expression a))

StSave a SrcSpan (Maybe (AList Expression a))

StDimension a SrcSpan (AList Declarator a)

StAllocatable a SrcSpan (AList Declarator a)

StPointer a SrcSpan (AList Declarator a)

StTarget a SrcSpan (AList Declarator a)

StData a SrcSpan (AList DataGroup a)

StAutomatic a SrcSpan (AList Declarator a)

StNamelist a SrcSpan (AList Namelist a)

StParameter a SrcSpan (AList Declarator a)

StExternal a SrcSpan (AList Expression a)

StIntrinsic a SrcSpan (AList Expression a)

StCommon a SrcSpan (AList CommonGroup a)

StEquivalence a SrcSpan (AList (AList Expression) a)

StFormat a SrcSpan (AList FormatItem a)

StImplicit a SrcSpan (Maybe (AList ImpList a))

StEntry a SrcSpan (Expression a) (Maybe (AList Expression a)) (Maybe (Expression a))

StInclude a SrcSpan (Expression a) (Maybe [Block a])

StDo a SrcSpan (Maybe String) (Maybe (Expression a)) (Maybe (DoSpecification a))

StDoWhile a SrcSpan (Maybe String) (Maybe (Expression a)) (Expression a)

StEnddo a SrcSpan (Maybe String)

StCycle a SrcSpan (Maybe (Expression a))

StExit a SrcSpan (Maybe (Expression a))

StIfLogical a SrcSpan (Expression a) (Statement a)

StIfArithmetic a SrcSpan (Expression a) (Expression a) (Expression a) (Expression a)

StIfThen a SrcSpan (Maybe String) (Expression a)

StElse a SrcSpan (Maybe String)

StElsif a SrcSpan (Maybe String) (Expression a)

StEndif a SrcSpan (Maybe String)

StSelectCase a SrcSpan (Maybe String) (Expression a)

StCase a SrcSpan (Maybe String) (Maybe (AList Index a))

StEndcase a SrcSpan (Maybe String)

StFunction a SrcSpan (Expression a) (AList Expression a) (Expression a)

StExpressionAssign a SrcSpan (Expression a) (Expression a)

StPointerAssign a SrcSpan (Expression a) (Expression a)

StLabelAssign a SrcSpan (Expression a) (Expression a)

StGotoUnconditional a SrcSpan (Expression a)

StGotoAssigned a SrcSpan (Expression a) (Maybe (AList Expression a))

StGotoComputed a SrcSpan (AList Expression a) (Expression a)

StCall a SrcSpan (Expression a) (Maybe (AList Argument a))

StReturn a SrcSpan (Maybe (Expression a))

StContinue a SrcSpan

StStop a SrcSpan (Maybe (Expression a))

StPause a SrcSpan (Maybe (Expression a))

StRead a SrcSpan (AList ControlPair a) (Maybe (AList Expression a))

StRead2 a SrcSpan (Expression a) (Maybe (AList Expression a))

StWrite a SrcSpan (AList ControlPair a) (Maybe (AList Expression a))

StPrint a SrcSpan (Expression a) (Maybe (AList Expression a))

StTypePrint a SrcSpan (Expression a) (Maybe (AList Expression a))

StOpen a SrcSpan (AList ControlPair a)

StClose a SrcSpan (AList ControlPair a)

StInquire a SrcSpan (AList ControlPair a)

StRewind a SrcSpan (AList ControlPair a)

StRewind2 a SrcSpan (Expression a)

StBackspace a SrcSpan (AList ControlPair a)

StBackspace2 a SrcSpan (Expression a)

StEndfile a SrcSpan (AList ControlPair a)

StEndfile2 a SrcSpan (Expression a)

StAllocate a SrcSpan (AList Expression a) (Maybe (ControlPair a))

StNullify a SrcSpan (AList Expression a)

StDeallocate a SrcSpan (AList Expression a) (Maybe (ControlPair a))

StWhere a SrcSpan (Expression a) (Statement a)

StWhereConstruct a SrcSpan (Expression a)

StElsewhere a SrcSpan

StEndWhere a SrcSpan

StUse a SrcSpan (Expression a) Only (Maybe (AList Use a))

StModuleProcedure a SrcSpan (AList Expression a)

StType a SrcSpan (Maybe (AList Attribute a)) String

StEndType a SrcSpan (Maybe String)

StSequence a SrcSpan

StForall a SrcSpan (Maybe String) (ForallHeader a)

StForallStatement a SrcSpan (ForallHeader a) (Statement a)

StEndForall a SrcSpan (Maybe String)

StFormatBogus a SrcSpan String

Instances

Functor Statement

Methods

fmap :: (a -> b) -> Statement a -> Statement b

(<$) :: a -> Statement b -> Statement a

Conditioned Statement

Methods

getCondition :: Statement a -> Maybe (Expression a)

Annotated Statement

Methods

getAnnotation :: Statement a -> a

setAnnotation :: a -> Statement a -> Statement a

modifyAnnotation :: (a -> a) -> Statement a -> Statement a

Eq a => Eq (Statement a)

Methods

(==) :: Statement a -> Statement a -> Bool

(/=) :: Statement a -> Statement a -> Bool

Data a => Data (Statement a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement a -> c (Statement a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Statement a)

toConstr :: Statement a -> Constr

dataTypeOf :: Statement a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Statement a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Statement a))

gmapT :: (forall b. Data b => b -> b) -> Statement a -> Statement a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement a -> r

gmapQ :: (forall d. Data d => d -> u) -> Statement a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement a -> m (Statement a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement a -> m (Statement a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement a -> m (Statement a)

Show a => Show (Statement a)

Methods

showsPrec :: Int -> Statement a -> ShowS

show :: Statement a -> String

showList :: [Statement a] -> ShowS

Generic (Statement a)

Associated Types

type Rep (Statement a) :: * -> *

Methods

from :: Statement a -> Rep (Statement a) x

to :: Rep (Statement a) x -> Statement a

Out a => Out (Statement a)

Methods

docPrec :: Int -> Statement a -> Doc

doc :: Statement a -> Doc

docList :: [Statement a] -> Doc

Spanned (Statement a)

Methods

getSpan :: Statement a -> SrcSpan

setSpan :: SrcSpan -> Statement a -> Statement a

Pretty (Statement a)

Methods

pprint' :: FortranVersion -> Statement a -> Doc

FirstParameter (Statement a) a

Methods

getFirstParameter :: Statement a -> a

setFirstParameter :: a -> Statement a -> Statement a

SecondParameter (Statement a) SrcSpan

Methods

getSecondParameter :: Statement a -> SrcSpan

setSecondParameter :: SrcSpan -> Statement a -> Statement a

type Rep (Statement a)

type Rep (Statement a) = D1 * (MetaData "Statement" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StDeclaration" 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 * (Maybe (AList Attribute a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList Declarator a))))))) (C1 * (MetaCons "StStructure" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList StructureItem a))))))) ((:+:) * (C1 * (MetaCons "StIntent" 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 * Intent)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList Expression a)))))) (C1 * (MetaCons "StOptional" 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 * (AList Expression a)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StPublic" 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 * (Maybe (AList Expression a))))))) (C1 * (MetaCons "StPrivate" 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 * (Maybe (AList Expression a)))))))) ((:+:) * (C1 * (MetaCons "StSave" 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 * (Maybe (AList Expression a))))))) ((:+:) * (C1 * (MetaCons "StDimension" 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 * (AList Declarator a)))))) (C1 * (MetaCons "StAllocatable" 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 * (AList Declarator a)))))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StPointer" 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 * (AList Declarator a)))))) (C1 * (MetaCons "StTarget" 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 * (AList Declarator a))))))) ((:+:) * (C1 * (MetaCons "StData" 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 * (AList DataGroup a)))))) ((:+:) * (C1 * (MetaCons "StAutomatic" 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 * (AList Declarator a)))))) (C1 * (MetaCons "StNamelist" 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 * (AList Namelist a))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StParameter" 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 * (AList Declarator a)))))) (C1 * (MetaCons "StExternal" 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 * (AList Expression a))))))) ((:+:) * (C1 * (MetaCons "StIntrinsic" 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 * (AList Expression a)))))) ((:+:) * (C1 * (MetaCons "StCommon" 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 * (AList CommonGroup a)))))) (C1 * (MetaCons "StEquivalence" 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 * (AList (AList Expression) a))))))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StFormat" 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 * (AList FormatItem a)))))) (C1 * (MetaCons "StImplicit" 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 * (Maybe (AList ImpList a)))))))) ((:+:) * (C1 * (MetaCons "StEntry" 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 * (Maybe (AList Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))) ((:+:) * (C1 * (MetaCons "StInclude" 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 * (Maybe [Block a])))))) (C1 * (MetaCons "StDo" 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 * (Maybe String))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (DoSpecification a))))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StDoWhile" 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 * (Maybe String))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))) (C1 * (MetaCons "StEnddo" 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 * (Maybe String))))))) ((:+:) * (C1 * (MetaCons "StCycle" 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 * (Maybe (Expression a))))))) ((:+:) * (C1 * (MetaCons "StExit" 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 * (Maybe (Expression a))))))) (C1 * (MetaCons "StIfLogical" 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 * (Statement a)))))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StIfArithmetic" 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))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))) (C1 * (MetaCons "StIfThen" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))) ((:+:) * (C1 * (MetaCons "StElse" 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 * (Maybe String)))))) ((:+:) * (C1 * (MetaCons "StElsif" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a)))))) (C1 * (MetaCons "StEndif" 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 * (Maybe String))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StSelectCase" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a)))))) (C1 * (MetaCons "StCase" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (AList Index a)))))))) ((:+:) * (C1 * (MetaCons "StEndcase" 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 * (Maybe String)))))) ((:+:) * (C1 * (MetaCons "StFunction" 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 * (AList Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))) (C1 * (MetaCons "StExpressionAssign" 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 "StPointerAssign" 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 "StLabelAssign" 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 "StGotoUnconditional" 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)))))) ((:+:) * (C1 * (MetaCons "StGotoAssigned" 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 * (Maybe (AList Expression a))))))) (C1 * (MetaCons "StGotoComputed" 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 * (AList Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StCall" 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 * (Maybe (AList Argument a))))))) (C1 * (MetaCons "StReturn" 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 * (Maybe (Expression a)))))))) ((:+:) * (C1 * (MetaCons "StContinue" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) ((:+:) * (C1 * (MetaCons "StStop" 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 * (Maybe (Expression a))))))) (C1 * (MetaCons "StPause" 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 * (Maybe (Expression a))))))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StRead" 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 * (AList ControlPair a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (AList Expression a))))))) (C1 * (MetaCons "StRead2" 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 * (Maybe (AList Expression a)))))))) ((:+:) * (C1 * (MetaCons "StWrite" 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 * (AList ControlPair a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (AList Expression a))))))) ((:+:) * (C1 * (MetaCons "StPrint" 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 * (Maybe (AList Expression a))))))) (C1 * (MetaCons "StTypePrint" 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 * (Maybe (AList Expression a)))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StOpen" 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 * (AList ControlPair a)))))) (C1 * (MetaCons "StClose" 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 * (AList ControlPair a))))))) ((:+:) * (C1 * (MetaCons "StInquire" 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 * (AList ControlPair a)))))) ((:+:) * (C1 * (MetaCons "StRewind" 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 * (AList ControlPair a)))))) (C1 * (MetaCons "StRewind2" 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))))))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StBackspace" 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 * (AList ControlPair a)))))) (C1 * (MetaCons "StBackspace2" 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))))))) ((:+:) * (C1 * (MetaCons "StEndfile" 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 * (AList ControlPair a)))))) ((:+:) * (C1 * (MetaCons "StEndfile2" 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)))))) (C1 * (MetaCons "StAllocate" 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 * (AList Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (ControlPair a)))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StNullify" 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 * (AList Expression a)))))) (C1 * (MetaCons "StDeallocate" 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 * (AList Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (ControlPair a)))))))) ((:+:) * (C1 * (MetaCons "StWhere" 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 * (Statement a)))))) ((:+:) * (C1 * (MetaCons "StWhereConstruct" 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)))))) (C1 * (MetaCons "StElsewhere" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StEndWhere" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) (C1 * (MetaCons "StUse" 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 * Only)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (AList Use a))))))))) ((:+:) * (C1 * (MetaCons "StModuleProcedure" 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 * (AList Expression a)))))) ((:+:) * (C1 * (MetaCons "StType" 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 * (Maybe (AList Attribute a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))) (C1 * (MetaCons "StEndType" 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 * (Maybe String))))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StSequence" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) (C1 * (MetaCons "StForall" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ForallHeader a))))))) ((:+:) * (C1 * (MetaCons "StForallStatement" 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 * (ForallHeader a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Statement a)))))) ((:+:) * (C1 * (MetaCons "StEndForall" 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 * (Maybe String)))))) (C1 * (MetaCons "StFormatBogus" 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 * String))))))))))))

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.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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))))))

data Only

Constructors

Exclusive

Permissive

Instances

Eq Only

Methods

(==) :: Only -> Only -> Bool

(/=) :: Only -> Only -> Bool

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

toConstr :: Only -> Constr

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

Methods

showsPrec :: Int -> Only -> ShowS

show :: Only -> String

showList :: [Only] -> ShowS

Generic Only

Associated Types

type Rep Only :: * -> *

Methods

from :: Only -> Rep Only x

to :: Rep Only x -> Only

Out Only

Methods

docPrec :: Int -> Only -> Doc

doc :: Only -> Doc

docList :: [Only] -> Doc

Pretty Only

Methods

pprint' :: FortranVersion -> Only -> Doc

type Rep Only

type Rep Only = D1 * (MetaData "Only" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "Exclusive" PrefixI False) (U1 *)) (C1 * (MetaCons "Permissive" PrefixI False) (U1 *)))

data Use a

Constructors

UseRename a SrcSpan (Expression a) (Expression a)

UseID a SrcSpan (Expression a)

Instances

Functor Use

Methods

fmap :: (a -> b) -> Use a -> Use b

(<$) :: a -> Use b -> Use a

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)

Methods

(==) :: Use a -> Use a -> Bool

(/=) :: Use a -> Use a -> Bool

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)

toConstr :: Use a -> Constr

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)

Methods

showsPrec :: Int -> Use a -> ShowS

show :: Use a -> String

showList :: [Use a] -> ShowS

Generic (Use a)

Associated Types

type Rep (Use a) :: * -> *

Methods

from :: Use a -> Rep (Use a) x

to :: Rep (Use a) x -> Use a

Out a => Out (Use a)

Methods

docPrec :: Int -> Use a -> Doc

doc :: Use a -> Doc

docList :: [Use a] -> Doc

Spanned (Use a)

Methods

getSpan :: Use a -> SrcSpan

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

Pretty (Use a)

Methods

pprint' :: FortranVersion -> Use a -> Doc

FirstParameter (Use a) a

Methods

getFirstParameter :: Use a -> a

setFirstParameter :: a -> Use a -> Use a

SecondParameter (Use a) SrcSpan

Methods

getSecondParameter :: Use a -> SrcSpan

setSecondParameter :: SrcSpan -> Use a -> Use a

type Rep (Use a)

type Rep (Use a) = D1 * (MetaData "Use" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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)))))))

data Argument a

Constructors

Argument a SrcSpan (Maybe String) (Expression a)

Instances

Functor Argument

Methods

fmap :: (a -> b) -> Argument a -> Argument b

(<$) :: a -> Argument b -> Argument a

Annotated Argument

Methods

getAnnotation :: Argument a -> a

setAnnotation :: a -> Argument a -> Argument a

modifyAnnotation :: (a -> a) -> Argument a -> Argument a

Eq a => Eq (Argument a)

Methods

(==) :: Argument a -> Argument a -> Bool

(/=) :: Argument a -> Argument a -> Bool

Data a => Data (Argument a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Argument a -> c (Argument a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Argument a)

toConstr :: Argument a -> Constr

dataTypeOf :: Argument a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Argument a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Argument a))

gmapT :: (forall b. Data b => b -> b) -> Argument a -> Argument a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Argument a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Argument a -> r

gmapQ :: (forall d. Data d => d -> u) -> Argument a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Argument a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Argument a -> m (Argument a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Argument a -> m (Argument a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Argument a -> m (Argument a)

Show a => Show (Argument a)

Methods

showsPrec :: Int -> Argument a -> ShowS

show :: Argument a -> String

showList :: [Argument a] -> ShowS

Generic (Argument a)

Associated Types

type Rep (Argument a) :: * -> *

Methods

from :: Argument a -> Rep (Argument a) x

to :: Rep (Argument a) x -> Argument a

Out a => Out (Argument a)

Methods

docPrec :: Int -> Argument a -> Doc

doc :: Argument a -> Doc

docList :: [Argument a] -> Doc

Spanned (Argument a)

Methods

getSpan :: Argument a -> SrcSpan

setSpan :: SrcSpan -> Argument a -> Argument a

Pretty (Argument a)

Methods

pprint' :: FortranVersion -> Argument a -> Doc

FirstParameter (Argument a) a

Methods

getFirstParameter :: Argument a -> a

setFirstParameter :: a -> Argument a -> Argument a

SecondParameter (Argument a) SrcSpan

Methods

getSecondParameter :: Argument a -> SrcSpan

setSecondParameter :: SrcSpan -> Argument a -> Argument a

type Rep (Argument a)

type Rep (Argument a) = D1 * (MetaData "Argument" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "Argument" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))

data Attribute a

Constructors

AttrParameter a SrcSpan

AttrPublic a SrcSpan

AttrPrivate a SrcSpan

AttrAllocatable a SrcSpan

AttrDimension a SrcSpan (AList DimensionDeclarator a)

AttrExternal a SrcSpan

AttrIntent a SrcSpan Intent

AttrIntrinsic a SrcSpan

AttrOptional a SrcSpan

AttrPointer a SrcSpan

AttrSave a SrcSpan

AttrTarget a SrcSpan

Instances

Functor Attribute

Methods

fmap :: (a -> b) -> Attribute a -> Attribute b

(<$) :: a -> Attribute b -> Attribute a

Annotated Attribute

Methods

getAnnotation :: Attribute a -> a

setAnnotation :: a -> Attribute a -> Attribute a

modifyAnnotation :: (a -> a) -> Attribute a -> Attribute a

Eq a => Eq (Attribute a)

Methods

(==) :: Attribute a -> Attribute a -> Bool

(/=) :: Attribute a -> Attribute a -> Bool

Data a => Data (Attribute a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attribute a -> c (Attribute a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Attribute a)

toConstr :: Attribute a -> Constr

dataTypeOf :: Attribute a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Attribute a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Attribute a))

gmapT :: (forall b. Data b => b -> b) -> Attribute a -> Attribute a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attribute a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attribute a -> r

gmapQ :: (forall d. Data d => d -> u) -> Attribute a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attribute a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attribute a -> m (Attribute a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribute a -> m (Attribute a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribute a -> m (Attribute a)

Show a => Show (Attribute a)

Methods

showsPrec :: Int -> Attribute a -> ShowS

show :: Attribute a -> String

showList :: [Attribute a] -> ShowS

Generic (Attribute a)

Associated Types

type Rep (Attribute a) :: * -> *

Methods

from :: Attribute a -> Rep (Attribute a) x

to :: Rep (Attribute a) x -> Attribute a

Out a => Out (Attribute a)

Methods

docPrec :: Int -> Attribute a -> Doc

doc :: Attribute a -> Doc

docList :: [Attribute a] -> Doc

Spanned (Attribute a)

Methods

getSpan :: Attribute a -> SrcSpan

setSpan :: SrcSpan -> Attribute a -> Attribute a

Pretty (Attribute a)

Methods

pprint' :: FortranVersion -> Attribute a -> Doc

FirstParameter (Attribute a) a

Methods

getFirstParameter :: Attribute a -> a

setFirstParameter :: a -> Attribute a -> Attribute a

SecondParameter (Attribute a) SrcSpan

Methods

getSecondParameter :: Attribute a -> SrcSpan

setSecondParameter :: SrcSpan -> Attribute a -> Attribute a

type Rep (Attribute a)

type Rep (Attribute a) = D1 * (MetaData "Attribute" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "AttrParameter" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) ((:+:) * (C1 * (MetaCons "AttrPublic" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) (C1 * (MetaCons "AttrPrivate" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))))) ((:+:) * (C1 * (MetaCons "AttrAllocatable" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) ((:+:) * (C1 * (MetaCons "AttrDimension" 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 * (AList DimensionDeclarator a)))))) (C1 * (MetaCons "AttrExternal" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "AttrIntent" 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 * Intent))))) ((:+:) * (C1 * (MetaCons "AttrIntrinsic" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) (C1 * (MetaCons "AttrOptional" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))))) ((:+:) * (C1 * (MetaCons "AttrPointer" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) ((:+:) * (C1 * (MetaCons "AttrSave" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))) (C1 * (MetaCons "AttrTarget" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan))))))))

data Intent

Constructors

In

Out

InOut

Instances

Eq Intent

Methods

(==) :: Intent -> Intent -> Bool

(/=) :: Intent -> Intent -> Bool

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

Methods

showsPrec :: Int -> Intent -> ShowS

show :: Intent -> String

showList :: [Intent] -> ShowS

Generic Intent

Associated Types

type Rep Intent :: * -> *

Methods

from :: Intent -> Rep Intent x

to :: Rep Intent x -> Intent

Out Intent

Methods

docPrec :: Int -> Intent -> Doc

doc :: Intent -> Doc

docList :: [Intent] -> Doc

Pretty Intent

Methods

pprint' :: FortranVersion -> Intent -> Doc

type Rep Intent

type Rep Intent = D1 * (MetaData "Intent" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "In" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Out" PrefixI False) (U1 *)) (C1 * (MetaCons "InOut" PrefixI False) (U1 *))))

data ControlPair a

Constructors

ControlPair a SrcSpan (Maybe String) (Expression a)

Instances

Functor ControlPair

Methods

fmap :: (a -> b) -> ControlPair a -> ControlPair b

(<$) :: a -> ControlPair b -> ControlPair a

Annotated ControlPair

Methods

getAnnotation :: ControlPair a -> a

setAnnotation :: a -> ControlPair a -> ControlPair a

modifyAnnotation :: (a -> a) -> ControlPair a -> ControlPair a

Eq a => Eq (ControlPair a)

Methods

(==) :: ControlPair a -> ControlPair a -> Bool

(/=) :: ControlPair a -> ControlPair a -> Bool

Data a => Data (ControlPair a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ControlPair a -> c (ControlPair a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ControlPair a)

toConstr :: ControlPair a -> Constr

dataTypeOf :: ControlPair a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ControlPair a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ControlPair a))

gmapT :: (forall b. Data b => b -> b) -> ControlPair a -> ControlPair a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ControlPair a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ControlPair a -> r

gmapQ :: (forall d. Data d => d -> u) -> ControlPair a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ControlPair a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ControlPair a -> m (ControlPair a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ControlPair a -> m (ControlPair a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ControlPair a -> m (ControlPair a)

Show a => Show (ControlPair a)

Methods

showsPrec :: Int -> ControlPair a -> ShowS

show :: ControlPair a -> String

showList :: [ControlPair a] -> ShowS

Generic (ControlPair a)

Associated Types

type Rep (ControlPair a) :: * -> *

Methods

from :: ControlPair a -> Rep (ControlPair a) x

to :: Rep (ControlPair a) x -> ControlPair a

Out a => Out (ControlPair a)

Methods

docPrec :: Int -> ControlPair a -> Doc

doc :: ControlPair a -> Doc

docList :: [ControlPair a] -> Doc

Spanned (ControlPair a)

Methods

getSpan :: ControlPair a -> SrcSpan

setSpan :: SrcSpan -> ControlPair a -> ControlPair a

Pretty (ControlPair a)

Methods

pprint' :: FortranVersion -> ControlPair a -> Doc

FirstParameter (ControlPair a) a

Methods

getFirstParameter :: ControlPair a -> a

setFirstParameter :: a -> ControlPair a -> ControlPair a

SecondParameter (ControlPair a) SrcSpan

Methods

getSecondParameter :: ControlPair a -> SrcSpan

setSecondParameter :: SrcSpan -> ControlPair a -> ControlPair a

type Rep (ControlPair a)

type Rep (ControlPair a) = D1 * (MetaData "ControlPair" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "ControlPair" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))

data ImpList a

Constructors

ImpList a SrcSpan (TypeSpec a) (AList ImpElement a)

Instances

Functor ImpList

Methods

fmap :: (a -> b) -> ImpList a -> ImpList b

(<$) :: a -> ImpList b -> ImpList a

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)

Methods

(==) :: ImpList a -> ImpList a -> Bool

(/=) :: ImpList a -> ImpList a -> Bool

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)

Methods

showsPrec :: Int -> ImpList a -> ShowS

show :: ImpList a -> String

showList :: [ImpList a] -> ShowS

Generic (ImpList a)

Associated Types

type Rep (ImpList a) :: * -> *

Methods

from :: ImpList a -> Rep (ImpList a) x

to :: Rep (ImpList a) x -> ImpList a

Out a => Out (ImpList a)

Methods

docPrec :: Int -> ImpList a -> Doc

doc :: ImpList a -> Doc

docList :: [ImpList a] -> Doc

Spanned (ImpList a)

Methods

getSpan :: ImpList a -> SrcSpan

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

Pretty (ImpList a)

Methods

pprint' :: FortranVersion -> ImpList a -> Doc

FirstParameter (ImpList a) a

Methods

getFirstParameter :: ImpList a -> a

setFirstParameter :: a -> ImpList a -> ImpList a

SecondParameter (ImpList a) SrcSpan

Methods

getSecondParameter :: ImpList a -> SrcSpan

setSecondParameter :: SrcSpan -> ImpList a -> ImpList a

type Rep (ImpList a)

type Rep (ImpList a) = D1 * (MetaData "ImpList" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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

Constructors

ImpCharacter a SrcSpan String

ImpRange a SrcSpan String String

Instances

Functor ImpElement

Methods

fmap :: (a -> b) -> ImpElement a -> ImpElement b

(<$) :: a -> ImpElement b -> ImpElement a

Annotated ImpElement

Methods

getAnnotation :: ImpElement a -> a

setAnnotation :: a -> ImpElement a -> ImpElement a

modifyAnnotation :: (a -> a) -> ImpElement a -> ImpElement a

Eq a => Eq (ImpElement a)

Methods

(==) :: ImpElement a -> ImpElement a -> Bool

(/=) :: ImpElement a -> ImpElement a -> Bool

Data a => Data (ImpElement a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImpElement a -> c (ImpElement a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ImpElement a)

toConstr :: ImpElement a -> Constr

dataTypeOf :: ImpElement a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ImpElement a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ImpElement a))

gmapT :: (forall b. Data b => b -> b) -> ImpElement a -> ImpElement a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImpElement a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImpElement a -> r

gmapQ :: (forall d. Data d => d -> u) -> ImpElement a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImpElement a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImpElement a -> m (ImpElement a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImpElement a -> m (ImpElement a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImpElement a -> m (ImpElement a)

Show a => Show (ImpElement a)

Methods

showsPrec :: Int -> ImpElement a -> ShowS

show :: ImpElement a -> String

showList :: [ImpElement a] -> ShowS

Generic (ImpElement a)

Associated Types

type Rep (ImpElement a) :: * -> *

Methods

from :: ImpElement a -> Rep (ImpElement a) x

to :: Rep (ImpElement a) x -> ImpElement a

Out a => Out (ImpElement a)

Methods

docPrec :: Int -> ImpElement a -> Doc

doc :: ImpElement a -> Doc

docList :: [ImpElement a] -> Doc

Spanned (ImpElement a)

Methods

getSpan :: ImpElement a -> SrcSpan

setSpan :: SrcSpan -> ImpElement a -> ImpElement a

Pretty (ImpElement a)

Methods

pprint' :: FortranVersion -> ImpElement a -> Doc

FirstParameter (ImpElement a) a

Methods

getFirstParameter :: ImpElement a -> a

setFirstParameter :: a -> ImpElement a -> ImpElement a

SecondParameter (ImpElement a) SrcSpan

Methods

getSecondParameter :: ImpElement a -> SrcSpan

setSecondParameter :: SrcSpan -> ImpElement a -> ImpElement a

type Rep (ImpElement a)

type Rep (ImpElement a) = D1 * (MetaData "ImpElement" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "ImpCharacter" 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 * String))))) (C1 * (MetaCons "ImpRange" 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 * String)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))))

data CommonGroup a

Constructors

CommonGroup a SrcSpan (Maybe (Expression a)) (AList Expression a)

Instances

Functor CommonGroup

Methods

fmap :: (a -> b) -> CommonGroup a -> CommonGroup b

(<$) :: a -> CommonGroup b -> CommonGroup a

Annotated CommonGroup

Methods

getAnnotation :: CommonGroup a -> a

setAnnotation :: a -> CommonGroup a -> CommonGroup a

modifyAnnotation :: (a -> a) -> CommonGroup a -> CommonGroup a

Eq a => Eq (CommonGroup a)

Methods

(==) :: CommonGroup a -> CommonGroup a -> Bool

(/=) :: CommonGroup a -> CommonGroup a -> Bool

Data a => Data (CommonGroup a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CommonGroup a -> c (CommonGroup a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CommonGroup a)

toConstr :: CommonGroup a -> Constr

dataTypeOf :: CommonGroup a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (CommonGroup a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CommonGroup a))

gmapT :: (forall b. Data b => b -> b) -> CommonGroup a -> CommonGroup a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CommonGroup a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CommonGroup a -> r

gmapQ :: (forall d. Data d => d -> u) -> CommonGroup a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CommonGroup a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CommonGroup a -> m (CommonGroup a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CommonGroup a -> m (CommonGroup a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CommonGroup a -> m (CommonGroup a)

Show a => Show (CommonGroup a)

Methods

showsPrec :: Int -> CommonGroup a -> ShowS

show :: CommonGroup a -> String

showList :: [CommonGroup a] -> ShowS

Generic (CommonGroup a)

Associated Types

type Rep (CommonGroup a) :: * -> *

Methods

from :: CommonGroup a -> Rep (CommonGroup a) x

to :: Rep (CommonGroup a) x -> CommonGroup a

Out a => Out (CommonGroup a)

Methods

docPrec :: Int -> CommonGroup a -> Doc

doc :: CommonGroup a -> Doc

docList :: [CommonGroup a] -> Doc

Spanned (CommonGroup a)

Methods

getSpan :: CommonGroup a -> SrcSpan

setSpan :: SrcSpan -> CommonGroup a -> CommonGroup a

Pretty (CommonGroup a)

Methods

pprint' :: FortranVersion -> CommonGroup a -> Doc

FirstParameter (CommonGroup a) a

Methods

getFirstParameter :: CommonGroup a -> a

setFirstParameter :: a -> CommonGroup a -> CommonGroup a

SecondParameter (CommonGroup a) SrcSpan

Methods

getSecondParameter :: CommonGroup a -> SrcSpan

setSecondParameter :: SrcSpan -> CommonGroup a -> CommonGroup a

type Rep (CommonGroup a)

type Rep (CommonGroup a) = D1 * (MetaData "CommonGroup" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "CommonGroup" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList Expression a))))))

data Namelist a

Constructors

Namelist a SrcSpan (Expression a) (AList Expression a)

Instances

Functor Namelist

Methods

fmap :: (a -> b) -> Namelist a -> Namelist b

(<$) :: a -> Namelist b -> Namelist a

Annotated Namelist

Methods

getAnnotation :: Namelist a -> a

setAnnotation :: a -> Namelist a -> Namelist a

modifyAnnotation :: (a -> a) -> Namelist a -> Namelist a

Eq a => Eq (Namelist a)

Methods

(==) :: Namelist a -> Namelist a -> Bool

(/=) :: Namelist a -> Namelist a -> Bool

Data a => Data (Namelist a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Namelist a -> c (Namelist a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Namelist a)

toConstr :: Namelist a -> Constr

dataTypeOf :: Namelist a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Namelist a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Namelist a))

gmapT :: (forall b. Data b => b -> b) -> Namelist a -> Namelist a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Namelist a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Namelist a -> r

gmapQ :: (forall d. Data d => d -> u) -> Namelist a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Namelist a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Namelist a -> m (Namelist a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Namelist a -> m (Namelist a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Namelist a -> m (Namelist a)

Show a => Show (Namelist a)

Methods

showsPrec :: Int -> Namelist a -> ShowS

show :: Namelist a -> String

showList :: [Namelist a] -> ShowS

Generic (Namelist a)

Associated Types

type Rep (Namelist a) :: * -> *

Methods

from :: Namelist a -> Rep (Namelist a) x

to :: Rep (Namelist a) x -> Namelist a

Out a => Out (Namelist a)

Methods

docPrec :: Int -> Namelist a -> Doc

doc :: Namelist a -> Doc

docList :: [Namelist a] -> Doc

Spanned (Namelist a)

Methods

getSpan :: Namelist a -> SrcSpan

setSpan :: SrcSpan -> Namelist a -> Namelist a

Pretty (Namelist a)

Methods

pprint' :: FortranVersion -> Namelist a -> Doc

FirstParameter (Namelist a) a

Methods

getFirstParameter :: Namelist a -> a

setFirstParameter :: a -> Namelist a -> Namelist a

SecondParameter (Namelist a) SrcSpan

Methods

getSecondParameter :: Namelist a -> SrcSpan

setSecondParameter :: SrcSpan -> Namelist a -> Namelist a

type Rep (Namelist a)

type Rep (Namelist a) = D1 * (MetaData "Namelist" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "Namelist" 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 * (AList Expression a))))))

data DataGroup a

Constructors

DataGroup a SrcSpan (AList Expression a) (AList Expression a)

Instances

Functor DataGroup

Methods

fmap :: (a -> b) -> DataGroup a -> DataGroup b

(<$) :: a -> DataGroup b -> DataGroup a

Annotated DataGroup

Methods

getAnnotation :: DataGroup a -> a

setAnnotation :: a -> DataGroup a -> DataGroup a

modifyAnnotation :: (a -> a) -> DataGroup a -> DataGroup a

Eq a => Eq (DataGroup a)

Methods

(==) :: DataGroup a -> DataGroup a -> Bool

(/=) :: DataGroup a -> DataGroup a -> Bool

Data a => Data (DataGroup a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataGroup a -> c (DataGroup a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DataGroup a)

toConstr :: DataGroup a -> Constr

dataTypeOf :: DataGroup a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (DataGroup a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DataGroup a))

gmapT :: (forall b. Data b => b -> b) -> DataGroup a -> DataGroup a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataGroup a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataGroup a -> r

gmapQ :: (forall d. Data d => d -> u) -> DataGroup a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataGroup a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataGroup a -> m (DataGroup a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataGroup a -> m (DataGroup a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataGroup a -> m (DataGroup a)

Show a => Show (DataGroup a)

Methods

showsPrec :: Int -> DataGroup a -> ShowS

show :: DataGroup a -> String

showList :: [DataGroup a] -> ShowS

Generic (DataGroup a)

Associated Types

type Rep (DataGroup a) :: * -> *

Methods

from :: DataGroup a -> Rep (DataGroup a) x

to :: Rep (DataGroup a) x -> DataGroup a

Out a => Out (DataGroup a)

Methods

docPrec :: Int -> DataGroup a -> Doc

doc :: DataGroup a -> Doc

docList :: [DataGroup a] -> Doc

Spanned (DataGroup a)

Methods

getSpan :: DataGroup a -> SrcSpan

setSpan :: SrcSpan -> DataGroup a -> DataGroup a

Pretty (DataGroup a)

Methods

pprint' :: FortranVersion -> DataGroup a -> Doc

FirstParameter (DataGroup a) a

Methods

getFirstParameter :: DataGroup a -> a

setFirstParameter :: a -> DataGroup a -> DataGroup a

SecondParameter (DataGroup a) SrcSpan

Methods

getSecondParameter :: DataGroup a -> SrcSpan

setSecondParameter :: SrcSpan -> DataGroup a -> DataGroup a

type Rep (DataGroup a)

type Rep (DataGroup a) = D1 * (MetaData "DataGroup" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "DataGroup" 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 * (AList Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList Expression a))))))

data StructureItem a

Constructors

StructFields a SrcSpan (TypeSpec a) (Maybe (AList Attribute a)) (AList Declarator a)

StructUnion a SrcSpan (AList UnionMap a)

StructStructure a SrcSpan (Maybe String) (AList StructureItem a)

Instances

Functor StructureItem

Methods

fmap :: (a -> b) -> StructureItem a -> StructureItem b

(<$) :: a -> StructureItem b -> StructureItem a

Annotated StructureItem

Methods

getAnnotation :: StructureItem a -> a

setAnnotation :: a -> StructureItem a -> StructureItem a

modifyAnnotation :: (a -> a) -> StructureItem a -> StructureItem a

Eq a => Eq (StructureItem a)

Methods

(==) :: StructureItem a -> StructureItem a -> Bool

(/=) :: StructureItem a -> StructureItem a -> Bool

Data a => Data (StructureItem a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StructureItem a -> c (StructureItem a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (StructureItem a)

toConstr :: StructureItem a -> Constr

dataTypeOf :: StructureItem a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (StructureItem a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (StructureItem a))

gmapT :: (forall b. Data b => b -> b) -> StructureItem a -> StructureItem a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StructureItem a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StructureItem a -> r

gmapQ :: (forall d. Data d => d -> u) -> StructureItem a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StructureItem a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StructureItem a -> m (StructureItem a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StructureItem a -> m (StructureItem a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StructureItem a -> m (StructureItem a)

Show a => Show (StructureItem a)

Methods

showsPrec :: Int -> StructureItem a -> ShowS

show :: StructureItem a -> String

showList :: [StructureItem a] -> ShowS

Generic (StructureItem a)

Associated Types

type Rep (StructureItem a) :: * -> *

Methods

from :: StructureItem a -> Rep (StructureItem a) x

to :: Rep (StructureItem a) x -> StructureItem a

Out a => Out (StructureItem a)

Methods

docPrec :: Int -> StructureItem a -> Doc

doc :: StructureItem a -> Doc

docList :: [StructureItem a] -> Doc

Spanned (StructureItem a)

Methods

getSpan :: StructureItem a -> SrcSpan

setSpan :: SrcSpan -> StructureItem a -> StructureItem a

IndentablePretty (StructureItem a)

Methods

pprint :: FortranVersion -> StructureItem a -> Indentation -> Doc

FirstParameter (StructureItem a) a

Methods

getFirstParameter :: StructureItem a -> a

setFirstParameter :: a -> StructureItem a -> StructureItem a

SecondParameter (StructureItem a) SrcSpan

Methods

getSecondParameter :: StructureItem a -> SrcSpan

setSecondParameter :: SrcSpan -> StructureItem a -> StructureItem a

type Rep (StructureItem a)

type Rep (StructureItem a) = D1 * (MetaData "StructureItem" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "StructFields" 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 * (Maybe (AList Attribute a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList Declarator a))))))) ((:+:) * (C1 * (MetaCons "StructUnion" 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 * (AList UnionMap a)))))) (C1 * (MetaCons "StructStructure" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList StructureItem a))))))))

data UnionMap a

Constructors

UnionMap a SrcSpan (AList StructureItem a)

Instances

Functor UnionMap

Methods

fmap :: (a -> b) -> UnionMap a -> UnionMap b

(<$) :: a -> UnionMap b -> UnionMap a

Annotated UnionMap

Methods

getAnnotation :: UnionMap a -> a

setAnnotation :: a -> UnionMap a -> UnionMap a

modifyAnnotation :: (a -> a) -> UnionMap a -> UnionMap a

Eq a => Eq (UnionMap a)

Methods

(==) :: UnionMap a -> UnionMap a -> Bool

(/=) :: UnionMap a -> UnionMap a -> Bool

Data a => Data (UnionMap a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnionMap a -> c (UnionMap a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UnionMap a)

toConstr :: UnionMap a -> Constr

dataTypeOf :: UnionMap a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (UnionMap a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UnionMap a))

gmapT :: (forall b. Data b => b -> b) -> UnionMap a -> UnionMap a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnionMap a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnionMap a -> r

gmapQ :: (forall d. Data d => d -> u) -> UnionMap a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UnionMap a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnionMap a -> m (UnionMap a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnionMap a -> m (UnionMap a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnionMap a -> m (UnionMap a)

Show a => Show (UnionMap a)

Methods

showsPrec :: Int -> UnionMap a -> ShowS

show :: UnionMap a -> String

showList :: [UnionMap a] -> ShowS

Generic (UnionMap a)

Associated Types

type Rep (UnionMap a) :: * -> *

Methods

from :: UnionMap a -> Rep (UnionMap a) x

to :: Rep (UnionMap a) x -> UnionMap a

Out a => Out (UnionMap a)

Methods

docPrec :: Int -> UnionMap a -> Doc

doc :: UnionMap a -> Doc

docList :: [UnionMap a] -> Doc

Spanned (UnionMap a)

Methods

getSpan :: UnionMap a -> SrcSpan

setSpan :: SrcSpan -> UnionMap a -> UnionMap a

IndentablePretty (UnionMap a)

Methods

pprint :: FortranVersion -> UnionMap a -> Indentation -> Doc

FirstParameter (UnionMap a) a

Methods

getFirstParameter :: UnionMap a -> a

setFirstParameter :: a -> UnionMap a -> UnionMap a

SecondParameter (UnionMap a) SrcSpan

Methods

getSecondParameter :: UnionMap a -> SrcSpan

setSecondParameter :: SrcSpan -> UnionMap a -> UnionMap a

type Rep (UnionMap a)

type Rep (UnionMap a) = D1 * (MetaData "UnionMap" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "UnionMap" 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 * (AList StructureItem a))))))

data FormatItem a

Constructors

FIFormatList a SrcSpan (Maybe String) (AList FormatItem a)

FIHollerith a SrcSpan (Value a)

FIDelimiter a SrcSpan

FIFieldDescriptorDEFG a SrcSpan (Maybe Integer) Char Integer Integer

FIFieldDescriptorAIL a SrcSpan (Maybe Integer) Char Integer

FIBlankDescriptor a SrcSpan Integer

FIScaleFactor a SrcSpan Integer

Instances

Functor FormatItem

Methods

fmap :: (a -> b) -> FormatItem a -> FormatItem b

(<$) :: a -> FormatItem b -> FormatItem a

Annotated FormatItem

Methods

getAnnotation :: FormatItem a -> a

setAnnotation :: a -> FormatItem a -> FormatItem a

modifyAnnotation :: (a -> a) -> FormatItem a -> FormatItem a

Eq a => Eq (FormatItem a)

Methods

(==) :: FormatItem a -> FormatItem a -> Bool

(/=) :: FormatItem a -> FormatItem a -> Bool

Data a => Data (FormatItem a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormatItem a -> c (FormatItem a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FormatItem a)

toConstr :: FormatItem a -> Constr

dataTypeOf :: FormatItem a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (FormatItem a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FormatItem a))

gmapT :: (forall b. Data b => b -> b) -> FormatItem a -> FormatItem a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormatItem a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormatItem a -> r

gmapQ :: (forall d. Data d => d -> u) -> FormatItem a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FormatItem a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormatItem a -> m (FormatItem a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormatItem a -> m (FormatItem a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormatItem a -> m (FormatItem a)

Show a => Show (FormatItem a)

Methods

showsPrec :: Int -> FormatItem a -> ShowS

show :: FormatItem a -> String

showList :: [FormatItem a] -> ShowS

Generic (FormatItem a)

Associated Types

type Rep (FormatItem a) :: * -> *

Methods

from :: FormatItem a -> Rep (FormatItem a) x

to :: Rep (FormatItem a) x -> FormatItem a

Out a => Out (FormatItem a)

Methods

docPrec :: Int -> FormatItem a -> Doc

doc :: FormatItem a -> Doc

docList :: [FormatItem a] -> Doc

Spanned (FormatItem a)

Methods

getSpan :: FormatItem a -> SrcSpan

setSpan :: SrcSpan -> FormatItem a -> FormatItem a

Pretty (FormatItem a)

Methods

pprint' :: FortranVersion -> FormatItem a -> Doc

FirstParameter (FormatItem a) a

Methods

getFirstParameter :: FormatItem a -> a

setFirstParameter :: a -> FormatItem a -> FormatItem a

SecondParameter (FormatItem a) SrcSpan

Methods

getSecondParameter :: FormatItem a -> SrcSpan

setSecondParameter :: SrcSpan -> FormatItem a -> FormatItem a

type Rep (FormatItem a)

type Rep (FormatItem a) = D1 * (MetaData "FormatItem" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * (C1 * (MetaCons "FIFormatList" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (AList FormatItem a)))))) ((:+:) * (C1 * (MetaCons "FIHollerith" 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 * (Value a)))))) (C1 * (MetaCons "FIDelimiter" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcSpan)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "FIFieldDescriptorDEFG" 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 * (Maybe Integer))))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Char)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)))))) (C1 * (MetaCons "FIFieldDescriptorAIL" 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 * (Maybe Integer))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Char)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer))))))) ((:+:) * (C1 * (MetaCons "FIBlankDescriptor" 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 * Integer))))) (C1 * (MetaCons "FIScaleFactor" 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 * Integer))))))))

data DoSpecification a

Constructors

DoSpecification a SrcSpan (Statement a) (Expression a) (Maybe (Expression a))

Instances

Functor DoSpecification

Methods

fmap :: (a -> b) -> DoSpecification a -> DoSpecification b

(<$) :: a -> DoSpecification b -> DoSpecification a

Annotated DoSpecification

Methods

getAnnotation :: DoSpecification a -> a

setAnnotation :: a -> DoSpecification a -> DoSpecification a

modifyAnnotation :: (a -> a) -> DoSpecification a -> DoSpecification a

Eq a => Eq (DoSpecification a)

Methods

(==) :: DoSpecification a -> DoSpecification a -> Bool

(/=) :: DoSpecification a -> DoSpecification a -> Bool

Data a => Data (DoSpecification a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DoSpecification a -> c (DoSpecification a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DoSpecification a)

toConstr :: DoSpecification a -> Constr

dataTypeOf :: DoSpecification a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (DoSpecification a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DoSpecification a))

gmapT :: (forall b. Data b => b -> b) -> DoSpecification a -> DoSpecification a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DoSpecification a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DoSpecification a -> r

gmapQ :: (forall d. Data d => d -> u) -> DoSpecification a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DoSpecification a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DoSpecification a -> m (DoSpecification a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DoSpecification a -> m (DoSpecification a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DoSpecification a -> m (DoSpecification a)

Show a => Show (DoSpecification a)

Methods

showsPrec :: Int -> DoSpecification a -> ShowS

show :: DoSpecification a -> String

showList :: [DoSpecification a] -> ShowS

Generic (DoSpecification a)

Associated Types

type Rep (DoSpecification a) :: * -> *

Methods

from :: DoSpecification a -> Rep (DoSpecification a) x

to :: Rep (DoSpecification a) x -> DoSpecification a

Out a => Out (DoSpecification a)

Methods

docPrec :: Int -> DoSpecification a -> Doc

doc :: DoSpecification a -> Doc

docList :: [DoSpecification a] -> Doc

Spanned (DoSpecification a)

Methods

getSpan :: DoSpecification a -> SrcSpan

setSpan :: SrcSpan -> DoSpecification a -> DoSpecification a

Pretty (DoSpecification a)

Methods

pprint' :: FortranVersion -> DoSpecification a -> Doc

FirstParameter (DoSpecification a) a

Methods

getFirstParameter :: DoSpecification a -> a

setFirstParameter :: a -> DoSpecification a -> DoSpecification a

SecondParameter (DoSpecification a) SrcSpan

Methods

getSecondParameter :: DoSpecification a -> SrcSpan

setSecondParameter :: SrcSpan -> DoSpecification a -> DoSpecification a

type Rep (DoSpecification a)

type Rep (DoSpecification a) = D1 * (MetaData "DoSpecification" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "DoSpecification" 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 * (Statement a))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a))))))))

data Expression a

Constructors

ExpValue a SrcSpan (Value a)

Use a value as an expression.

ExpBinary a SrcSpan BinaryOp (Expression a) (Expression a)

A binary operator applied to two expressions.

ExpUnary a SrcSpan UnaryOp (Expression a)

A unary operator applied to two expressions.

ExpSubscript a SrcSpan (Expression a) (AList Index a)

Array indexing

ExpDataRef a SrcSpan (Expression a) (Expression a)

% notation for variables inside data types

ExpFunctionCall a SrcSpan (Expression a) (Maybe (AList Argument a))

A function expression applied to a list of arguments.

ExpImpliedDo a SrcSpan (AList Expression a) (DoSpecification a)

Implied do (i.e. one-liner do loops)

ExpInitialisation a SrcSpan (AList Expression a)

Array initialisation

ExpReturnSpec a SrcSpan (Expression a)

Function return value specification

Instances

Functor Expression

Methods

fmap :: (a -> b) -> Expression a -> Expression b

(<$) :: a -> Expression b -> Expression a

Annotated Expression

Methods

getAnnotation :: Expression a -> a

setAnnotation :: a -> Expression a -> Expression a

modifyAnnotation :: (a -> a) -> Expression a -> Expression a

Eq a => Eq (Expression a)

Methods

(==) :: Expression a -> Expression a -> Bool

(/=) :: Expression a -> Expression a -> Bool

Data a => Data (Expression a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expression a -> c (Expression a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Expression a)

toConstr :: Expression a -> Constr

dataTypeOf :: Expression a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Expression a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Expression a))

gmapT :: (forall b. Data b => b -> b) -> Expression a -> Expression a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expression a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expression a -> r

gmapQ :: (forall d. Data d => d -> u) -> Expression a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expression a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expression a -> m (Expression a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression a -> m (Expression a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression a -> m (Expression a)

Show a => Show (Expression a)

Methods

showsPrec :: Int -> Expression a -> ShowS

show :: Expression a -> String

showList :: [Expression a] -> ShowS

Generic (Expression a)

Associated Types

type Rep (Expression a) :: * -> *

Methods

from :: Expression a -> Rep (Expression a) x

to :: Rep (Expression a) x -> Expression a

Out a => Out (Expression a)

Methods

docPrec :: Int -> Expression a -> Doc

doc :: Expression a -> Doc

docList :: [Expression a] -> Doc

Spanned (Expression a)

Methods

getSpan :: Expression a -> SrcSpan

setSpan :: SrcSpan -> Expression a -> Expression a

Pretty (Expression a)

Methods

pprint' :: FortranVersion -> Expression a -> Doc

FirstParameter (Expression a) a

Methods

getFirstParameter :: Expression a -> a

setFirstParameter :: a -> Expression a -> Expression a

SecondParameter (Expression a) SrcSpan

Methods

getSecondParameter :: Expression a -> SrcSpan

setSecondParameter :: SrcSpan -> Expression a -> Expression a

type Rep (Expression a)

type Rep (Expression a) = D1 * (MetaData "Expression" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ExpValue" 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 * (Value a)))))) (C1 * (MetaCons "ExpBinary" 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 * BinaryOp)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a)))))))) ((:+:) * (C1 * (MetaCons "ExpUnary" 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 * UnaryOp)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a)))))) (C1 * (MetaCons "ExpSubscript" 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 * (AList Index a)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "ExpDataRef" 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 "ExpFunctionCall" 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 * (Maybe (AList Argument a)))))))) ((:+:) * (C1 * (MetaCons "ExpImpliedDo" 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 * (AList Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DoSpecification a)))))) ((:+:) * (C1 * (MetaCons "ExpInitialisation" 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 * (AList Expression a)))))) (C1 * (MetaCons "ExpReturnSpec" 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))))))))))

data Index a

Constructors

IxSingle a SrcSpan (Maybe String) (Expression a)

IxRange a SrcSpan (Maybe (Expression a)) (Maybe (Expression a)) (Maybe (Expression a))

Instances

Functor Index

Methods

fmap :: (a -> b) -> Index a -> Index b

(<$) :: a -> Index b -> Index a

Annotated Index

Methods

getAnnotation :: Index a -> a

setAnnotation :: a -> Index a -> Index a

modifyAnnotation :: (a -> a) -> Index a -> Index a

Eq a => Eq (Index a)

Methods

(==) :: Index a -> Index a -> Bool

(/=) :: Index a -> Index a -> Bool

Data a => Data (Index a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Index a -> c (Index a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Index a)

toConstr :: Index a -> Constr

dataTypeOf :: Index a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Index a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Index a))

gmapT :: (forall b. Data b => b -> b) -> Index a -> Index a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Index a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Index a -> r

gmapQ :: (forall d. Data d => d -> u) -> Index a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Index a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Index a -> m (Index a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Index a -> m (Index a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Index a -> m (Index a)

Show a => Show (Index a)

Methods

showsPrec :: Int -> Index a -> ShowS

show :: Index a -> String

showList :: [Index a] -> ShowS

Generic (Index a)

Associated Types

type Rep (Index a) :: * -> *

Methods

from :: Index a -> Rep (Index a) x

to :: Rep (Index a) x -> Index a

Out a => Out (Index a)

Methods

docPrec :: Int -> Index a -> Doc

doc :: Index a -> Doc

docList :: [Index a] -> Doc

Spanned (Index a)

Methods

getSpan :: Index a -> SrcSpan

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

Pretty (Index a)

Methods

pprint' :: FortranVersion -> Index a -> Doc

FirstParameter (Index a) a

Methods

getFirstParameter :: Index a -> a

setFirstParameter :: a -> Index a -> Index a

SecondParameter (Index a) SrcSpan

Methods

getSecondParameter :: Index a -> SrcSpan

setSecondParameter :: SrcSpan -> Index a -> Index a

type Rep (Index a)

type Rep (Index a) = D1 * (MetaData "Index" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "IxSingle" 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 * (Maybe String))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a)))))) (C1 * (MetaCons "IxRange" 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 * (Maybe (Expression a)))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))))

data Value a

Constructors

ValInteger String

The string representation of an integer literal

ValReal String

The string representation of a real literal

ValComplex (Expression a) (Expression a)

The real and imaginary parts of a complex value

ValString String

A string literal

ValHollerith String

A Hollerith literal

ValVariable Name

The name of a variable

ValIntrinsic Name

The name of a built-in function

ValLogical String

A boolean value

ValOperator String

User-defined operators in interfaces

ValAssignment

Overloaded assignment in interfaces

ValType String

ValStar

Instances

Functor Value

Methods

fmap :: (a -> b) -> Value a -> Value b

(<$) :: a -> Value b -> Value a

Eq a => Eq (Value a)

Methods

(==) :: Value a -> Value a -> Bool

(/=) :: Value a -> Value a -> Bool

Data a => Data (Value a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value a -> c (Value a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Value a)

toConstr :: Value a -> Constr

dataTypeOf :: Value a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Value a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Value a))

gmapT :: (forall b. Data b => b -> b) -> Value a -> Value a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value a -> r

gmapQ :: (forall d. Data d => d -> u) -> Value a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value a -> m (Value a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value a -> m (Value a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value a -> m (Value a)

Show a => Show (Value a)

Methods

showsPrec :: Int -> Value a -> ShowS

show :: Value a -> String

showList :: [Value a] -> ShowS

Generic (Value a)

Associated Types

type Rep (Value a) :: * -> *

Methods

from :: Value a -> Rep (Value a) x

to :: Rep (Value a) x -> Value a

Out a => Out (Value a)

Methods

docPrec :: Int -> Value a -> Doc

doc :: Value a -> Doc

docList :: [Value a] -> Doc

Pretty (Value a)

Methods

pprint' :: FortranVersion -> Value a -> Doc

type Rep (Value a)

type Rep (Value a) = D1 * (MetaData "Value" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ValInteger" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) ((:+:) * (C1 * (MetaCons "ValReal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) (C1 * (MetaCons "ValComplex" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Expression a))))))) ((:+:) * (C1 * (MetaCons "ValString" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) ((:+:) * (C1 * (MetaCons "ValHollerith" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) (C1 * (MetaCons "ValVariable" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "ValIntrinsic" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name))) ((:+:) * (C1 * (MetaCons "ValLogical" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) (C1 * (MetaCons "ValOperator" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))) ((:+:) * (C1 * (MetaCons "ValAssignment" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ValType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) (C1 * (MetaCons "ValStar" PrefixI False) (U1 *))))))

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

Functor Declarator

Methods

fmap :: (a -> b) -> Declarator a -> Declarator b

(<$) :: a -> Declarator b -> Declarator a

Annotated Declarator

Methods

getAnnotation :: Declarator a -> a

setAnnotation :: a -> Declarator a -> Declarator a

modifyAnnotation :: (a -> a) -> Declarator a -> Declarator a

Eq a => Eq (Declarator a)

Methods

(==) :: Declarator a -> Declarator a -> Bool

(/=) :: Declarator a -> Declarator a -> Bool

Data a => Data (Declarator a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Declarator a -> c (Declarator a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Declarator a)

toConstr :: Declarator a -> Constr

dataTypeOf :: Declarator a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Declarator a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Declarator a))

gmapT :: (forall b. Data b => b -> b) -> Declarator a -> Declarator a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Declarator a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Declarator a -> r

gmapQ :: (forall d. Data d => d -> u) -> Declarator a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Declarator a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Declarator a -> m (Declarator a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Declarator a -> m (Declarator a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Declarator a -> m (Declarator a)

Show a => Show (Declarator a)

Methods

showsPrec :: Int -> Declarator a -> ShowS

show :: Declarator a -> String

showList :: [Declarator a] -> ShowS

Generic (Declarator a)

Associated Types

type Rep (Declarator a) :: * -> *

Methods

from :: Declarator a -> Rep (Declarator a) x

to :: Rep (Declarator a) x -> Declarator a

Out a => Out (Declarator a)

Methods

docPrec :: Int -> Declarator a -> Doc

doc :: Declarator a -> Doc

docList :: [Declarator a] -> Doc

Spanned (Declarator a)

Methods

getSpan :: Declarator a -> SrcSpan

setSpan :: SrcSpan -> Declarator a -> Declarator a

Pretty (Declarator a)

Methods

pprint' :: FortranVersion -> Declarator a -> Doc

FirstParameter (Declarator a) a

Methods

getFirstParameter :: Declarator a -> a

setFirstParameter :: a -> Declarator a -> Declarator a

SecondParameter (Declarator a) SrcSpan

Methods

getSecondParameter :: Declarator a -> SrcSpan

setSecondParameter :: SrcSpan -> Declarator a -> Declarator a

type Rep (Declarator a)

type Rep (Declarator a) = D1 * (MetaData "Declarator" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * (C1 * (MetaCons "DeclVariable" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))) (C1 * (MetaCons "DeclArray" 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 * (AList DimensionDeclarator a))) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))))

setInitialisation :: Declarator a -> Expression a -> Declarator a

data DimensionDeclarator a

Constructors

DimensionDeclarator a SrcSpan (Maybe (Expression a)) (Maybe (Expression a))

Instances

Functor DimensionDeclarator

Methods

fmap :: (a -> b) -> DimensionDeclarator a -> DimensionDeclarator b

(<$) :: a -> DimensionDeclarator b -> DimensionDeclarator a

Annotated DimensionDeclarator

Methods

getAnnotation :: DimensionDeclarator a -> a

setAnnotation :: a -> DimensionDeclarator a -> DimensionDeclarator a

modifyAnnotation :: (a -> a) -> DimensionDeclarator a -> DimensionDeclarator a

Eq a => Eq (DimensionDeclarator a)

Methods

(==) :: DimensionDeclarator a -> DimensionDeclarator a -> Bool

(/=) :: DimensionDeclarator a -> DimensionDeclarator a -> Bool

Data a => Data (DimensionDeclarator a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DimensionDeclarator a -> c (DimensionDeclarator a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DimensionDeclarator a)

toConstr :: DimensionDeclarator a -> Constr

dataTypeOf :: DimensionDeclarator a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (DimensionDeclarator a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DimensionDeclarator a))

gmapT :: (forall b. Data b => b -> b) -> DimensionDeclarator a -> DimensionDeclarator a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DimensionDeclarator a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DimensionDeclarator a -> r

gmapQ :: (forall d. Data d => d -> u) -> DimensionDeclarator a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DimensionDeclarator a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DimensionDeclarator a -> m (DimensionDeclarator a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DimensionDeclarator a -> m (DimensionDeclarator a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DimensionDeclarator a -> m (DimensionDeclarator a)

Show a => Show (DimensionDeclarator a)

Methods

showsPrec :: Int -> DimensionDeclarator a -> ShowS

show :: DimensionDeclarator a -> String

showList :: [DimensionDeclarator a] -> ShowS

Generic (DimensionDeclarator a)

Associated Types

type Rep (DimensionDeclarator a) :: * -> *

Methods

from :: DimensionDeclarator a -> Rep (DimensionDeclarator a) x

to :: Rep (DimensionDeclarator a) x -> DimensionDeclarator a

Out a => Out (DimensionDeclarator a)

Methods

docPrec :: Int -> DimensionDeclarator a -> Doc

doc :: DimensionDeclarator a -> Doc

docList :: [DimensionDeclarator a] -> Doc

Spanned (DimensionDeclarator a)

Methods

getSpan :: DimensionDeclarator a -> SrcSpan

setSpan :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a

Pretty (DimensionDeclarator a)

Methods

pprint' :: FortranVersion -> DimensionDeclarator a -> Doc

FirstParameter (DimensionDeclarator a) a

Methods

getFirstParameter :: DimensionDeclarator a -> a

setFirstParameter :: a -> DimensionDeclarator a -> DimensionDeclarator a

SecondParameter (DimensionDeclarator a) SrcSpan

Methods

getSecondParameter :: DimensionDeclarator a -> SrcSpan

setSecondParameter :: SrcSpan -> DimensionDeclarator a -> DimensionDeclarator a

type Rep (DimensionDeclarator a)

type Rep (DimensionDeclarator a) = D1 * (MetaData "DimensionDeclarator" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) (C1 * (MetaCons "DimensionDeclarator" 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 * (Maybe (Expression a)))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Expression a)))))))

data UnaryOp

Constructors

Plus

Minus

Not

UnCustom String

Instances

Eq UnaryOp

Methods

(==) :: UnaryOp -> UnaryOp -> Bool

(/=) :: UnaryOp -> UnaryOp -> Bool

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

Methods

showsPrec :: Int -> UnaryOp -> ShowS

show :: UnaryOp -> String

showList :: [UnaryOp] -> ShowS

Generic UnaryOp

Associated Types

type Rep UnaryOp :: * -> *

Methods

from :: UnaryOp -> Rep UnaryOp x

to :: Rep UnaryOp x -> UnaryOp

Out UnaryOp

Methods

docPrec :: Int -> UnaryOp -> Doc

doc :: UnaryOp -> Doc

docList :: [UnaryOp] -> Doc

Pretty UnaryOp

Methods

pprint' :: FortranVersion -> UnaryOp -> Doc

type Rep UnaryOp

type Rep UnaryOp = D1 * (MetaData "UnaryOp" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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)))))

data BinaryOp

Constructors

Addition

Subtraction

Multiplication

Division

Exponentiation

Concatenation

GT

GTE

LT

LTE

EQ

NE

Or

XOr

And

Equivalent

NotEquivalent

BinCustom String

Instances

Eq BinaryOp

Methods

(==) :: BinaryOp -> BinaryOp -> Bool

(/=) :: BinaryOp -> BinaryOp -> Bool

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

Methods

showsPrec :: Int -> BinaryOp -> ShowS

show :: BinaryOp -> String

showList :: [BinaryOp] -> ShowS

Generic BinaryOp

Associated Types

type Rep BinaryOp :: * -> *

Methods

from :: BinaryOp -> Rep BinaryOp x

to :: Rep BinaryOp x -> BinaryOp

Out BinaryOp

Methods

docPrec :: Int -> BinaryOp -> Doc

doc :: BinaryOp -> Doc

docList :: [BinaryOp] -> Doc

Pretty BinaryOp

Methods

pprint' :: FortranVersion -> BinaryOp -> Doc

type Rep BinaryOp

type Rep BinaryOp = D1 * (MetaData "BinaryOp" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" 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 "XOr" 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))))))))

class Annotated f where

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

Annotated DimensionDeclarator

Methods

getAnnotation :: DimensionDeclarator a -> a

setAnnotation :: a -> DimensionDeclarator a -> DimensionDeclarator a

modifyAnnotation :: (a -> a) -> DimensionDeclarator a -> DimensionDeclarator a

Annotated Declarator

Methods

getAnnotation :: Declarator a -> a

setAnnotation :: a -> Declarator a -> Declarator a

modifyAnnotation :: (a -> a) -> Declarator a -> Declarator a

Annotated Index

Methods

getAnnotation :: Index a -> a

setAnnotation :: a -> Index a -> Index a

modifyAnnotation :: (a -> a) -> Index a -> Index a

Annotated Expression

Methods

getAnnotation :: Expression a -> a

setAnnotation :: a -> Expression a -> Expression a

modifyAnnotation :: (a -> a) -> Expression a -> Expression a

Annotated DoSpecification

Methods

getAnnotation :: DoSpecification a -> a

setAnnotation :: a -> DoSpecification a -> DoSpecification a

modifyAnnotation :: (a -> a) -> DoSpecification a -> DoSpecification a

Annotated FormatItem

Methods

getAnnotation :: FormatItem a -> a

setAnnotation :: a -> FormatItem a -> FormatItem a

modifyAnnotation :: (a -> a) -> FormatItem a -> FormatItem a

Annotated UnionMap

Methods

getAnnotation :: UnionMap a -> a

setAnnotation :: a -> UnionMap a -> UnionMap a

modifyAnnotation :: (a -> a) -> UnionMap a -> UnionMap a

Annotated StructureItem

Methods

getAnnotation :: StructureItem a -> a

setAnnotation :: a -> StructureItem a -> StructureItem a

modifyAnnotation :: (a -> a) -> StructureItem a -> StructureItem a

Annotated DataGroup

Methods

getAnnotation :: DataGroup a -> a

setAnnotation :: a -> DataGroup a -> DataGroup a

modifyAnnotation :: (a -> a) -> DataGroup a -> DataGroup a

Annotated Namelist

Methods

getAnnotation :: Namelist a -> a

setAnnotation :: a -> Namelist a -> Namelist a

modifyAnnotation :: (a -> a) -> Namelist a -> Namelist a

Annotated CommonGroup

Methods

getAnnotation :: CommonGroup a -> a

setAnnotation :: a -> CommonGroup a -> CommonGroup a

modifyAnnotation :: (a -> a) -> CommonGroup a -> CommonGroup a

Annotated ImpElement

Methods

getAnnotation :: ImpElement a -> a

setAnnotation :: a -> ImpElement a -> ImpElement a

modifyAnnotation :: (a -> a) -> ImpElement a -> ImpElement a

Annotated ImpList

Methods

getAnnotation :: ImpList a -> a

setAnnotation :: a -> ImpList a -> ImpList a

modifyAnnotation :: (a -> a) -> ImpList a -> ImpList a

Annotated ControlPair

Methods

getAnnotation :: ControlPair a -> a

setAnnotation :: a -> ControlPair a -> ControlPair a

modifyAnnotation :: (a -> a) -> ControlPair a -> ControlPair a

Annotated Attribute

Methods

getAnnotation :: Attribute a -> a

setAnnotation :: a -> Attribute a -> Attribute a

modifyAnnotation :: (a -> a) -> Attribute a -> Attribute a

Annotated Argument

Methods

getAnnotation :: Argument a -> a

setAnnotation :: a -> Argument a -> Argument a

modifyAnnotation :: (a -> a) -> Argument a -> Argument a

Annotated Use

Methods

getAnnotation :: Use a -> a

setAnnotation :: a -> Use a -> Use a

modifyAnnotation :: (a -> a) -> Use a -> Use a

Annotated Statement

Methods

getAnnotation :: Statement a -> a

setAnnotation :: a -> Statement a -> Statement a

modifyAnnotation :: (a -> a) -> Statement a -> Statement a

Annotated Block

Methods

getAnnotation :: Block a -> a

setAnnotation :: a -> Block a -> Block a

modifyAnnotation :: (a -> a) -> Block a -> Block a

Annotated ProgramUnit

Methods

getAnnotation :: ProgramUnit a -> a

setAnnotation :: a -> ProgramUnit a -> ProgramUnit a

modifyAnnotation :: (a -> a) -> ProgramUnit a -> ProgramUnit a

Annotated Selector

Methods

getAnnotation :: Selector a -> a

setAnnotation :: a -> Selector a -> Selector a

modifyAnnotation :: (a -> a) -> Selector a -> Selector a

Annotated TypeSpec

Methods

getAnnotation :: TypeSpec a -> a

setAnnotation :: a -> TypeSpec a -> TypeSpec a

modifyAnnotation :: (a -> a) -> TypeSpec a -> TypeSpec a

Annotated LValue

Methods

getAnnotation :: LValue a -> a

setAnnotation :: a -> LValue a -> LValue a

modifyAnnotation :: (a -> a) -> LValue a -> LValue a

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

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

Minimal complete definition

getTransSpan

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

class Labeled f where

Minimal complete definition

getLabel, getLastLabel, setLabel

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

getCondition

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

Eq ProgramUnitName

Methods

(==) :: ProgramUnitName -> ProgramUnitName -> Bool

(/=) :: ProgramUnitName -> ProgramUnitName -> Bool

Data ProgramUnitName

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProgramUnitName -> c ProgramUnitName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProgramUnitName

toConstr :: ProgramUnitName -> Constr

dataTypeOf :: ProgramUnitName -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ProgramUnitName)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProgramUnitName)

gmapT :: (forall b. Data b => b -> b) -> ProgramUnitName -> ProgramUnitName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProgramUnitName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProgramUnitName -> r

gmapQ :: (forall d. Data d => d -> u) -> ProgramUnitName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ProgramUnitName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProgramUnitName -> m ProgramUnitName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProgramUnitName -> m ProgramUnitName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProgramUnitName -> m ProgramUnitName

Ord ProgramUnitName

Methods

compare :: ProgramUnitName -> ProgramUnitName -> Ordering

(<) :: ProgramUnitName -> ProgramUnitName -> Bool

(<=) :: ProgramUnitName -> ProgramUnitName -> Bool

(>) :: ProgramUnitName -> ProgramUnitName -> Bool

(>=) :: ProgramUnitName -> ProgramUnitName -> Bool

max :: ProgramUnitName -> ProgramUnitName -> ProgramUnitName

min :: ProgramUnitName -> ProgramUnitName -> ProgramUnitName

Show ProgramUnitName

Methods

showsPrec :: Int -> ProgramUnitName -> ShowS

show :: ProgramUnitName -> String

showList :: [ProgramUnitName] -> ShowS

Generic ProgramUnitName

Associated Types

type Rep ProgramUnitName :: * -> *

Methods

from :: ProgramUnitName -> Rep ProgramUnitName x

to :: Rep ProgramUnitName x -> ProgramUnitName

Binary ProgramUnitName

Methods

put :: ProgramUnitName -> Put

get :: Get ProgramUnitName

putList :: [ProgramUnitName] -> Put

type Rep ProgramUnitName

type Rep ProgramUnitName = D1 * (MetaData "ProgramUnitName" "Language.Fortran.AST" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * (C1 * (MetaCons "Named" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) (C1 * (MetaCons "NamelessBlockData" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "NamelessComment" PrefixI False) (U1 *)) (C1 * (MetaCons "NamelessMain" PrefixI False) (U1 *))))

class Named a where

Minimal complete definition

getName, setName

Methods

getName :: a -> ProgramUnitName

setName :: ProgramUnitName -> a -> a

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]

Methods

getSpan :: [a] -> SrcSpan

setSpan :: SrcSpan -> [a] -> [a]

(Spanned a, Spanned b) => Spanned (Maybe a, b)

Methods

getSpan :: (Maybe a, b) -> SrcSpan

setSpan :: SrcSpan -> (Maybe a, b) -> (Maybe a, b)

(Spanned a, Spanned b) => Spanned (a, b)

Methods

getSpan :: (a, b) -> SrcSpan

setSpan :: SrcSpan -> (a, b) -> (a, b)

(Spanned a, Spanned b) => Spanned (a, Maybe b)

Methods

getSpan :: (a, Maybe b) -> SrcSpan

setSpan :: SrcSpan -> (a, Maybe b) -> (a, Maybe b)

(Spanned a, Spanned b, Spanned c) => Spanned (Maybe a, b, c)

Methods

getSpan :: (Maybe a, b, c) -> SrcSpan

setSpan :: SrcSpan -> (Maybe a, b, c) -> (Maybe a, b, c)

(Spanned a, Spanned b, Spanned c) => Spanned (Maybe a, Maybe b, Maybe c)

Methods

getSpan :: (Maybe a, Maybe b, Maybe c) -> SrcSpan

setSpan :: SrcSpan -> (Maybe a, Maybe b, Maybe c) -> (Maybe a, Maybe b, Maybe c)

(Spanned a, Spanned b, Spanned c) => Spanned (a, b, c)

Methods

getSpan :: (a, b, c) -> SrcSpan

setSpan :: SrcSpan -> (a, b, c) -> (a, b, c)

(Spanned a, Spanned b, Spanned c) => Spanned (a, Maybe b, Maybe c)

Methods

getSpan :: (a, Maybe b, Maybe c) -> SrcSpan

setSpan :: SrcSpan -> (a, Maybe b, Maybe c) -> (a, Maybe b, Maybe c)