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 PVarV v t

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

   No documentation available.

2. Pr :: [UsedPVarV v] -> PredicateV v

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

   No documentation available.

3. type Predicate = PredicateV Symbol

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

   No documentation available.

4. newtype PredicateV v

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

   No documentation available.

5. Pos :: [a] -> [a] -> [a] -> Positions a

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

   No documentation available.

6. data Positions a

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

   No documentation available.

7. class PPrint a

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

   Implement either pprintTidy or pprintPrec

8. PredInstE :: KVKind

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

   No documentation available.

9. ProjectE :: KVKind

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

   Projecting out field of

10. newtype PDoc a

    liquidhaskell-boot	Liquid.GHC.API

    Wrapper for types having a Outputable instance when an OutputableP instance is required.

Page 957 of many | Previous | Next