Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

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

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

    ghc GHC.Tc.Utils.Unify

    No documentation available.

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

  4. famAppArgFlags :: TyEqFlags a -> TyEqFlags a

    ghc GHC.Tc.Utils.Unify

    No documentation available.

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

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

  7. data InfoTableProvMap

    ghc GHC.Types.IPE

    No documentation available.

  8. InfoTableProvMap :: DCMap -> ClosureMap -> InfoTableToSourceLocationMap -> InfoTableProvMap

    ghc GHC.Types.IPE

    No documentation available.

  9. emptyInfoTableProvMap :: InfoTableProvMap

    ghc GHC.Types.IPE

    No documentation available.

  10. fromUniqMap :: UniqMap Name a -> NameEnv a

    ghc GHC.Types.Name.Env

    No documentation available.

Page 463 of many | Previous | Next