Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. lookupName :: Module -> OccName -> TcPluginM Name

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   Find a Name in a Module given an OccName

2. lookupOrig :: Module -> OccName -> TcPluginM Name

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

3. lookupPackageName :: UnitState -> PackageName -> Maybe UnitId

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   Find the unit we know about with the given package name (e.g. foo), if any (NB: there might be a locally defined unit name which overrides this) This function is unsafe to use in general because it doesn't respect package visibility.

4. lookupTyAnd :: TcPluginM (Maybe TyCon)

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

5. lookupTyCon :: MonadThings m => Name -> m TyCon

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

6. lookupTyGenericCompare :: TcPluginM (Maybe TyCon)

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

7. lookupTyIf :: TcPluginM (Maybe TyCon)

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

8. lookupTyNatBoolGeq :: TcPluginM (Maybe TyCon)

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

9. lookupTyNatBoolGt :: TcPluginM (Maybe TyCon)

   ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

   No documentation available.

10. lookupTyNatBoolLeq :: TcPluginM TyCon

    ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

    No documentation available.

Page 63 of many | Previous | Next