CSPM.DataStructures.FreeVars

Documentation

class BoundNames a where

Methods

boundNames :: a -> [Name]

Instances

BoundNames a => BoundNames [a]

BoundNames (Pat Name)

BoundNames (DataTypeClause Name)

BoundNames (Decl Name)

BoundNames (Stmt Name)

BoundNames (Field Name)

BoundNames a => BoundNames (Annotated b a)

class FreeVars a where

Methods

freeVars :: a -> [Name]

freeVars' :: a -> [Name]

Instances

FreeVars a => FreeVars [a]

FreeVars a => FreeVars (Maybe a)

FreeVars (Pat Name)

FreeVars (Match Name)

FreeVars (DataTypeClause Name)

FreeVars (ModelOption Name)

FreeVars (Assertion Name)

FreeVars (Decl Name)

FreeVars (Stmt Name)

FreeVars (Field Name)

FreeVars (Exp Name)

FreeVars a => FreeVars (Annotated b a)