Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell.Names.GetBound
- class GetBound a l | a -> l where
Documentation
class GetBound a l | a -> l where #
Get bound value identifiers.
Minimal complete definition
Methods
getBound :: Table -> a -> [Name l] #
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 # | |