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. type family XXForeignImport x

   ghc-lib-parser	Language.Haskell.Syntax.Extension

   No documentation available.

2. type family XXHsForAllTelescope x

   ghc-lib-parser	Language.Haskell.Syntax.Extension

   No documentation available.

3. coreTyLamForAllTyFlag :: ForAllTyFlag

   ghc-lib-parser	Language.Haskell.Syntax.Specificity

   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

4. isInferredForAllTyFlag :: ForAllTyFlag -> Bool

   ghc-lib-parser	Language.Haskell.Syntax.Specificity

   No documentation available.

5. isInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc-lib-parser	Language.Haskell.Syntax.Specificity

   Does this ForAllTyFlag classify an argument that is not written in Haskell?

6. isSpecifiedForAllTyFlag :: ForAllTyFlag -> Bool

   ghc-lib-parser	Language.Haskell.Syntax.Specificity

   No documentation available.

7. isVisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc-lib-parser	Language.Haskell.Syntax.Specificity

   Does this ForAllTyFlag classify an argument that is written in Haskell?

8. HsForAllInvis :: XHsForAllInvis pass -> [LHsTyVarBndr Specificity pass] -> HsForAllTelescope pass

   ghc-lib-parser	Language.Haskell.Syntax.Type

   An invisible forall (e.g., forall a {b} c. {...}), where each binder has a Specificity.

9. data HsForAllTelescope pass

   ghc-lib-parser	Language.Haskell.Syntax.Type

   The type variable binders in an HsForAllTy. See also Note [Variable Specificity and Forall Visibility] in GHC.Tc.Gen.HsType.

10. HsForAllTy :: XForAllTy pass -> HsForAllTelescope pass -> LHsType pass -> HsType pass

    ghc-lib-parser	Language.Haskell.Syntax.Type

    No documentation available.

Page 718 of many | Previous | Next