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. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

    ghc GHC.Core.TyCo.Compare

    Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

  2. pprForAll :: [ForAllTyBinder] -> SDoc

    ghc GHC.Core.TyCo.Ppr

    No documentation available.

  3. pprUserForAll :: [ForAllTyBinder] -> SDoc

    ghc GHC.Core.TyCo.Ppr

    Print a user-level forall; see Note [When to print foralls] in GHC.Iface.Type.

  4. SelForAll :: CoSel

    ghc GHC.Core.TyCo.Rep

    No documentation available.

  5. mkForAllTy :: ForAllTyBinder -> Type -> Type

    ghc GHC.Core.TyCo.Rep

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

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

    ghc GHC.Core.TyCo.Rep

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

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

    ghc GHC.Core.TyCo.Rep

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

  8. substForAllCoBndr :: Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, Coercion)

    ghc GHC.Core.TyCo.Subst

    No documentation available.

  9. substForAllCoBndrUsing :: Bool -> (Coercion -> Coercion) -> Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, KindCoercion)

    ghc GHC.Core.TyCo.Subst

    No documentation available.

  10. tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)

    ghc GHC.Core.TyCo.Tidy

    No documentation available.

Page 444 of many | Previous | Next