Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. platform_constants :: Platform -> !Maybe PlatformConstants

   ghc	GHC.Platform

   Constants such as structure offsets, type sizes, etc.

2. data PlatformConstants

   ghc	GHC.Platform.Constants

   No documentation available.

3. PlatformConstants :: Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Integer -> Integer -> Integer -> Bool -> PlatformConstants

   ghc	GHC.Platform.Constants

   No documentation available.

4. profilePlatform :: Profile -> !Platform

   ghc	GHC.Platform.Profile

   Platform

5. SelForAll :: CoSel

   ghc	GHC.Plugins

   No documentation available.

6. appTyForAllTyFlags :: Type -> [Type] -> [ForAllTyFlag]

   ghc	GHC.Plugins

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

7. dropForAlls :: Type -> Type

   ghc	GHC.Plugins

   Drops all ForAllTys

8. isForAllTy :: Type -> Bool

   ghc	GHC.Plugins

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

9. isForAllTy_co :: Type -> Bool

   ghc	GHC.Plugins

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

10. isForAllTy_invis_ty :: Type -> Bool

    ghc	GHC.Plugins

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

Page 472 of many | Previous | Next