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

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

   No documentation available.

2. substForAllCoBndrUsing :: SwapFlag -> (Coercion -> Coercion) -> Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, KindCoercion)

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

5. isForgetfulSynTyCon :: TyCon -> Bool

   ghc-lib-parser	GHC.Core.TyCon

   Is this a forgetful type synonym? If this is a type synonym whose RHS does not mention one (or more) of its bound variables, returns True. Thus, False means that all bound variables appear on the RHS; True may not mean anything, as the test to set this flag is conservative. See Note [Forgetful type synonyms]

6. tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlag

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

7. tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlag

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

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 674 of many | Previous | Next