Safe Haskell	None
Language	Haskell2010

Language.Haskell.Names.GetBound

Synopsis

Documentation

class GetBound a l | a -> l where Source #

Get bound value identifiers.

Minimal complete definition

Methods

For record wildcards we need to know which fields the given constructor has. So we pass the global table for that.

Instances

GetBound a l => GetBound [a] l Source #
Methods getBound :: Table -> [a] -> [Name l] Source #
GetBound a l => GetBound (Maybe a) l Source #
Methods getBound :: Table -> Maybe a -> [Name l] Source #
Data l => GetBound (Decl l) l Source #
Methods getBound :: Table -> Decl l -> [Name l] Source #
Data l => GetBound (Binds l) l Source #
Methods getBound :: Table -> Binds l -> [Name l] Source #
Data l => GetBound (Match l) l Source #
Methods getBound :: Table -> Match l -> [Name l] Source #
Data l => GetBound (QualConDecl l) l Source #
Methods getBound :: Table -> QualConDecl l -> [Name l] Source #
Data l => GetBound (ConDecl l) l Source #
Methods getBound :: Table -> ConDecl l -> [Name l] Source #
Data l => GetBound (FieldDecl l) l Source #
Methods getBound :: Table -> FieldDecl l -> [Name l] Source #
Data l => GetBound (GadtDecl l) l Source #
Methods getBound :: Table -> GadtDecl l -> [Name l] Source #
Data l => GetBound (ClassDecl l) l Source #
Methods getBound :: Table -> ClassDecl l -> [Name l] Source #
Data l => GetBound (Pat l) l Source #
Methods getBound :: Table -> Pat l -> [Name l] Source #
Data l => GetBound (Stmt l) l Source #
Methods getBound :: Table -> Stmt l -> [Name l] Source #
Data l => GetBound (QualStmt l) l Source #
Methods getBound :: Table -> QualStmt l -> [Name l] Source #
(GetBound a l, GetBound b l) => GetBound (a, b) l Source #
Methods getBound :: Table -> (a, b) -> [Name l] Source #