Module Analysis.TypeUsage

Author
Michael Hanus
Version
February 2017

Analysis of properties related to the usage and occurrences of types.

Exported Functions


typesInValuesAnalysis :: Analysis [(String, String)]  Deterministic 


showTypeNames :: AOutFormat -> [(String, String)] -> String  Deterministic