Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Tc.Solver.Monad

   Equalities only

2. setWantedEvTerm :: TcEvDest -> Canonical -> EvTerm -> TcS ()

   ghc	GHC.Tc.Solver.Monad

   Good for both equalities and non-equalities

3. setLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv

   ghc	GHC.Tc.Types

   No documentation available.

4. setLclEnvTcLevel :: TcLevel -> TcLclEnv -> TcLclEnv

   ghc	GHC.Tc.Types

   No documentation available.

5. setCtEvLoc :: CtEvidence -> CtLoc -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

6. setCtEvPredType :: HasDebugCallStack => CtEvidence -> Type -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   Set the type of CtEvidence. This function ensures that the invariants on CtEvidence hold, by updating the evidence and the ctev_pred in sync with each other. See Note [CtEvidence invariants].

7. setCtLocEnv :: CtLoc -> CtLocEnv -> CtLoc

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

8. setCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

9. setCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

10. setCtLocOrigin :: CtLoc -> CtOrigin -> CtLoc

    ghc	GHC.Tc.Types.Constraint

    No documentation available.

Page 192 of many | Previous | Next