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.

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

    ghc GHC.Core.TyCo.Tidy

    No documentation available.

  2. isForgetfulSynTyCon :: TyCon -> Bool

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

  3. tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlag

    ghc GHC.Core.TyCon

    No documentation available.

  4. tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlag

    ghc GHC.Core.TyCon

    No documentation available.

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

  6. dropForAlls :: Type -> Type

    ghc GHC.Core.Type

    Drops all ForAllTys

  7. isForAllTy :: Type -> Bool

    ghc GHC.Core.Type

    Checks whether this is a proper forall (with a named binder)

  8. isForAllTy_co :: Type -> Bool

    ghc GHC.Core.Type

    Like isForAllTy, but returns True only if it is a covar binder

  9. isForAllTy_invis_ty :: Type -> Bool

    ghc GHC.Core.Type

    Like isForAllTy, but returns True only if it is an inferred tyvar binder

  10. isForAllTy_ty :: Type -> Bool

    ghc GHC.Core.Type

    Like isForAllTy, but returns True only if it is a tyvar binder

Page 445 of many | Previous | Next