Module Analysis.Demandedness
- Exported Datatypes
- Exported Functions
Imported modules:

Module Analysis.Demandedness

Demandedness analysis: checks whether functions demands a particular argument, i.e., delivers only bottom if some argument is bottom.

Author

Michael Hanus

Version

February 2025

Exported Datatypes:

DemandDomain DemandedArgs

Exported Functions:

daFunc daFuncRule demandAnalysis lub prelude showDemand

Exported Datatypes

type DemandedArgs
                  = [Int]

Data type to represent information about demanded arguments. Demanded arguments are represented as a list of indices for the arguments, where arguments are numbered from 1.

data DemandDomain

Constructors:

Bot :: DemandDomain
Top :: DemandDomain

Known instances:

Eq DemandDomain

Exported Functions

showDemand :: AOutFormat -> [Int] -> String

lub :: DemandDomain -> DemandDomain -> DemandDomain

Further infos:

solution complete, i.e., able to compute all solutions

demandAnalysis :: Analysis [Int]

Demandedness analysis.

daFunc :: FuncDecl -> [((String, String), [Int])] -> [Int]

daFuncRule :: [((String, String), [Int])] -> Rule -> [Int]

prelude :: String

Further infos:

solution complete, i.e., able to compute all solutions