Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

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

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

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

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

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

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

5. wl_eqs :: WorkList -> [Ct]

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

6. wl_rw_eqs :: WorkList -> [Ct]

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

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

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

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

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

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

   ghc	GHC.Tc.Solver.Monad

   Emit a new Wanted equality into the work-list

10. getHasGivenEqs :: TcLevel -> TcS (HasGivenEqs, InertIrreds)

    ghc	GHC.Tc.Solver.Monad

    No documentation available.

Page 216 of many | Previous | Next