haskell-names-0.5.0: Name resolution library for Haskell

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Names.GetBound

Synopsis

Documentation

class GetBound a l | a -> l where Source

Get bound value identifiers.

Methods

getBound :: Table -> a -> [Name l] Source

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 
GetBound a l => GetBound (Maybe a) l 
Data l => GetBound (Decl l) l 
Data l => GetBound (Binds l) l 
Data l => GetBound (Match l) l 
Data l => GetBound (QualConDecl l) l 
Data l => GetBound (ConDecl l) l 
Data l => GetBound (FieldDecl l) l 
Data l => GetBound (GadtDecl l) l 
Data l => GetBound (ClassDecl l) l 
Data l => GetBound (Pat l) l 
Data l => GetBound (Stmt l) l 
Data l => GetBound (QualStmt l) l 
(GetBound a l, GetBound b l) => GetBound (a, b) l