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. Push :: Command

   liquid-fixpoint	Language.Fixpoint.Smt.Interface

   No documentation available.

2. Pop :: Command

   liquid-fixpoint	Language.Fixpoint.Smt.Types

   No documentation available.

3. Push :: Command

   liquid-fixpoint	Language.Fixpoint.Smt.Types

   No documentation available.

4. module Language.Fixpoint.Solver.PLE

   This module implements "Proof by Logical Evaluation" where we unfold function definitions if they *must* be unfolded, to strengthen the environments with function-definition-equalities. The algorithm is discussed at length in:

   1. "Refinement Reflection", POPL 2018, https://arxiv.org/pdf/1711.03842
   2. "Reasoning about Functions", VMCAI 2018, https://ranjitjhala.github.io/static/reasoning-about-functions.pdf

5. module Language.Fixpoint.Solver.Prettify

   Functions to make environments easier to read

6. PLE :: TermOrigin

   liquid-fixpoint	Language.Fixpoint.Solver.Rewrite

   No documentation available.

7. PatExact :: Symbol -> QualPattern

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   str i.e. exactly match str

8. PatNone :: QualPattern

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   match everything

9. PatPrefix :: Symbol -> Int -> QualPattern

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   str . $i i.e. match prefix str with suffix bound to $i

10. PatSuffix :: Int -> Symbol -> QualPattern

    liquid-fixpoint	Language.Fixpoint.Types.Constraints

    $i . str i.e. match suffix str with prefix bound to $i

Page 951 of many | Previous | Next