Safe Haskell | None |
---|
Documentation
class BoundNames a whereSource
boundNames :: a -> [Name]Source
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) |
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) |