Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

  1. varSetMinusEvBindMap :: VarSet -> EvBindMap -> VarSet

    ghc GHC.Tc.Types.Evidence

    No documentation available.

  2. getTcEvBindsMap :: EvBindsVar -> TcM EvBindMap

    ghc GHC.Tc.Utils.Monad

    No documentation available.

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

    ghc GHC.Tc.Utils.Monad

    No documentation available.

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

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

    ghc GHC.Tc.Utils.Unify

    No documentation available.

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

  7. famAppArgFlags :: TyEqFlags a -> TyEqFlags a

    ghc GHC.Tc.Utils.Unify

    No documentation available.

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

  9. type DCMap = UniqMap DataCon NonEmpty (Int, Maybe IpeSourceLocation)

    ghc GHC.Types.IPE

    A map storing all the different uses of a specific data constructor and the approximate source position that usage arose from. The Int is an incrementing identifier which distinguishes each usage of a constructor in a module. It is paired with the source position the constructor was used at, if possible and a string which names the source location. This is the same information as is the payload for the SourceNote constructor.

  10. data InfoTableProvMap

    ghc GHC.Types.IPE

    No documentation available.

Page 462 of many | Previous | Next