Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. numChck :: Stats -> !Int

    liquid-fixpoint Language.Fixpoint.Solver.Stats

    # smtCheckUnsat calls

  2. numCstr :: Stats -> !Int

    liquid-fixpoint Language.Fixpoint.Solver.Stats

    # Horn Constraints

  3. numIter :: Stats -> !Int

    liquid-fixpoint Language.Fixpoint.Solver.Stats

    # Refine Iterations

  4. numVald :: Stats -> !Int

    liquid-fixpoint Language.Fixpoint.Solver.Stats

    # times SMT said RHS Valid

  5. numFTyCon :: FTycon

    liquid-fixpoint Language.Fixpoint.Types.Sorts

    No documentation available.

  6. numericClassKeys :: [Unique]

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  7. numberCodeLines :: Options -> !Bool

    literatex LiterateX.Renderer

    True to number code lines

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

    netlib-carray Numeric.Netlib.CArray.Utility

    No documentation available.

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

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

    No documentation available.

  10. package numeric-quest

    Math and quantum mechanics List based linear algebra, similtaneous linear equations, eigenvalues and eigenvectors, roots of polynomials, transcendent functions with arbitrary precision implemented by continued fractions, quantum operations, tensors

Page 93 of many | Previous | Next