Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. dictCtEvidence :: DictCt -> CtEvidence

   ghc-lib-parser	GHC.Tc.Types.Constraint

   No documentation available.

2. eqCtEvidence :: EqCt -> CtEvidence

   ghc-lib-parser	GHC.Tc.Types.Constraint

   No documentation available.

3. irredCtEvidence :: IrredCt -> CtEvidence

   ghc-lib-parser	GHC.Tc.Types.Constraint

   No documentation available.

4. updCtEvidence :: (CtEvidence -> CtEvidence) -> Ct -> Ct

   ghc-lib-parser	GHC.Tc.Types.Constraint

   No documentation available.

5. wantedEvId_maybe :: Ct -> Maybe EvVar

   ghc-lib-parser	GHC.Tc.Types.Constraint

   Returns the evidence Id for the argument Ct when this Ct is a Wanted. Returns Nothing otherwise.

6. module GHC.Tc.Types.Evidence

   No documentation available.

7. evId :: EvId -> EvExpr

   ghc-lib-parser	GHC.Tc.Types.Evidence

   Any sort of evidence Id, including coercions

8. isIdHsWrapper :: HsWrapper -> Bool

   ghc-lib-parser	GHC.Tc.Types.Evidence

   No documentation available.

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

   ghc-lib-parser	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.

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

    ghc-lib-parser	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

Page 1034 of many | Previous | Next