Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. numBrkt :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtBracket calls (push/pop)

2. numChck :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtCheckUnsat calls

3. numCstr :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Horn Constraints

4. numIter :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Refine Iterations

5. numVald :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # times SMT said RHS Valid

6. numFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. numericClassKeys :: [Unique]

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. numberCodeLines :: Options -> !Bool

   literatex	LiterateX.Renderer

   True to number code lines

9. number :: Floating a => a -> FortranIO r (Ptr a)

   netlib-carray	Numeric.Netlib.CArray.Utility

   No documentation available.

10. number :: Floating a => a -> FortranIO r (Ptr a)

    netlib-comfort-array	Numeric.Netlib.ComfortArray.Utility

    No documentation available.

Page 93 of many | Previous | Next