Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data HermitName
- fromRdrName :: RdrName -> HermitName
- toRdrName :: NameSpace -> HermitName -> RdrName
- toRdrNames :: [NameSpace] -> HermitName -> [RdrName]
- hnModuleName :: HermitName -> Maybe ModuleName
- hnUnqualified :: HermitName -> String
- parseName :: String -> HermitName
- data Named
- varToNamed :: Var -> Named
- allNameSpaces :: [NameSpace]
- dataConNS :: NameSpace
- tyConClassNS :: NameSpace
- tyVarNS :: NameSpace
- varNS :: NameSpace
- findId :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m Id
- findVar :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m Var
- findTyCon :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m TyCon
- findType :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m Type
- findInNameSpace :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadIO m, MonadThings m) => NameSpace -> String -> c -> m Named
- findInNameSpaces :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => [NameSpace] -> String -> c -> m Named
Documentation
data HermitName Source
A HermitName
is an optionally fully-qualified name,
like GHC's RdrName
, but without specifying which NameSpace
the name is found in.
fromRdrName :: RdrName -> HermitName Source
toRdrName :: NameSpace -> HermitName -> RdrName Source
Make a RdrName for the given NameSpace and HermitName
toRdrNames :: [NameSpace] -> HermitName -> [RdrName] Source
Make a RdrName for each given NameSpace.
hnUnqualified :: HermitName -> String Source
parseName :: String -> HermitName Source
Parse a HermitName from a String.
Namespaces
Possible results from name lookup. Invariant: One constructor for each NameSpace.
varToNamed :: Var -> Named Source
allNameSpaces :: [NameSpace] Source
Name Lookup
findId :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m Id Source
findVar :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m Var Source
findTyCon :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m TyCon Source
findType :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => String -> c -> m Type Source
findInNameSpace :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadIO m, MonadThings m) => NameSpace -> String -> c -> m Named Source
findInNameSpaces :: (BoundVars c, HasHscEnv m, HasModGuts m, MonadCatch m, MonadIO m, MonadThings m) => [NameSpace] -> String -> c -> m Named Source