Module CASS.FlatCurryDependency
Author
Heiko Hoffmann, Michael Hanus
Version
November 2025
A few base functions for analysing type dependencies in FlatCurry programs.
Exported Functions:
Exported Functions
dependsDirectlyOnTypes
:: TypeDecl -> [(String, String)] 
Return the type constructors occurring in a type declaration.
callsDirectly
:: FuncDecl -> [(String, String)]