Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

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

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

   No documentation available.

2. 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.

3. lookupTyAnd :: TcPluginM (Maybe TyCon)

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

   No documentation available.

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

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

   No documentation available.

5. lookupTyGenericCompare :: TcPluginM (Maybe TyCon)

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

   No documentation available.

6. lookupTyIf :: TcPluginM (Maybe TyCon)

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

   No documentation available.

7. lookupTyNatBoolGeq :: TcPluginM (Maybe TyCon)

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

   No documentation available.

8. lookupTyNatBoolGt :: TcPluginM (Maybe TyCon)

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

   No documentation available.

9. lookupTyNatBoolLeq :: TcPluginM TyCon

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

   No documentation available.

10. lookupTyNatBoolLt :: TcPluginM (Maybe TyCon)

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

    No documentation available.

Page 99 of many | Previous | Next