Hoogle Search
Within LTS Haskell 24.35 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
evBindMapToVarSet :: EvBindMap -> VarSetghc GHC.Tc.Types.Evidence No documentation available.
filterEvBindMap :: (EvBind -> Bool) -> EvBindMap -> EvBindMapghc GHC.Tc.Types.Evidence No documentation available.
foldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> aghc GHC.Tc.Types.Evidence No documentation available.
isEmptyEvBindMap :: EvBindMap -> Boolghc GHC.Tc.Types.Evidence No documentation available.
nonDetStrictFoldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> aghc GHC.Tc.Types.Evidence No documentation available.
varSetMinusEvBindMap :: VarSet -> EvBindMap -> VarSetghc GHC.Tc.Types.Evidence No documentation available.
getTcEvBindsMap :: EvBindsVar -> TcM EvBindMapghc GHC.Tc.Utils.Monad No documentation available.
setTcEvBindsMap :: EvBindsVar -> EvBindMap -> TcM ()ghc GHC.Tc.Utils.Monad No documentation available.
anyRewritableTyFamApp :: EqRel -> (EqRel -> TyCon -> [TcType] -> Bool) -> TcType -> Boolghc GHC.Tc.Utils.TcType No documentation available.
type
FamAppBreaker a = TcType -> TcM PuResult a Reductionghc GHC.Tc.Utils.Unify No documentation available.