Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. proveWithAny :: [SMTConfig] -> Symbolic SVal -> IO (Solver, NominalDiffTime, ThmResult)

   sbv	Data.SBV.Dynamic

   Prove a property with multiple solvers, running them in separate threads. Only the result of the first one to finish will be returned, remaining threads will be killed.

2. satConcurrentWithAny :: SMTConfig -> [Query b] -> Symbolic SVal -> IO (Solver, NominalDiffTime, SatResult)

   sbv	Data.SBV.Dynamic

   Find a satisfying assignment to a property with multiple threads in query mode. The Symbolic SVal represents what is known to all child query threads. Each query thread will spawn a unique instance of the solver. Only the first one to finish will be returned and the other threads will be killed.

3. satWithAny :: [SMTConfig] -> Symbolic SVal -> IO (Solver, NominalDiffTime, SatResult)

   sbv	Data.SBV.Dynamic

   Find a satisfying assignment to a property with multiple solvers, running them in separate threads. Only the result of the first one to finish will be returned, remaining threads will be killed.

4. SBVAny :: Kind -> SMTLambda -> SeqOp

   sbv	Data.SBV.Internals

   any a fun. Where fun :: a -> Bool, and any :: (a -> Bool) -> [a] -> Bool

5. sAny :: (a -> SBool) -> [a] -> SBool

   sbv	Data.SBV.Internals

   Generalization of any

6. sAny :: (a -> SBool) -> [a] -> SBool

   sbv	Data.SBV.Trans

   Generalization of any

7. allAny :: IO Proof

   sbv	Documentation.SBV.Examples.KnuckleDragger.Lists

   not (all id xs) == any not xs
   

   A list of booleans is not all true, if any of them is false. We have:

   >>> allAny
   Inductive lemma: allAny
   Step: Base                            Q.E.D.
   Step: 1                               Q.E.D.
   Step: 2                               Q.E.D.
   Step: 3                               Q.E.D.
   Step: 4                               Q.E.D.
   Result:                               Q.E.D.
   [Proven] allAny
   

8. pattern PangoScriptOsmanya :: PangoScript

   simple-pango	Graphics.Pango.Basic.ScriptsAndLanguages.PangoScript

   No documentation available.

9. pattern PangoScriptOsmanya :: PangoScript

   simple-pango	Graphics.Pango.Basic.ScriptsAndLanguages.PangoScript.Enum

   No documentation available.

10. eTooManyReferences :: SocketException

    socket	System.Socket

    Too many references: cannot splice.

Page 203 of many | Previous | Next