PAKCS
Exported names: Imported modules:

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)]   
showTypeNames :: AOutFormat -> [(String,String)] -> String   

Exported operations:

typesInValuesAnalysis :: Analysis [(String,String)]   

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