libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.
CSPM.TypeChecker.Dependencies
class Dependencies a whereSource
Methods
dependencies :: a -> TypeCheckMonad [Name]Source
Instances
namesBoundByDecl :: AnDecl -> TypeCheckMonad [Name]Source
namesBoundByDecl' :: Decl -> StateT TypeInferenceState IO [Name]Source
class FreeVars a whereSource
freeVars :: a -> TypeCheckMonad [Name]Source