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. getHasGivenEqs :: TcLevel -> TcS (HasGivenEqs, InertIrreds)

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

2. getInertEqs :: TcS InertEqs

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

3. getInnermostGivenEqLevel :: TcS TcLevel

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

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

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

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

6. pprEq :: TcType -> TcType -> SDoc

   ghc	GHC.Tc.Solver.Monad

   No documentation available.

7. runTcSEqualities :: TcS a -> TcM a

   ghc	GHC.Tc.Solver.Monad

   This can deal only with equality constraints.

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

   ghc	GHC.Tc.Solver.Monad

   Equalities only

9. type FunEqMap a = TcAppMap a

   ghc	GHC.Tc.Solver.Types

   No documentation available.

10. addToEqualCtList :: EqCt -> EqualCtList -> EqualCtList

    ghc	GHC.Tc.Solver.Types

    No documentation available.

Page 217 of many | Previous | Next