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.Iface.Type

   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. type IfaceForAllBndr = VarBndr IfaceBndr ForAllTyFlag

   ghc	GHC.Iface.Type

   No documentation available.

3. IfaceForAllCo :: IfaceBndr -> ForAllTyFlag -> ForAllTyFlag -> IfaceCoercion -> IfaceCoercion -> IfaceCoercion

   ghc	GHC.Iface.Type

   No documentation available.

4. type IfaceForAllSpecBndr = VarBndr IfaceBndr Specificity

   ghc	GHC.Iface.Type

   No documentation available.

5. IfaceForAllTy :: IfaceForAllBndr -> IfaceType -> IfaceType

   ghc	GHC.Iface.Type

   No documentation available.

6. data ShowForAllFlag

   ghc	GHC.Iface.Type

   Show forall flag Unconditionally show the forall quantifier with (ShowForAllMust) or when (ShowForAllWhen) the names used are free in the binder or when compiling with -fprint-explicit-foralls.

7. ShowForAllMust :: ShowForAllFlag

   ghc	GHC.Iface.Type

   No documentation available.

8. ShowForAllWhen :: ShowForAllFlag

   ghc	GHC.Iface.Type

   No documentation available.

9. appArgsIfaceTypesForAllTyFlags :: IfaceAppArgs -> [(IfaceType, ForAllTyFlag)]

   ghc	GHC.Iface.Type

   No documentation available.

10. ifForAllBndrName :: IfaceForAllBndr -> IfLclName

    ghc	GHC.Iface.Type

    Extract the variable name from an IfaceForAllBndr.

Page 285 of many | Previous | Next