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. implicitRequirements :: HscEnv -> [(PkgQual, Located ModuleName)] -> IO [ModuleName]

   ghc	GHC.Tc.Module

   No documentation available.

2. pushLevelAndSolveEqualities :: SkolemInfoAnon -> [TyConBinder] -> TcM a -> TcM a

   ghc	GHC.Tc.Solver

   No documentation available.

3. pushLevelAndSolveEqualitiesX :: String -> TcM a -> TcM (TcLevel, WantedConstraints, a)

   ghc	GHC.Tc.Solver

   No documentation available.

4. reportUnsolvedEqualities :: SkolemInfo -> [TcTyVar] -> TcLevel -> WantedConstraints -> TcM ()

   ghc	GHC.Tc.Solver

   No documentation available.

5. solveEqualities :: String -> TcM a -> TcM a

   ghc	GHC.Tc.Solver

   Type-check a thing that emits only equality constraints, solving any constraints we can and re-emitting constraints that we can't. Use this variant only when we'll get another crack at it later See Note [Failure in local type signatures] Panics if we solve any non-equality constraints. (In runTCSEqualities we use an error thunk for the evidence bindings.)

6. solveEquality :: CtEvidence -> EqRel -> Type -> Type -> SolverStage Void

   ghc	GHC.Tc.Solver.Equality

   No documentation available.

7. type InertEqs = DTyVarEnv EqualCtList

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

8. addEqToCans :: TcLevel -> EqCt -> InertCans -> InertCans

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

9. delEq :: EqCt -> InertCans -> InertCans

   ghc	GHC.Tc.Solver.InertSet

   No documentation available.

10. extendWorkListEq :: RewriterSet -> Ct -> WorkList -> WorkList

    ghc	GHC.Tc.Solver.InertSet

    No documentation available.

Page 214 of many | Previous | Next