Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. isInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Core.Type

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

2. isVisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Core.Type

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

3. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	GHC.Core.Type

   Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]

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

   ghc	GHC.Core.Type

   Make a named binder

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

   ghc	GHC.Core.Type

   Make many named binders

6. mkForAllTys :: [ForAllTyBinder] -> Type -> Type

   ghc	GHC.Core.Type

   Wraps foralls over the type using the provided TyCoVars from left to right

7. mkInfForAllTy :: TyVar -> Type -> Type

   ghc	GHC.Core.Type

   Like mkTyCoInvForAllTy, but tv should be a tyvar

8. mkInfForAllTys :: [TyVar] -> Type -> Type

   ghc	GHC.Core.Type

   Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

9. mkInvisForAllTys :: [InvisTVBinder] -> Type -> Type

   ghc	GHC.Core.Type

   Wraps foralls over the type using the provided InvisTVBinders from left to right

10. mkSpecForAllTy :: TyVar -> Type -> Type

    ghc	GHC.Core.Type

    Like mkForAllTy, but assumes the variable is dependent and Specified, a common case

Page 446 of many | Previous | Next