CSPM.TypeChecker.Dependencies

Documentation

class Dependencies a where

Methods

dependencies :: a -> TypeCheckMonad [Name]

Instances

Dependencies Pat

Dependencies Match

Dependencies DataTypeClause

Dependencies ModelOption

Dependencies Assertion

Dependencies Decl

Dependencies Stmt

Dependencies Field

Dependencies Exp

Dependencies a => Dependencies [a]

Dependencies a => Dependencies (Maybe a)

Dependencies a => Dependencies (Annotated b a)

namesBoundByDecl :: AnDecl -> TypeCheckMonad [Name]

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

class FreeVars a where

Methods

freeVars :: a -> TypeCheckMonad [Name]

Instances

FreeVars Pat

FreeVars Stmt

FreeVars Field

FreeVars a => FreeVars [a]

FreeVars a => FreeVars (Annotated b a)