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. isEmptyEvBindMap :: EvBindMap -> Bool

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

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

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

3. varSetMinusEvBindMap :: VarSet -> EvBindMap -> VarSet

   ghc	GHC.Tc.Types.Evidence

   No documentation available.

4. getTcEvBindsMap :: EvBindsVar -> TcM EvBindMap

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

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

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

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

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

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

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

8. 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]

9. famAppArgFlags :: TyEqFlags a -> TyEqFlags a

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

10. type ClosureMap = UniqMap Name (Type, Maybe IpeSourceLocation)

    ghc	GHC.Types.IPE

    A map from a Name to the best approximate source position that name arose from.

Page 461 of many | Previous | Next