Module Analysis.Demandedness
Demandedness analysis: checks whether functions demands a particular argument, i.e., delivers only bottom if some argument is bottom.
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
Abstract demand domain.
Constructors:
-
Bot :: DemandDomain -
Top :: DemandDomain
Known instances:
Exported Functions
showDemand
:: AOutFormat -> [Int] -> String 
Show determinism information as a string.
demandAnalysis
:: Analysis [Int]
Demandedness analysis.