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. substForAllCoBndrUsing :: SwapFlag -> (Coercion -> Coercion) -> Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, KindCoercion)

   ghc-lib-parser	GHC.Core.TyCo.Subst

   No documentation available.

2. tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)

   ghc-lib-parser	GHC.Core.TyCo.Tidy

   No documentation available.

3. tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])

   ghc-lib-parser	GHC.Core.TyCo.Tidy

   No documentation available.

4. tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlag

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

5. tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlag

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

6. type ForAllTyBinder = VarBndr TyCoVar ForAllTyFlag

   ghc-lib-parser	GHC.Core.Type

   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

7. data ForAllTyFlag

   ghc-lib-parser	GHC.Core.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

8. appTyForAllTyFlags :: Type -> [Type] -> [ForAllTyFlag]

   ghc-lib-parser	GHC.Core.Type

   Given a Type and a list of argument types to which the Type is applied, determine each argument's visibility (Inferred, Specified, or Required). Most of the time, the arguments will be Required, but not always. Consider f :: forall a. a -> Type. In f Type Bool, the first argument (Type) is Specified and the second argument (Bool) is Required. It is precisely this sort of higher-rank situation in which appTyForAllTyFlags comes in handy, since f Type Bool would be represented in Core using AppTys. (See also #15792).

9. dropForAlls :: Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Drops all ForAllTys

10. isForAllTy :: Type -> Bool

    ghc-lib-parser	GHC.Core.Type

    Checks whether this is a proper forall (with a named binder)

Page 563 of many | Previous | Next