Safe Haskell	None
Language	Haskell2010

Language.Haskell.Names.GetBound

Synopsis

class GetBound a l | a -> l where
- getBound :: Table -> a -> [Name l]

Documentation

class GetBound a l | a -> l where #

Get bound value identifiers.

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 #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> [a] -> [Name l] #
GetBound a l => GetBound (Maybe a) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> Maybe a -> [Name l] #
Data l => GetBound (Decl l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> Decl l -> [Name l] #
Data l => GetBound (Binds l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> Binds l -> [Name l] #
Data l => GetBound (Match l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> Match l -> [Name l] #
Data l => GetBound (QualConDecl l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> QualConDecl l -> [Name l] #
Data l => GetBound (ConDecl l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> ConDecl l -> [Name l] #
Data l => GetBound (FieldDecl l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> FieldDecl l -> [Name l] #
Data l => GetBound (GadtDecl l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> GadtDecl l -> [Name l] #
Data l => GetBound (ClassDecl l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> ClassDecl l -> [Name l] #
Data l => GetBound (Pat l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> Pat l -> [Name l] #
Data l => GetBound (Stmt l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> Stmt l -> [Name l] #
Data l => GetBound (QualStmt l) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> QualStmt l -> [Name l] #
(GetBound a l, GetBound b l) => GetBound (a, b) l #
Instance details Defined in Language.Haskell.Names.GetBound Methods getBound :: Table -> (a, b) -> [Name l] #