| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Rename.Unbound
Synopsis
- mkUnboundName :: OccName -> Name
- mkUnboundNameRdr :: RdrName -> Name
- isUnboundName :: Name -> Bool
- reportUnboundName :: RdrName -> RnM Name
- reportUnboundName' :: WhatLooking -> RdrName -> RnM Name
- unknownNameSuggestions :: WhatLooking -> DynFlags -> HomePackageTable -> Module -> GlobalRdrEnv -> LocalRdrEnv -> ImportAvails -> RdrName -> ([ImportError], [GhcHint])
- data WhatLooking
- data WhereLooking
- data LookingFor = LF {}
- unboundName :: LookingFor -> RdrName -> RnM Name
- unboundNameX :: LookingFor -> RdrName -> [GhcHint] -> RnM Name
- notInScopeErr :: WhereLooking -> RdrName -> NotInScopeError
- nameSpacesRelated :: DynFlags -> WhatLooking -> NameSpace -> NameSpace -> Bool
Documentation
mkUnboundName :: OccName -> Name Source #
mkUnboundNameRdr :: RdrName -> Name Source #
isUnboundName :: Name -> Bool Source #
reportUnboundName' :: WhatLooking -> RdrName -> RnM Name Source #
unknownNameSuggestions :: WhatLooking -> DynFlags -> HomePackageTable -> Module -> GlobalRdrEnv -> LocalRdrEnv -> ImportAvails -> RdrName -> ([ImportError], [GhcHint]) Source #
Called from the typechecker (GHC.Tc.Errors) when we find an unbound variable
data WhatLooking Source #
Constructors
| WL_Anything | |
| WL_Constructor | |
| WL_RecField | |
| WL_None |
Instances
| Eq WhatLooking Source # | |
Defined in GHC.Rename.Unbound | |
data WhereLooking Source #
Constructors
| WL_Anywhere | |
| WL_Global | |
| WL_LocalTop | |
| WL_LocalOnly |
data LookingFor Source #
Constructors
| LF | |
Fields | |
unboundName :: LookingFor -> RdrName -> RnM Name Source #
unboundNameX :: LookingFor -> RdrName -> [GhcHint] -> RnM Name Source #
notInScopeErr :: WhereLooking -> RdrName -> NotInScopeError Source #
Arguments
| :: DynFlags | to find out whether -XDataKinds is enabled |
| -> WhatLooking | What kind of name are we looking for |
| -> NameSpace | Name space of the original name |
| -> NameSpace | Name space of a name that might have been meant |
| -> Bool |