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. class Predicate a

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   Values that can be viewed as Predicates

2. data Pos

   liquid-fixpoint	Language.Fixpoint.Types.Spans

   Pos is the type for positive integers. This is used to represent line number, column number, and similar things like indentation level. Semigroup instance can be used to safely and efficiently add Poses together.

3. PAss :: Ext

   liquid-fixpoint	Language.Fixpoint.Utils.Files

   No documentation available.

4. Part :: Int -> Ext

   liquid-fixpoint	Language.Fixpoint.Utils.Files

   Partition

5. Pred :: Ext

   liquid-fixpoint	Language.Fixpoint.Utils.Files

   No documentation available.

6. module Language.Fixpoint.Utils.Progress

   Progress Bar API

7. PStr :: String -> TextDetails

   liquid-fixpoint	Text.PrettyPrint.HughesPJ.Compat

   Used to represent a Fast String fragment but now deprecated and identical to the Str constructor.

8. PageMode :: Mode

   liquid-fixpoint	Text.PrettyPrint.HughesPJ.Compat

   Normal rendering (lineLength and ribbonsPerLine respected').

9. module Language.Haskell.Liquid.Bare.Plugged

   No documentation available.

10. data PlugTV v

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

    See [NOTE: Plug-Holes-TyVars] for a rationale for PlugTV

Page 954 of many | Previous | Next