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. ctEvId :: HasDebugCallStack => Ct -> EvVar

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

2. ctEvidence :: Ct -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

3. dictCtEvidence :: DictCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

4. eqCtEvidence :: EqCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

5. irredCtEvidence :: IrredCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

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

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

7. wantedEvId_maybe :: Ct -> Maybe EvVar

   ghc	GHC.Tc.Types.Constraint

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

8. module GHC.Tc.Types.Evidence

   No documentation available.

9. evId :: EvId -> EvExpr

   ghc	GHC.Tc.Types.Evidence

   Any sort of evidence Id, including coercions

10. isIdHsWrapper :: HsWrapper -> Bool

    ghc	GHC.Tc.Types.Evidence

    No documentation available.

Page 558 of many | Previous | Next