Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. Penalty :: Rational -> Maybe String -> Penalty

   sbv	Data.SBV

   Penalty with a weight and an optional group

2. type Predicate = Symbolic SBool

   sbv	Data.SBV

   A predicate is a symbolic program that returns a (symbolic) boolean value. For all intents and purposes, it can be treated as an n-ary function from symbolic-values to a boolean. The Symbolic monad captures the underlying representation, and can/should be ignored by the users of the library, unless you are building further utilities on top of SBV itself. Instead, simply use the Predicate type when necessary.

3. PrintTiming :: Timing

   sbv	Data.SBV

   No documentation available.

4. ProofError :: SMTConfig -> [String] -> Maybe SMTResult -> SMTResult

   sbv	Data.SBV

   Prover errored out, with possibly a bogus result

5. type Provable = ProvableM IO

   sbv	Data.SBV

   Provable is specialization of ProvableM to the IO monad. Unless you are using transformers explicitly, this is the type you should prefer.

6. ProduceAbducts :: Bool -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

7. ProduceAssertions :: Bool -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

8. ProduceAssignments :: Bool -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

9. ProduceInterpolants :: Bool -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

10. ProduceProofs :: Bool -> SMTOption

    sbv	Data.SBV.Control

    No documentation available.

Page 991 of many | Previous | Next