Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

  1. CmmUnsafeForeignCall :: ForeignTarget -> [CmmFormal] -> [CmmActual] -> CmmNode 'Open 'Open

    ghc-lib-parser GHC.Cmm.Node

    No documentation available.

  2. primRepForeignHint :: PrimRep -> ForeignHint

    ghc-lib-parser GHC.Cmm.Utils

    No documentation available.

  3. typeForeignHint :: NvUnaryType -> ForeignHint

    ghc-lib-parser GHC.Cmm.Utils

    No documentation available.

  4. llvmCgPlatform :: LlvmCgConfig -> !Platform

    ghc-lib-parser GHC.CmmToLlvm.Config

    Target platform

  5. SelForAll :: CoSel

    ghc-lib-parser GHC.Core.Coercion

    No documentation available.

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

    ghc-lib-parser GHC.Core.Coercion

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

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

    ghc-lib-parser 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

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

    ghc-lib-parser GHC.Core.Coercion

    No documentation available.

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

    ghc-lib-parser GHC.Core.Coercion

    Like splitForAllCo_maybe, but only returns Just for covar binder

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

    ghc-lib-parser GHC.Core.Coercion

    No documentation available.

Page 670 of many | Previous | Next