Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Tc.Solver.Monad

   Emit a new Wanted equality into the work-list

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

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

3. getInertEqs :: TcS InertEqs

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

4. getInnermostGivenEqLevel :: TcS TcLevel

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

5. insertFunEq :: FunEqMap a -> TyCon -> [Type] -> a -> FunEqMap a

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

6. newWantedEq :: CtLoc -> RewriterSet -> Role -> TcType -> TcType -> TcS (CtEvidence, Coercion)

   ghc	GHC.Tc.Solver.Monad

   Create a new Wanted constraint holding a coercion hole for an equality between the two types at the given Role.

7. pprEq :: TcType -> TcType -> SDoc

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

8. runTcSEqualities :: TcS a -> TcM a

   ghc	GHC.Tc.Solver.Monad

   This can deal only with equality constraints.

9. setWantedEq :: HasDebugCallStack => TcEvDest -> Coercion -> TcS ()

   ghc	GHC.Tc.Solver.Monad

   Equalities only

10. type FunEqMap a = TcAppMap a

    ghc	GHC.Tc.Solver.Types

    No documentation available.

Page 217 of many | Previous | Next