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.

Exact lookup

1. data ForAllTyFlag

   ghc	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

2. coreTyLamForAllTyFlag :: ForAllTyFlag

   ghc	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

3. isInferredForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Types.Var

   No documentation available.

4. isInvisibleForAllTyBinder :: ForAllTyBinder -> Bool

   ghc	GHC.Types.Var

   No documentation available.

5. isInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Types.Var

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

6. isSpecifiedForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Types.Var

   No documentation available.

7. isVisibleForAllTyBinder :: ForAllTyBinder -> Bool

   ghc	GHC.Types.Var

   No documentation available.

8. isVisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Types.Var

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

9. mkForAllTyBinder :: vis -> TyCoVar -> VarBndr TyCoVar vis

   ghc	GHC.Types.Var

   Make a named binder

10. mkForAllTyBinders :: vis -> [TyCoVar] -> [VarBndr TyCoVar vis]

    ghc	GHC.Types.Var

    Make many named binders

Page 323 of many | Previous | Next