Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

Exact lookup

1. glpkSimplexDualInfeasible :: GlpkSimplexStatus

   glpk-headers	Math.Programming.Glpk.Header

   No documentation available.

2. glpkSimplexDualLowerLimitFailure :: GlpkSimplexStatus

   glpk-headers	Math.Programming.Glpk.Header

   No documentation available.

3. glpkSimplexDualUpperLimitFailure :: GlpkSimplexStatus

   glpk-headers	Math.Programming.Glpk.Header

   No documentation available.

4. iocpUseLongStepDual :: MIPControlParameters a -> Unused CInt

   glpk-headers	Math.Programming.Glpk.Header

   No documentation available.

5. smcpDualFeasibilityTolerance :: SimplexMethodControlParameters -> Double

   glpk-headers	Math.Programming.Glpk.Header

   No documentation available.

6. module Language.Fixpoint.Solver.GradualSolution

   No documentation available.

7. module Language.Fixpoint.Solver.GradualSolve

   Solve a system of horn-clause constraints ---------------------------------

8. solveGradual :: (NFData a, Fixpoint a) => Config -> SInfo a -> IO (Result (Integer, a))

   liquid-fixpoint	Language.Fixpoint.Solver.GradualSolve

   No documentation available.

9. filterValidGradual :: [Expr] -> Cand a -> SolveM ann [a]

   liquid-fixpoint	Language.Fixpoint.Solver.Monad

   `filterValidGradual ps [(x1, q1),...,(xn, qn)]` returns the list `[ xi | p => qi]` | for some p in the list ps

10. gradual :: Config -> Bool

    liquid-fixpoint	Language.Fixpoint.Types.Config

    solve "gradual" constraints

Page 19 of many | Previous | Next