Module CASS.FlatCurryDependency

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

Author
Heiko Hoffmann, Michael Hanus
Version
Junes 2017

Exported Functions


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

Return the type constructors occurring in a type declaration.


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