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.

Exact lookup

1. data PkgQual

   liquidhaskell-boot	Liquid.GHC.API

   Package-qualifier after renaming Renaming detects if "this" or the unit-id of the home-unit was used as a package qualifier.

2. data Plugin

   liquidhaskell-boot	Liquid.GHC.API

   Plugin is the compiler plugin data type. Try to avoid constructing one of these directly, and just modify some fields of defaultPlugin instead: this is to try and preserve source-code compatibility when we add fields to this. Nonetheless, this API is preliminary and highly likely to change in the future.

3. Plugin :: CorePlugin -> TcPlugin -> DefaultingPlugin -> HoleFitPlugin -> ([CommandLineOption] -> HscEnv -> IO HscEnv) -> LatePlugin -> ([CommandLineOption] -> IO PluginRecompile) -> ([CommandLineOption] -> ModSummary -> ParsedResult -> Hsc ParsedResult) -> ([CommandLineOption] -> TcGblEnv -> HsGroup GhcRn -> TcM (TcGblEnv, HsGroup GhcRn)) -> ([CommandLineOption] -> ModSummary -> TcGblEnv -> TcM TcGblEnv) -> ([CommandLineOption] -> LHsExpr GhcTc -> TcM (LHsExpr GhcTc)) -> (forall lcl . () => [CommandLineOption] -> ModIface -> IfM lcl ModIface) -> Plugin

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

4. PprCode :: PprStyle

   liquidhaskell-boot	Liquid.GHC.API

   Print code; either C or assembler

5. PprDump :: NamePprCtx -> PprStyle

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. data PprPrec

   liquidhaskell-boot	Liquid.GHC.API

   A general-purpose pretty-printing precedence type.

7. data PprStyle

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. PprUser :: NamePprCtx -> Depth -> Coloured -> PprStyle

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. type PredType = Type

   liquidhaskell-boot	Liquid.GHC.API

   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
   Consider these examples:

   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"

10. Prefix :: LexicalFixity

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 959 of many | Previous | Next