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. Pragma :: Located String -> BPspec

   liquidhaskell-boot	Language.Haskell.Liquid.Parse

   LIQUID pragma, used to save configuration options in source files

2. PrivateReflect :: LocSymbol -> BPspec

   liquidhaskell-boot	Language.Haskell.Liquid.Parse

   'private-reflect' annotation

3. type ParseError = ParseError String Void

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Errors

   No documentation available.

4. module Language.Haskell.Liquid.Types.PredType

   No documentation available.

5. module Language.Haskell.Liquid.Types.PrettyPrint

   This module contains a single function that converts a RType -> Doc without using *any* simplifications.

6. PP :: Bool -> Bool -> Bool -> Bool -> PPEnv

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

   No documentation available.

7. data PPEnv

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

   Printer ----------------------------------------------------------------

8. PV :: Symbol -> t -> Symbol -> [(t, Symbol, ExprV v)] -> PVarV v t

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

   No documentation available.

9. type PVU c tv = PVUV Symbol c tv

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

   No documentation available.

10. type PVar t = PVarV Symbol t

    liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

    Abstract Predicate Variables ----------------------------------

Page 956 of many | Previous | Next