Module Analysis.TypeUsage

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

Author: Michael Hanus

Version: February 2017

Summary of exported operations:

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

Exported operations:

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

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