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.
setEvBind :: EvBindsVar -> EvBind -> TcPluginM ()ghc GHC.Tc.Plugin Bind an evidence variable. This should only be invoked within tcPluginSolve.
-
ghc GHC.Tc.Solver.Monad No documentation available.
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.