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.
-
No documentation available.
-
Platform profiles
-
ghc GHC.Platform.Profile A platform profile fully describes the kind of objects that are generated for a platform. Platform doesn't fully describe the ABI of an object. Compiler ways (profiling, debug, dynamic) also modify the ABI.
Profile :: Platform -> Ways -> Profileghc GHC.Platform.Profile No documentation available.
-
This module is not used by GHC itself. Rather, it exports all of the functions and types you are likely to need when writing a plugin for GHC. So authors of plugins can probably get away simply with saying "import GHC.Plugins". Particularly interesting modules for plugin writers include GHC.Core and GHC.Core.Opt.Monad.
-
ghc GHC.Plugins No documentation available.
-
ghc GHC.Plugins A PiTyBinder represents an argument to a function. PiTyBinders can be dependent (Named) or nondependent (Anon). They may also be visible or not. See Note [PiTyBinders]
-
ghc GHC.Plugins A type of the form p of constraint kind represents a value whose type is the Haskell predicate p, where a predicate is what occurs before the => in a Haskell type. We use PredType as documentation to mark those types that we guarantee to have this kind. It can be expanded into its representation, but:
- The type checker must treat it as opaque
- The rest of the compiler treats it as transparent
f :: (Eq a) => a -> Int g :: (?x :: Int -> Int) => a -> Int h :: (r\l) => {r} => {l::Int | r}Here the Eq a and ?x :: Int -> Int and rl are all called "predicates" -
ghc GHC.Plugins No documentation available.
-
ghc GHC.Plugins No documentation available.