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. newtype Packs

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   Constraint Pack Sets ------------------------------------------------------

2. Packs :: HashMap KVar Int -> Packs

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

3. module Language.Fixpoint.Types.PrettyPrint

   No documentation available.

4. class PPrint a

   liquid-fixpoint	Language.Fixpoint.Types.PrettyPrint

   Implement either pprintTidy or pprintPrec

5. class PTable a

   liquid-fixpoint	Language.Fixpoint.Types.PrettyPrint

   No documentation available.

6. PAll :: [(Symbol, Sort)] -> !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

7. PAnd :: [ExprV v] -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

8. PAtom :: Brel -> !ExprV v -> !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

9. PExist :: [(Symbol, Sort)] -> !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

10. pattern PFalse :: ExprV v

    liquid-fixpoint	Language.Fixpoint.Types.Refinements

    No documentation available.

Page 952 of many | Previous | Next