HERMIT.Name

Documentation

data HermitName

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

toRdrName :: NameSpace -> HermitName -> RdrName

Make a RdrName for the given NameSpace and HermitName

toRdrNames :: [NameSpace] -> HermitName -> [RdrName]

Make a RdrName for each given NameSpace.

hnModuleName :: HermitName -> Maybe ModuleName

hnUnqualified :: HermitName -> String

parseName :: String -> HermitName

Parse a HermitName from a String.

Namespaces

data Named

Possible results from name lookup. Invariant: One constructor for each NameSpace.

Constructors

NamedId Id

NamedDataCon DataCon

NamedTyCon TyCon

NamedTyVar Var

Instances

Show Named

varToNamed :: Var -> Named

allNameSpaces :: [NameSpace]

dataConNS :: NameSpace

tyConClassNS :: NameSpace

tyVarNS :: NameSpace

varNS :: NameSpace

Name Lookup

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