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.

Exact lookup

1. archWordFormat :: Bool -> Format

   ghc	GHC.CmmToAsm.X86.Instr

   No documentation available.

2. getPlatform :: LlvmM Platform

   ghc	GHC.CmmToLlvm.Base

   Get target platform

3. llvmCgPlatform :: LlvmCgConfig -> !Platform

   ghc	GHC.CmmToLlvm.Config

   Target platform

4. SelForAll :: CoSel

   ghc	GHC.Core.Coercion

   No documentation available.

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

   ghc	GHC.Core.Coercion

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

6. mkHomoForAllCos :: [ForAllTyBinder] -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

   Make a Coercion quantified over a type/coercion variable; the variable has the same kind and visibility in both sides of the coercion

7. mkNakedForAllCo :: TyVar -> ForAllTyFlag -> ForAllTyFlag -> CoercionN -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

   No documentation available.

8. splitForAllCo_co_maybe :: Coercion -> Maybe (CoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for covar binder

9. splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc	GHC.Core.Coercion

   No documentation available.

10. splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

    ghc	GHC.Core.Coercion

    Like splitForAllCo_maybe, but only returns Just for tyvar binder

Page 442 of many | Previous | Next