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

   ghc	GHC.Core.TyCo.Subst

   No documentation available.

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

4. tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlag

   ghc	GHC.Core.TyCon

   No documentation available.

5. tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlag

   ghc	GHC.Core.TyCon

   No documentation available.

6. nameSetAll :: (TyCon -> Bool) -> TyConSet -> Bool

   ghc	GHC.Core.TyCon.Set

   No documentation available.

7. type ForAllTyBinder = VarBndr TyCoVar ForAllTyFlag

   ghc	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 A TyVarBinder is a binder with only TyVar

8. data ForAllTyFlag

   ghc	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

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

   ghc	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).

10. dropForAlls :: Type -> Type

    ghc	GHC.Core.Type

    Drops all ForAllTys

Page 266 of many | Previous | Next