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. PGrad :: KVar -> !SubstV v -> GradInfo -> !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

2. PIff :: !ExprV v -> !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

3. PImp :: !ExprV v -> !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

4. PKVar :: KVar -> !SubstV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

5. PNot :: !ExprV v -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

6. POr :: [ExprV v] -> ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

7. pattern PTop :: ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

8. pattern PTrue :: ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

9. Plus :: Bop

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

10. type Pred = Expr

    liquid-fixpoint	Language.Fixpoint.Types.Refinements

    No documentation available.

Page 953 of many | Previous | Next