Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. numericDeclP :: Parser Symbol

   liquid-fixpoint	Language.Fixpoint.Horn.Parse

   No documentation available.

2. numTyCons :: PStateV v -> !HashSet Symbol

   liquid-fixpoint	Language.Fixpoint.Parse

   No documentation available.

3. numIter :: Stats -> Int

   liquid-fixpoint	Language.Fixpoint.Solver.Monad

   # Refine Iterations

4. numBrkt :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtBracket calls (push/pop)

5. numChck :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtCheckUnsat calls

6. numCstr :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Horn Constraints

7. numIter :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Refine Iterations

8. numVald :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # times SMT said RHS Valid

9. numFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

10. numericClassKeys :: [Unique]

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 90 of many | Previous | Next