Language.Fortran.Analysis

Common data structures and functions supporting analysis of the AST.

Documentation

initAnalysis :: Functor b => b a -> b (Analysis a)

Create analysis annotations for the program, saving the original annotations.

stripAnalysis :: Functor b => b (Analysis a) -> b a

Remove analysis annotations from the program, restoring the original annotations.

data Analysis a

Constructors

Analysis

Fields

• prevAnnotation :: a

  original annotation

• uniqueName :: Maybe String

  unique name for function/variable, after variable renaming phase

• sourceName :: Maybe String

  original name for function/variable found in source text

• bBlocks :: Maybe (BBGr (Analysis a))

  basic block graph

• insLabel :: Maybe Int

  unique number for each block during dataflow analysis

• moduleEnv :: Maybe ModEnv
• idType :: Maybe IDType
• allLhsVarsAnn :: [Name]
• constExp :: Maybe Constant

Instances

Functor Analysis

Defined in Language.Fortran.Analysis

Methods

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

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

Eq a => Eq (Analysis a)

Defined in Language.Fortran.Analysis

Methods

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

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

Data a => Data (Analysis a)

Defined in Language.Fortran.Analysis

Methods

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

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

toConstr :: Analysis a -> Constr

dataTypeOf :: Analysis a -> DataType

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

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

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

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

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

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

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

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

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

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

Show a => Show (Analysis a)

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> Analysis a -> ShowS

show :: Analysis a -> String

showList :: [Analysis a] -> ShowS

Generic (Analysis a)

Defined in Language.Fortran.Analysis

Associated Types

type Rep (Analysis a) :: Type -> Type

Methods

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

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

Out (Analysis a)

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> Analysis a -> Doc

doc :: Analysis a -> Doc

docList :: [Analysis a] -> Doc

type Rep (Analysis a)

Defined in Language.Fortran.Analysis

type Rep (Analysis a) = D1 ('MetaData "Analysis" "Language.Fortran.Analysis" "fortran-src-0.9.0-inplace" 'False) (C1 ('MetaCons "Analysis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "prevAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "uniqueName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :*: (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "bBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (BBGr (Analysis a)))))) :*: ((S1 ('MetaSel ('Just "insLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "moduleEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModEnv))) :*: (S1 ('MetaSel ('Just "idType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IDType)) :*: (S1 ('MetaSel ('Just "allLhsVarsAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel ('Just "constExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Constant)))))))

data Constant

Information about potential / actual constant expressions.

Constructors

ConstInt Integer

interpreted integer

ConstUninterpInt String

uninterpreted integer

ConstUninterpReal String

uninterpreted real

ConstBinary BinaryOp Constant Constant

binary operation on potential constants

ConstUnary UnaryOp Constant

unary operation on potential constants

Instances

Eq Constant

Defined in Language.Fortran.Analysis

Methods

(==) :: Constant -> Constant -> Bool

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

Data Constant

Defined in Language.Fortran.Analysis

Methods

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

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

toConstr :: Constant -> Constr

dataTypeOf :: Constant -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Constant

Defined in Language.Fortran.Analysis

Methods

compare :: Constant -> Constant -> Ordering

(<) :: Constant -> Constant -> Bool

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

(>) :: Constant -> Constant -> Bool

(>=) :: Constant -> Constant -> Bool

max :: Constant -> Constant -> Constant

min :: Constant -> Constant -> Constant

Show Constant

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> Constant -> ShowS

show :: Constant -> String

showList :: [Constant] -> ShowS

Generic Constant

Defined in Language.Fortran.Analysis

Associated Types

type Rep Constant :: Type -> Type

Methods

from :: Constant -> Rep Constant x

to :: Rep Constant x -> Constant

Out Constant

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> Constant -> Doc

doc :: Constant -> Doc

docList :: [Constant] -> Doc

Binary Constant

Defined in Language.Fortran.Analysis

Methods

put :: Constant -> Put

get :: Get Constant

putList :: [Constant] -> Put

type Rep Constant

Defined in Language.Fortran.Analysis

type Rep Constant = D1 ('MetaData "Constant" "Language.Fortran.Analysis" "fortran-src-0.9.0-inplace" 'False) ((C1 ('MetaCons "ConstInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "ConstUninterpInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "ConstUninterpReal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ConstBinary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinaryOp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constant) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constant))) :+: C1 ('MetaCons "ConstUnary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constant)))))

varName :: Expression (Analysis a) -> Name

Obtain either uniqueName or source name from an ExpValue variable.

srcName :: Expression (Analysis a) -> Name

Obtain the source name from an ExpValue variable.

lvVarName :: LValue (Analysis a) -> Name

Obtain either uniqueName or source name from an LvSimpleVar variable.

lvSrcName :: LValue (Analysis a) -> Name

Obtain the source name from an LvSimpleVar variable.

isNamedExpression :: Expression a -> Bool

True iff the expression can be used with varName or srcName

genVar :: Analysis a -> SrcSpan -> Name -> Expression (Analysis a)

Generate an ExpValue variable with its source name == to its uniqueName.

puName :: ProgramUnit (Analysis a) -> ProgramUnitName

Obtain either ProgramUnit uniqueName or whatever is in the AST.

puSrcName :: ProgramUnit (Analysis a) -> ProgramUnitName

Obtain either ProgramUnit sourceName or whatever is in the AST.

blockRhsExprs :: Data a => Block a -> [Expression a]

Set of expressions used -- not defined -- by an AST-block.

rhsExprs :: (Data a, Data (b a)) => b a -> [Expression a]

Return list of expressions that are not "left-hand-side" of assignment statements.

type ModEnv = Map String (String, NameType)

data NameType

Constructors

NTSubprogram

NTVariable

NTIntrinsic

Instances

Eq NameType

Defined in Language.Fortran.Analysis

Methods

(==) :: NameType -> NameType -> Bool

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

Data NameType

Defined in Language.Fortran.Analysis

Methods

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

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

toConstr :: NameType -> Constr

dataTypeOf :: NameType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord NameType

Defined in Language.Fortran.Analysis

Methods

compare :: NameType -> NameType -> Ordering

(<) :: NameType -> NameType -> Bool

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

(>) :: NameType -> NameType -> Bool

(>=) :: NameType -> NameType -> Bool

max :: NameType -> NameType -> NameType

min :: NameType -> NameType -> NameType

Show NameType

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> NameType -> ShowS

show :: NameType -> String

showList :: [NameType] -> ShowS

Generic NameType

Defined in Language.Fortran.Analysis

Associated Types

type Rep NameType :: Type -> Type

Methods

from :: NameType -> Rep NameType x

to :: Rep NameType x -> NameType

Out NameType

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> NameType -> Doc

doc :: NameType -> Doc

docList :: [NameType] -> Doc

Binary NameType

Defined in Language.Fortran.Analysis

Methods

put :: NameType -> Put

get :: Get NameType

putList :: [NameType] -> Put

type Rep NameType

Defined in Language.Fortran.Analysis

type Rep NameType = D1 ('MetaData "NameType" "Language.Fortran.Analysis" "fortran-src-0.9.0-inplace" 'False) (C1 ('MetaCons "NTSubprogram" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NTVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NTIntrinsic" 'PrefixI 'False) (U1 :: Type -> Type)))

data IDType

Constructors

IDType

Fields

• idVType :: Maybe SemType
• idCType :: Maybe ConstructType

Instances

Eq IDType

Defined in Language.Fortran.Analysis

Methods

(==) :: IDType -> IDType -> Bool

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

Data IDType

Defined in Language.Fortran.Analysis

Methods

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

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

toConstr :: IDType -> Constr

dataTypeOf :: IDType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord IDType

Defined in Language.Fortran.Analysis

Methods

compare :: IDType -> IDType -> Ordering

(<) :: IDType -> IDType -> Bool

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

(>) :: IDType -> IDType -> Bool

(>=) :: IDType -> IDType -> Bool

max :: IDType -> IDType -> IDType

min :: IDType -> IDType -> IDType

Show IDType

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> IDType -> ShowS

show :: IDType -> String

showList :: [IDType] -> ShowS

Generic IDType

Defined in Language.Fortran.Analysis

Associated Types

type Rep IDType :: Type -> Type

Methods

from :: IDType -> Rep IDType x

to :: Rep IDType x -> IDType

Out IDType

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> IDType -> Doc

doc :: IDType -> Doc

docList :: [IDType] -> Doc

Binary IDType

Defined in Language.Fortran.Analysis

Methods

put :: IDType -> Put

get :: Get IDType

putList :: [IDType] -> Put

type Rep IDType

Defined in Language.Fortran.Analysis

type Rep IDType = D1 ('MetaData "IDType" "Language.Fortran.Analysis" "fortran-src-0.9.0-inplace" 'False) (C1 ('MetaCons "IDType" 'PrefixI 'True) (S1 ('MetaSel ('Just "idVType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SemType)) :*: S1 ('MetaSel ('Just "idCType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ConstructType))))

data ConstructType

Constructors

CTFunction

CTSubroutine

CTExternal

CTVariable

CTArray [(Maybe Int, Maybe Int)]

CTParameter

CTIntrinsic

Instances

Eq ConstructType

Defined in Language.Fortran.Analysis

Methods

(==) :: ConstructType -> ConstructType -> Bool

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

Data ConstructType

Defined in Language.Fortran.Analysis

Methods

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

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

toConstr :: ConstructType -> Constr

dataTypeOf :: ConstructType -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ConstructType

Defined in Language.Fortran.Analysis

Methods

compare :: ConstructType -> ConstructType -> Ordering

(<) :: ConstructType -> ConstructType -> Bool

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

(>) :: ConstructType -> ConstructType -> Bool

(>=) :: ConstructType -> ConstructType -> Bool

max :: ConstructType -> ConstructType -> ConstructType

min :: ConstructType -> ConstructType -> ConstructType

Show ConstructType

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> ConstructType -> ShowS

show :: ConstructType -> String

showList :: [ConstructType] -> ShowS

Generic ConstructType

Defined in Language.Fortran.Analysis

Associated Types

type Rep ConstructType :: Type -> Type

Methods

from :: ConstructType -> Rep ConstructType x

to :: Rep ConstructType x -> ConstructType

Out ConstructType

Defined in Language.Fortran.Analysis

Methods

docPrec :: Int -> ConstructType -> Doc

doc :: ConstructType -> Doc

docList :: [ConstructType] -> Doc

Binary ConstructType

Defined in Language.Fortran.Analysis

Methods

put :: ConstructType -> Put

get :: Get ConstructType

putList :: [ConstructType] -> Put

type Rep ConstructType

Defined in Language.Fortran.Analysis

type Rep ConstructType = D1 ('MetaData "ConstructType" "Language.Fortran.Analysis" "fortran-src-0.9.0-inplace" 'False) ((C1 ('MetaCons "CTFunction" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CTSubroutine" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTExternal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CTVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Maybe Int, Maybe Int)]))) :+: (C1 ('MetaCons "CTParameter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTIntrinsic" 'PrefixI 'False) (U1 :: Type -> Type))))

lhsExprs :: forall a b. (Data a, Data (b a)) => b a -> [Expression a]

Return list of expressions used as the left-hand-side of assignment statements (including for-loops and function-calls by reference).

isLExpr :: Expression a -> Bool

Is this an expression capable of assignment?

allVars :: forall a b. (Data a, Data (b (Analysis a))) => b (Analysis a) -> [Name]

Set of names found in an AST node.

analyseAllLhsVars :: forall a. Data a => ProgramFile (Analysis a) -> ProgramFile (Analysis a)

Initiate (lazy) computation of all LHS variables for each node of the AST so that it may be accessed later.

analyseAllLhsVars1 :: (Annotated f, Data (f (Analysis a)), Data a) => f (Analysis a) -> f (Analysis a)

allLhsVars :: Data a => Block (Analysis a) -> [Name]

Set of names found in the parts of an AST that are the target of an assignment statement. allLhsVars :: (Annotated b, Data a, Data (b (Analysis a))) => b (Analysis a) -> [Name]

blockVarUses :: forall a. Data a => Block (Analysis a) -> [Name]

Set of names used -- not defined -- by an AST-block.

blockVarDefs :: Data a => Block (Analysis a) -> [Name]

Set of names defined by an AST-block.

type BB a = [Block a]

Basic block

type BBNode = Int

data BBGr a

Basic block graph.

Constructors

BBGr

Fields

• bbgrGr :: Gr (BB a) ()

  the underlying graph

• bbgrEntries :: [Node]

  the entry node(s)

• bbgrExits :: [Node]

  the exit node(s)

Instances

Eq a => Eq (BBGr a)

Defined in Language.Fortran.Analysis

Methods

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

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

Data a => Data (BBGr a)

Defined in Language.Fortran.Analysis

Methods

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

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

toConstr :: BBGr a -> Constr

dataTypeOf :: BBGr a -> DataType

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

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

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

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

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

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

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

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

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

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

Show a => Show (BBGr a)

Defined in Language.Fortran.Analysis

Methods

showsPrec :: Int -> BBGr a -> ShowS

show :: BBGr a -> String

showList :: [BBGr a] -> ShowS

Generic (BBGr a)

Defined in Language.Fortran.Analysis

Associated Types

type Rep (BBGr a) :: Type -> Type

Methods

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

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

type Rep (BBGr a)

Defined in Language.Fortran.Analysis

type Rep (BBGr a) = D1 ('MetaData "BBGr" "Language.Fortran.Analysis" "fortran-src-0.9.0-inplace" 'False) (C1 ('MetaCons "BBGr" 'PrefixI 'True) (S1 ('MetaSel ('Just "bbgrGr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Gr (BB a) ())) :*: (S1 ('MetaSel ('Just "bbgrEntries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Node]) :*: S1 ('MetaSel ('Just "bbgrExits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Node]))))

bbgrMap :: (Gr (BB a) () -> Gr (BB b) ()) -> BBGr a -> BBGr b

Call function on the underlying graph

bbgrMapM :: Monad m => (Gr (BB a1) () -> m (Gr (BB a2) ())) -> BBGr a1 -> m (BBGr a2)

Monadically call function on the underlying graph

bbgrEmpty :: BBGr a

Empty basic block graph

type TransFunc f g a = (f (Analysis a) -> f (Analysis a)) -> g (Analysis a) -> g (Analysis a)

The type of "transformBi"-family functions

type TransFuncM m f g a = (f (Analysis a) -> m (f (Analysis a))) -> g (Analysis a) -> m (g (Analysis a))

The type of "transformBiM"-family functions

Orphan instances

(Typeable a, Typeable b) => Data (Gr a b)

Methods

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

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

toConstr :: Gr a b -> Constr

dataTypeOf :: Gr a b -> DataType

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

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

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

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

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

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

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

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

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

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