Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. mkGeneralLocated :: String -> e -> Located e

   ghc-lib-parser	GHC.Types.SrcLoc

   No documentation available.

2. psRealLoc :: PsLoc -> !RealSrcLoc

   ghc-lib-parser	GHC.Types.SrcLoc

   No documentation available.

3. rightmost_smallest :: SrcSpan -> SrcSpan -> Ordering

   ghc-lib-parser	GHC.Types.SrcLoc

   Strategies for ordering SrcSpans

4. sortRealLocated :: [RealLocated a] -> [RealLocated a]

   ghc-lib-parser	GHC.Types.SrcLoc

   No documentation available.

5. targetAllowObjCode :: Target -> !Bool

   ghc-lib-parser	GHC.Types.Target

   object code allowed?

6. uniqSetAll :: (a -> Bool) -> UniqSet a -> Bool

   ghc-lib-parser	GHC.Types.Unique.Set

   No documentation available.

7. type ForAllTyBinder = VarBndr TyCoVar ForAllTyFlag

   ghc-lib-parser	GHC.Types.Var

   Variable Binder A ForAllTyBinder is the binder of a ForAllTy It's convenient to define this synonym here rather its natural home in GHC.Core.TyCo.Rep, because it's used in GHC.Core.DataCon.hs-boot See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] A TyVarBinder is a binder with only TyVar

8. data ForAllTyFlag

   ghc-lib-parser	GHC.Types.Var

   ForAllTyFlag Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep

9. coreTyLamForAllTyFlag :: ForAllTyFlag

   ghc-lib-parser	GHC.Types.Var

   The ForAllTyFlag on a (Lam a e) term, where a is a type variable. If you want other ForAllTyFlag, use a cast. See Note [Required foralls in Core] in GHC.Core.TyCo.Rep

10. isInferredForAllTyFlag :: ForAllTyFlag -> Bool

    ghc-lib-parser	GHC.Types.Var

    No documentation available.

Page 608 of many | Previous | Next