Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. isInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Plugins

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

2. isVisibleForAllTyFlag :: ForAllTyFlag -> Bool

   ghc	GHC.Plugins

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

3. lookupOccEnv_AllNameSpaces :: OccEnv a -> OccName -> [a]

   ghc	GHC.Plugins

   Lookup an element in an OccEnv, ignoring NameSpaces entirely.

4. lookupOccEnv_AllNameSpaces :: OccEnv a -> OccName -> [a]

   ghc	GHC.Plugins

   Lookup an element in an OccEnv, ignoring NameSpaces entirely.

5. mkFCallName :: Unique -> FastString -> Name

   ghc	GHC.Plugins

   Make a name for a foreign call

6. mkForAllCo :: HasDebugCallStack => TyCoVar -> ForAllTyFlag -> ForAllTyFlag -> CoercionN -> Coercion -> Coercion

   ghc	GHC.Plugins

   Make a Coercion from a tycovar, a kind coercion, and a body coercion.

7. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

   Make a named binder

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

   ghc	GHC.Plugins

   Make many named binders

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

    ghc	GHC.Plugins

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

Page 295 of many | Previous | Next