Module CASS.FlatCurryDependency

A few base functions for analysing type dependencies in FlatCurry programs.

Author: Heiko Hoffmann, Michael Hanus

Version: Junes 2017

Summary of exported operations:

dependsDirectlyOnTypes :: TypeDecl -> [(String,String)]   
Return the type constructors occurring in a type declaration.
callsDirectly :: FuncDecl -> [(String,String)]   

Exported operations:

dependsDirectlyOnTypes :: TypeDecl -> [(String,String)]   

Return the type constructors occurring in a type declaration.

callsDirectly :: FuncDecl -> [(String,String)]