Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. numSparks# :: State# d -> (# State# d, Int# #)

   ihaskell	IHaskellPrelude

   Returns the number of sparks in the local spark pool.

2. numerator :: Ratio a -> a

   incipit-base	Incipit.Base

   Extract the numerator of the ratio in reduced form: the numerator and denominator have no common factor and the denominator is positive.

3. numericDeclP :: Parser Symbol

   liquid-fixpoint	Language.Fixpoint.Horn.Parse

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Parse

   No documentation available.

5. numIter :: Stats -> Int

   liquid-fixpoint	Language.Fixpoint.Solver.Monad

   # Refine Iterations

6. numBrkt :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtBracket calls (push/pop)

7. numChck :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # smtCheckUnsat calls

8. numCstr :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Horn Constraints

9. numIter :: Stats -> !Int

   liquid-fixpoint	Language.Fixpoint.Solver.Stats

   # Refine Iterations

10. numVald :: Stats -> !Int

    liquid-fixpoint	Language.Fixpoint.Solver.Stats

    # times SMT said RHS Valid

Page 92 of many | Previous | Next