Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. mightEqualLater :: InertSet -> TcPredType -> CtLoc -> TcPredType -> CtLoc -> Maybe Subst

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

2. noGivenNewtypeReprEqs :: TyCon -> InertSet -> Bool

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

3. partitionFunEqs :: (EqCt -> Bool) -> InertFunEqs -> ([EqCt], InertFunEqs)

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

4. partitionInertEqs :: (EqCt -> Bool) -> InertEqs -> ([EqCt], InertEqs)

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

5. updGivenEqs :: TcLevel -> Ct -> InertCans -> InertCans

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

6. wl_eqs :: WorkList -> [Ct]

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

7. wl_rw_eqs :: WorkList -> [Ct]

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

8. checkTouchableTyVarEq :: CtEvidence -> TcTyVar -> TcType -> TcS (PuResult () Reduction)

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

9. checkTypeEq :: CtEvidence -> EqRel -> CanEqLHS -> TcType -> TcS (PuResult () Reduction)

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

10. emitNewWantedEq :: CtLoc -> RewriterSet -> Role -> TcType -> TcType -> TcS Coercion

    ghc	GHC.Tc.Solver.Monad

    Emit a new Wanted equality into the work-list

Page 216 of many | Previous | Next