Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc-lib-parser GHC.Core.Type No documentation available.
tyConForAllTyFlags :: TyCon -> [Type] -> [ForAllTyFlag]ghc-lib-parser GHC.Core.Type Given a TyCon and a list of argument types to which the TyCon is applied, determine each argument's visibility (Inferred, Specified, or Required). Wrinkle: consider the following scenario:
T :: forall k. k -> k tyConForAllTyFlags T [forall m. m -> m -> m, S, R, Q]
After substituting, we getT (forall m. m -> m -> m) :: (forall m. m -> m -> m) -> forall n. n -> n -> n
Thus, the first argument is invisible, S is visible, R is invisible again, and Q is visible.-
ghc-lib-parser GHC.Core.Unfold No documentation available.
toIfaceForAllBndr :: VarBndr TyCoVar flag -> VarBndr IfaceBndr flagghc-lib-parser GHC.CoreToIface No documentation available.
toIfaceForAllBndrs :: [VarBndr TyCoVar vis] -> [VarBndr IfaceBndr vis]ghc-lib-parser GHC.CoreToIface No documentation available.
tryAllM :: IOEnv env r -> IOEnv env (Either SomeException r)ghc-lib-parser GHC.Data.IOEnv No documentation available.
-
Small-array
-
ghc-lib-parser GHC.Data.SmallArray No documentation available.
SmallArray :: SmallArray# a -> SmallArray aghc-lib-parser GHC.Data.SmallArray No documentation available.
-
ghc-lib-parser GHC.Data.SmallArray No documentation available.