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. evId :: EvId -> EvExpr

   ghc	GHC.Tc.Types.Evidence

   Any sort of evidence Id, including coercions

2. isIdHsWrapper :: HsWrapper -> Bool

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

3. FRRRepPolyId :: Name -> RepPolyId -> !Position 'Neg -> FixedRuntimeRepContext

   ghc	GHC.Tc.Types.Origin

   Types appearing in negative position in the type of a representation-polymorphic Id must have a fixed runtime representation. This includes:

   • arguments,
   Test cases: RepPolyMagic, RepPolyRightSection, RepPolyWrappedVar, T14561b, T17817.
   • continuation result types, such as in 'catch#', 'keepAlive#' and 'control0#'.
   Test case: T21906.

4. InstProvidedOrigin :: Module -> ClsInst -> CtOrigin

   ghc	GHC.Tc.Types.Origin

   Testing whether the constraint associated with an instance declaration in a signature file is satisfied upon instantiation. Test cases: backpackshould_failbkpfail{11,43}.bkp

5. data RepPolyId

   ghc	GHC.Tc.Types.Origin

   The description of a representation-polymorphic Id.

6. iw_dfun_id :: InstanceWhat -> DFunId

   ghc	GHC.Tc.Types.Origin

   No documentation available.

7. ATcId :: Id -> IdBindingInfo -> TcTyThing

   ghc	GHC.Tc.Utils.Env

   No documentation available.

8. AnId :: Id -> TyThing

   ghc	GHC.Tc.Utils.Env

   No documentation available.

9. type TcId = Id

   ghc	GHC.Tc.Utils.Env

   No documentation available.

10. mkStableIdFromName :: Name -> Type -> SrcSpan -> (OccName -> OccName) -> TcM TcId

    ghc	GHC.Tc.Utils.Env

    No documentation available.

Page 558 of many | Previous | Next