Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
setEvBindIfWanted :: CtEvidence -> Canonical -> EvTerm -> TcS ()ghc GHC.Tc.Solver.Monad No documentation available.
setEvBindsTcS :: EvBindsVar -> TcS a -> TcS aghc GHC.Tc.Solver.Monad No documentation available.
setInertCans :: InertCans -> TcS ()ghc GHC.Tc.Solver.Monad No documentation available.
setInertSet :: InertSet -> TcS ()ghc GHC.Tc.Solver.Monad No documentation available.
setSolvedDicts :: DictMap DictCt -> TcS ()ghc GHC.Tc.Solver.Monad No documentation available.
setSrcSpan :: RealSrcSpan -> TcS a -> TcS aghc GHC.Tc.Solver.Monad No documentation available.
setTcEvBindsMap :: EvBindsVar -> EvBindMap -> TcS ()ghc GHC.Tc.Solver.Monad No documentation available.
setUnificationFlag :: TcLevel -> TcS ()ghc GHC.Tc.Solver.Monad No documentation available.
setWantedEq :: HasDebugCallStack => TcEvDest -> Coercion -> TcS ()ghc GHC.Tc.Solver.Monad Equalities only
setWantedEvTerm :: TcEvDest -> Canonical -> EvTerm -> TcS ()ghc GHC.Tc.Solver.Monad Good for both equalities and non-equalities