Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. PackageName :: FastString -> PackageName

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

   No documentation available.

2. PatCheckOrigin :: CtOrigin

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

   No documentation available.

3. PatOrigin :: CtOrigin

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

   No documentation available.

4. PatSigOrigin :: CtOrigin

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

   No documentation available.

5. PhantomProv :: KindCoercion -> UnivCoProvenance

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

   See Note [Phantom coercions]. Only in Phantom roled coercions

6. data Plugin

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

   Plugin is the compiler plugin data type. Try to avoid constructing one of these directly, and just modify some fields of defaultPlugin instead: this is to try and preserve source-code compatibility when we add fields to this. Nonetheless, this API is preliminary and highly likely to change in the future.

7. Plugin :: CorePlugin -> TcPlugin -> DefaultingPlugin -> HoleFitPlugin -> ([CommandLineOption] -> HscEnv -> IO HscEnv) -> LatePlugin -> ([CommandLineOption] -> IO PluginRecompile) -> ([CommandLineOption] -> ModSummary -> ParsedResult -> Hsc ParsedResult) -> ([CommandLineOption] -> TcGblEnv -> HsGroup GhcRn -> TcM (TcGblEnv, HsGroup GhcRn)) -> ([CommandLineOption] -> ModSummary -> TcGblEnv -> TcM TcGblEnv) -> ([CommandLineOption] -> LHsExpr GhcTc -> TcM (LHsExpr GhcTc)) -> (forall lcl . () => [CommandLineOption] -> ModIface -> IfM lcl ModIface) -> Plugin

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

   No documentation available.

8. PluginProv :: String -> UnivCoProvenance

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

   From a plugin, which asserts that this coercion is sound. The string is for the use of the plugin.

9. data Pred

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

   A predicate in the solver. The solver tries to prove Wanted predicates from Given ones.

10. type PredTree = Pred

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

    No documentation available.

Page 622 of many | Previous | Next