cubix
Safe HaskellNone
LanguageHaskell2010

Cubix.Analysis.Call.Trivial

Synopsis

Documentation

data NodeIdx Source #

A NodeIdx represents a location in a Project

Constructors

NodeIdx FilePath Label 

Instances

Instances details
Show NodeIdx Source # 
Instance details

Defined in Cubix.Analysis.Call.Trivial

Methods

showsPrec :: Int -> NodeIdx -> ShowS #

show :: NodeIdx -> String #

showList :: [NodeIdx] -> ShowS #

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 #

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

class CallAnalysis (fs :: Signature) where Source #

Methods

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

Returns a map from function name to all locations in the code where a function by that name is called

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 :: Signature) = (FunctionDef :-<: fs, Ident :-<: fs, All HTraversable fs, DynCase (TermLab fs) FunctionDefL) Source #

class FunctionAnalysis (fs :: Signature) where Source #

Methods

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

Returns a map from function name to all locations in the code where a function by that name is defined

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 #