Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. filterEvBindMap :: (EvBind -> Bool) -> EvBindMap -> EvBindMap

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

2. foldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> a

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

3. isEmptyEvBindMap :: EvBindMap -> Bool

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

4. nonDetStrictFoldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> a

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

5. varSetMinusEvBindMap :: VarSet -> EvBindMap -> VarSet

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

6. getTcEvBindsMap :: EvBindsVar -> TcM EvBindMap

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

7. setTcEvBindsMap :: EvBindsVar -> EvBindMap -> TcM ()

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

8. anyRewritableTyFamApp :: EqRel -> (EqRel -> TyCon -> [TcType] -> Bool) -> TcType -> Bool

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

9. type FamAppBreaker a = TcType -> TcM PuResult a Reduction

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

10. data TyEqFamApp a

    ghc	GHC.Tc.Utils.Unify

    What to do when encountering a type-family application while processing a type equality in the pure unifier. See Note [Family applications in canonical constraints]

Page 461 of many | Previous | Next