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.
appTyForAllTyFlags :: Type -> [Type] -> [ForAllTyFlag]ghc GHC.Plugins 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 GHC.Plugins Drops all ForAllTys
-
ghc GHC.Plugins Checks whether this is a proper forall (with a named binder)
-
ghc GHC.Plugins Like isForAllTy, but returns True only if it is a covar binder
isForAllTy_invis_ty :: Type -> Boolghc GHC.Plugins Like isForAllTy, but returns True only if it is an inferred tyvar binder
-
ghc GHC.Plugins Like isForAllTy, but returns True only if it is a tyvar binder
isInvisibleForAllTyFlag :: ForAllTyFlag -> Boolghc GHC.Plugins Does this ForAllTyFlag classify an argument that is not written in Haskell?
isVisibleForAllTyFlag :: ForAllTyFlag -> Boolghc GHC.Plugins Does this ForAllTyFlag classify an argument that is written in Haskell?
-
ghc GHC.Plugins Make a Coercion from a tycovar, a kind coercion, and a body coercion.
mkForAllTy :: ForAllTyBinder -> Type -> Typeghc GHC.Plugins Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]