Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlagghc-lib-parser GHC.Core.TyCon No documentation available.
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).
-
ghc-lib-parser GHC.Core.Type Drops all ForAllTys
-
ghc-lib-parser GHC.Core.Type Checks whether this is a proper forall (with a named binder)
-
ghc-lib-parser GHC.Core.Type Like isForAllTy, but returns True only if it is a covar binder
isForAllTy_invis_ty :: Type -> Boolghc-lib-parser GHC.Core.Type Like isForAllTy, but returns True only if it is an inferred tyvar binder
-
ghc-lib-parser GHC.Core.Type Like isForAllTy, but returns True only if it is a tyvar binder
isInvisibleForAllTyFlag :: ForAllTyFlag -> Boolghc-lib-parser GHC.Core.Type Does this ForAllTyFlag classify an argument that is not written in Haskell?
isVisibleForAllTyFlag :: ForAllTyFlag -> Boolghc-lib-parser GHC.Core.Type Does this ForAllTyFlag classify an argument that is written in Haskell?
mkForAllTy :: ForAllTyBinder -> Type -> Typeghc-lib-parser GHC.Core.Type Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]