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. getInertEqs :: TcS InertEqs

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

2. getInnermostGivenEqLevel :: TcS TcLevel

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

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

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

4. 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.

5. pprEq :: TcType -> TcType -> SDoc

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

6. runTcSEqualities :: TcS a -> TcM a

   ghc	GHC.Tc.Solver.Monad

   This can deal only with equality constraints.

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

   ghc	GHC.Tc.Solver.Monad

   Equalities only

8. type FunEqMap a = TcAppMap a

   ghc	GHC.Tc.Solver.Types

   No documentation available.

9. addToEqualCtList :: EqCt -> EqualCtList -> EqualCtList

   ghc	GHC.Tc.Solver.Types

   No documentation available.

10. emptyFunEqs :: TcAppMap a

    ghc	GHC.Tc.Solver.Types

    No documentation available.

Page 217 of many | Previous | Next