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 a, Eq (t a)) => Eq (AList t a)

Methods

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

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

(Data a, Data (t 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 a, Show (t 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

SecondParameter (AList t a) SrcSpan

Methods

getSecondParameter :: AList t a -> SrcSpan

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

FirstParameter (AList t a) a

Methods

getFirstParameter :: AList t a -> a

setFirstParameter :: a -> 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.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

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

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

type Rep BaseType

type Rep BaseType = D1 (MetaData "BaseType" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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))))))

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

SecondParameter (TypeSpec a) SrcSpan

Methods

getSecondParameter :: TypeSpec a -> SrcSpan

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

FirstParameter (TypeSpec a) a

Methods

getFirstParameter :: TypeSpec a -> a

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

type Rep (TypeSpec a)

type Rep (TypeSpec a) = D1 (MetaData "TypeSpec" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (Selector a) SrcSpan

Methods

getSecondParameter :: Selector a -> SrcSpan

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

FirstParameter (Selector a) a

Methods

getFirstParameter :: Selector a -> a

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

type Rep (Selector a)

type Rep (Selector a) = D1 (MetaData "Selector" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

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.1.0.2-7wk5StG8EXm2GNwWT3coX7" False) (C1 (MetaCons "MetaInfo" PrefixI True) (S1 (MetaSel (Just Symbol "miVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FortranVersion)))

data ProgramFile a

Constructors

ProgramFile MetaInfo [([Block a], ProgramUnit a)] [Block 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

type Rep (ProgramFile a)

type Rep (ProgramFile a) = D1 (MetaData "ProgramFile" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" False) (C1 (MetaCons "ProgramFile" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MetaInfo)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Block a], ProgramUnit a)])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block a])))))

data ProgramUnit a

Constructors

PUMain a SrcSpan (Maybe Name) [Block a] (Maybe [ProgramUnit a])

PUModule a SrcSpan Name [Block a] (Maybe [ProgramUnit a])

PUSubroutine a SrcSpan Bool Name (Maybe (AList Expression a)) [Block a] (Maybe [ProgramUnit a])

PUFunction a SrcSpan (Maybe (TypeSpec a)) Bool Name (Maybe (AList Expression a)) (Maybe (Expression a)) [Block a] (Maybe [ProgramUnit a])

PUBlockData a SrcSpan (Maybe Name) [Block a]

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

SecondParameter (ProgramUnit a) SrcSpan

Methods

getSecondParameter :: ProgramUnit a -> SrcSpan

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

FirstParameter (ProgramUnit a) a

Methods

getFirstParameter :: ProgramUnit a -> a

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

type Rep (ProgramUnit a)

type Rep (ProgramUnit a) = D1 (MetaData "ProgramUnit" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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 Bool)))) ((:*:) ((:*:) (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 Bool)))) ((:*:) ((:*:) (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]))))))))

data Block a

Constructors

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

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

BlCase a SrcSpan (Maybe (Expression a)) (Expression a) [Maybe (AList Index a)] [[Block a]]

BlDo a SrcSpan (Maybe (Expression a)) (Maybe (DoSpecification a)) [Block a]

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

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

BlComment a SrcSpan String

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)

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

SecondParameter (Block a) SrcSpan

Methods

getSecondParameter :: Block a -> SrcSpan

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

FirstParameter (Block a) a

Methods

getFirstParameter :: Block a -> a

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

type Rep (Block a)

type Rep (Block a) = D1 (MetaData "Block" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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 "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 (Expression a)])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block 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 (Expression a))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe (AList Index a)])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block 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 (DoSpecification a)))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block 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 (Expression a))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block 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 String))))))))

data Statement a

Constructors

StDeclaration a SrcSpan (TypeSpec a) (Maybe (AList Attribute a)) (AList Declarator 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)

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)

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

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

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

SecondParameter (Statement a) SrcSpan

Methods

getSecondParameter :: Statement a -> SrcSpan

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

FirstParameter (Statement a) a

Methods

getFirstParameter :: Statement a -> a

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

type Rep (Statement a)

type Rep (Statement a) = D1 (MetaData "Statement" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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 "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 "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)))))) (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 (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 "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 (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 "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 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

SecondParameter (Use a) SrcSpan

Methods

getSecondParameter :: Use a -> SrcSpan

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

FirstParameter (Use a) a

Methods

getFirstParameter :: Use a -> a

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

type Rep (Use a)

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

SecondParameter (Argument a) SrcSpan

Methods

getSecondParameter :: Argument a -> SrcSpan

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

FirstParameter (Argument a) a

Methods

getFirstParameter :: Argument a -> a

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

type Rep (Argument a)

type Rep (Argument a) = D1 (MetaData "Argument" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (Attribute a) SrcSpan

Methods

getSecondParameter :: Attribute a -> SrcSpan

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

FirstParameter (Attribute a) a

Methods

getFirstParameter :: Attribute a -> a

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

type Rep (Attribute a)

type Rep (Attribute a) = D1 (MetaData "Attribute" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

type Rep Intent

type Rep Intent = D1 (MetaData "Intent" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (ControlPair a) SrcSpan

Methods

getSecondParameter :: ControlPair a -> SrcSpan

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

FirstParameter (ControlPair a) a

Methods

getFirstParameter :: ControlPair a -> a

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

type Rep (ControlPair a)

type Rep (ControlPair a) = D1 (MetaData "ControlPair" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (ImpList a) SrcSpan

Methods

getSecondParameter :: ImpList a -> SrcSpan

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

FirstParameter (ImpList a) a

Methods

getFirstParameter :: ImpList a -> a

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

type Rep (ImpList a)

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

SecondParameter (ImpElement a) SrcSpan

Methods

getSecondParameter :: ImpElement a -> SrcSpan

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

FirstParameter (ImpElement a) a

Methods

getFirstParameter :: ImpElement a -> a

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

type Rep (ImpElement a)

type Rep (ImpElement a) = D1 (MetaData "ImpElement" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (CommonGroup a) SrcSpan

Methods

getSecondParameter :: CommonGroup a -> SrcSpan

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

FirstParameter (CommonGroup a) a

Methods

getFirstParameter :: CommonGroup a -> a

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

type Rep (CommonGroup a)

type Rep (CommonGroup a) = D1 (MetaData "CommonGroup" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (Namelist a) SrcSpan

Methods

getSecondParameter :: Namelist a -> SrcSpan

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

FirstParameter (Namelist a) a

Methods

getFirstParameter :: Namelist a -> a

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

type Rep (Namelist a)

type Rep (Namelist a) = D1 (MetaData "Namelist" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (DataGroup a) SrcSpan

Methods

getSecondParameter :: DataGroup a -> SrcSpan

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

FirstParameter (DataGroup a) a

Methods

getFirstParameter :: DataGroup a -> a

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

type Rep (DataGroup a)

type Rep (DataGroup a) = D1 (MetaData "DataGroup" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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 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

SecondParameter (FormatItem a) SrcSpan

Methods

getSecondParameter :: FormatItem a -> SrcSpan

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

FirstParameter (FormatItem a) a

Methods

getFirstParameter :: FormatItem a -> a

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

type Rep (FormatItem a)

type Rep (FormatItem a) = D1 (MetaData "FormatItem" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (DoSpecification a) SrcSpan

Methods

getSecondParameter :: DoSpecification a -> SrcSpan

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

FirstParameter (DoSpecification a) a

Methods

getFirstParameter :: DoSpecification a -> a

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

type Rep (DoSpecification a)

type Rep (DoSpecification a) = D1 (MetaData "DoSpecification" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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)

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

ExpUnary a SrcSpan UnaryOp (Expression a)

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

ExpDataRef a SrcSpan (Expression a) (Expression a)

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

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

ExpInitialisation a SrcSpan (AList Expression a)

ExpReturnSpec a SrcSpan (Expression a)

Instances

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

SecondParameter (Expression a) SrcSpan

Methods

getSecondParameter :: Expression a -> SrcSpan

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

FirstParameter (Expression a) a

Methods

getFirstParameter :: Expression a -> a

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

type Rep (Expression a)

type Rep (Expression a) = D1 (MetaData "Expression" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (Index a) SrcSpan

Methods

getSecondParameter :: Index a -> SrcSpan

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

FirstParameter (Index a) a

Methods

getFirstParameter :: Index a -> a

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

type Rep (Index a)

type Rep (Index a) = D1 (MetaData "Index" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

ValReal String

ValComplex (Expression a) (Expression a)

ValString String

ValHollerith String

ValVariable Name

ValLogical String

ValOperator String

ValAssignment

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

type Rep (Value a)

type Rep (Value a) = D1 (MetaData "Value" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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 "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

SecondParameter (Declarator a) SrcSpan

Methods

getSecondParameter :: Declarator a -> SrcSpan

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

FirstParameter (Declarator a) a

Methods

getFirstParameter :: Declarator a -> a

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

type Rep (Declarator a)

type Rep (Declarator a) = D1 (MetaData "Declarator" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

SecondParameter (DimensionDeclarator a) SrcSpan

Methods

getSecondParameter :: DimensionDeclarator a -> SrcSpan

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

FirstParameter (DimensionDeclarator a) a

Methods

getFirstParameter :: DimensionDeclarator a -> a

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

type Rep (DimensionDeclarator a)

type Rep (DimensionDeclarator a) = D1 (MetaData "DimensionDeclarator" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

type Rep UnaryOp

type Rep UnaryOp = D1 (MetaData "UnaryOp" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" 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

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

type Rep BinaryOp

type Rep BinaryOp = D1 (MetaData "BinaryOp" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Addition" PrefixI False) U1) (C1 (MetaCons "Subtraction" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Multiplication" PrefixI False) U1) (C1 (MetaCons "Division" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Exponentiation" PrefixI False) U1) (C1 (MetaCons "Concatenation" PrefixI False) U1)) ((:+:) (C1 (MetaCons "GT" PrefixI False) U1) (C1 (MetaCons "GTE" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LT" PrefixI False) U1) (C1 (MetaCons "LTE" PrefixI False) U1)) ((:+:) (C1 (MetaCons "EQ" PrefixI False) U1) (C1 (MetaCons "NE" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Or" PrefixI False) U1) (C1 (MetaCons "And" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Equivalent" PrefixI False) U1) ((:+:) (C1 (MetaCons "NotEquivalent" PrefixI False) U1) (C1 (MetaCons "BinCustom" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))))

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

getTransSpan :: (Spanned a, Spanned b) => a -> b -> SrcSpan

class Labeled f where

Minimal complete definition

getLabel, setLabel

Methods

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

setLabel :: f a -> Expression a -> f a

Instances

Labeled Block

Methods

getLabel :: 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

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

type Rep ProgramUnitName

type Rep ProgramUnitName = D1 (MetaData "ProgramUnitName" "Language.Fortran.AST" "fortran-src-0.1.0.2-7wk5StG8EXm2GNwWT3coX7" False) ((:+:) (C1 (MetaCons "Named" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "NamelessBlockData" 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

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)