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.

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

  2. famAppArgFlags :: TyEqFlags a -> TyEqFlags a

    ghc GHC.Tc.Utils.Unify

    No documentation available.

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

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

  5. data InfoTableProvMap

    ghc GHC.Types.IPE

    No documentation available.

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

    ghc GHC.Types.IPE

    No documentation available.

  7. emptyInfoTableProvMap :: InfoTableProvMap

    ghc GHC.Types.IPE

    No documentation available.

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

    ghc GHC.Types.Name.Env

    No documentation available.

  9. strictMapOccEnv :: (a -> b) -> OccEnv a -> OccEnv b

    ghc GHC.Types.Name.Occurrence

    Map over an OccEnv strictly.

  10. ns_map :: NameShape -> OccEnv Name

    ghc GHC.Types.Name.Shape

    No documentation available.

Page 462 of many | Previous | Next