Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

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

   liquid-fixpoint	Language.Fixpoint.Parse

   No documentation available.

2. numIter :: Stats -> Int

   liquid-fixpoint	Language.Fixpoint.Solver.Monad

   # Refine Iterations

3. numBrkt :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtBracket calls (push/pop)

4. numChck :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtCheckUnsat calls

5. numCstr :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Horn Constraints

6. numIter :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Refine Iterations

7. numVald :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # times SMT said RHS Valid

8. numFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

9. numericClassKeys :: [Unique]

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. numberCodeLines :: Options -> !Bool

    literatex	LiterateX.Renderer

    True to number code lines

Page 90 of many | Previous | Next