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.

  1. dropForAlls :: Type -> Type

    ghc GHC.Core.Type

    Drops all ForAllTys

  2. isForAllTy :: Type -> Bool

    ghc GHC.Core.Type

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

  3. isForAllTy_co :: Type -> Bool

    ghc GHC.Core.Type

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

  4. isForAllTy_invis_ty :: Type -> Bool

    ghc GHC.Core.Type

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

  5. isForAllTy_ty :: Type -> Bool

    ghc GHC.Core.Type

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

  6. isInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

    ghc GHC.Core.Type

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

  7. isVisibleForAllTyFlag :: ForAllTyFlag -> Bool

    ghc GHC.Core.Type

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

  8. 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]

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

    ghc GHC.Core.Type

    Make a named binder

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

    ghc GHC.Core.Type

    Make many named binders

Page 446 of many | Previous | Next