CSPM.TypeChecker.Dependencies

Documentation

class Dependencies a where

Methods

dependencies :: a -> TypeCheckMonad [Name]

Instances

Dependencies a => Dependencies [a]

Dependencies a => Dependencies (Maybe a)

Dependencies (Pat Name)

Dependencies (Match Name)

Dependencies (DataTypeClause Name)

Dependencies (ModelOption Name)

Dependencies (Assertion Name)

Dependencies (Decl Name)

Dependencies (Stmt Name)

Dependencies (Field Name)

Dependencies (Exp Name)

Dependencies a => Dependencies (Annotated b a)

namesBoundByDecl :: AnDecl Name -> TypeCheckMonad [Name]

namesBoundByDecl' :: Decl Name -> StateT TypeInferenceState IO [Name]

class FreeVars a where

Methods

freeVars :: a -> TypeCheckMonad [Name]

Instances

FreeVars a => FreeVars [a]

FreeVars (Pat Name)

FreeVars (Stmt Name)

FreeVars (Field Name)

FreeVars a => FreeVars (Annotated b a)