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. ProcOrigin :: CtOrigin

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

   No documentation available.

2. ProofIrrelProv :: KindCoercion -> UnivCoProvenance

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

   From the fact that any two coercions are considered equivalent. See Note [ProofIrrelProv]. Can be used in Nominal or Representational coercions

3. ProvCtxtOrigin :: PatSynBind GhcRn GhcRn -> CtOrigin

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

   No documentation available.

4. PFalse :: Prop

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

   No documentation available.

5. PTrue :: Prop

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

   No documentation available.

6. type ParseEnv = Map TypeEq TyVar

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

   No documentation available.

7. data Prop

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

   The type of proposition.

8. data PropSet

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

   A collection of propositions.

9. type PropertyChangeHandler = Object -> PropertyValues -> IO ()

   gi-atk	GI.Atk.Callbacks

   Deprecated: Since 2.12.

10. module GI.Atk.Objects.Plug

    Toplevel for embedding into other processes See [classatkSocket]

Page 623 of many | Previous | Next