cubix-0.1.0.0: A framework for multi-language transformation
Safe HaskellNone
LanguageHaskell2010

Cubix.Analysis.Call.Trivial

Documentation

data NodeIdx Source #

Constructors

NodeIdx FilePath Label 

Instances

Instances details
Eq NodeIdx Source # 
Instance details

Defined in Cubix.Analysis.Call.Trivial

Methods

(==) :: NodeIdx -> NodeIdx -> Bool #

(/=) :: NodeIdx -> NodeIdx -> Bool #

Ord NodeIdx Source # 
Instance details

Defined in Cubix.Analysis.Call.Trivial

Methods

compare :: NodeIdx -> NodeIdx -> Ordering #

(<) :: NodeIdx -> NodeIdx -> Bool #

(<=) :: NodeIdx -> NodeIdx -> Bool #

(>) :: NodeIdx -> NodeIdx -> Bool #

(>=) :: NodeIdx -> NodeIdx -> Bool #

max :: NodeIdx -> NodeIdx -> NodeIdx #

min :: NodeIdx -> NodeIdx -> NodeIdx #

Show NodeIdx Source # 
Instance details

Defined in Cubix.Analysis.Call.Trivial

Methods

showsPrec :: Int -> NodeIdx -> ShowS #

show :: NodeIdx -> String #

showList :: [NodeIdx] -> ShowS #

type TrivialCallAnalysisConstraints fs = (FunctionCall :-<: fs, Ident :-<: fs, InjF fs IdentL FunctionExpL, All HTraversable fs, DynCase (TermLab fs) FunctionCallL) Source #

class CallAnalysis fs where Source #

Methods

callAnalysis :: Project fs -> Map FunctionId [NodeIdx] Source #

Instances

Instances details
(TCAC fs, All HFoldable fs) => CallAnalysis fs Source # 
Instance details

Defined in Cubix.Analysis.Call.Trivial

Methods

callAnalysis :: Project fs -> Map FunctionId [NodeIdx] Source #

type TrivialFunctionAnalysisConstraints fs = (FunctionDef :-<: fs, Ident :-<: fs, All HTraversable fs, DynCase (TermLab fs) FunctionDefL) Source #

class FunctionAnalysis fs where Source #

Methods

functionAnalysis :: Project fs -> Map FunctionId [NodeIdx] Source #

Instances

Instances details
(TFAC fs, All HFunctor fs, All HFoldable fs) => FunctionAnalysis fs Source # 
Instance details

Defined in Cubix.Analysis.Call.Trivial

Methods

functionAnalysis :: Project fs -> Map FunctionId [NodeIdx] Source #