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.

Exact lookup

1. checkSatAssuming :: (MonadIO m, MonadQuery m) => [SBool] -> m CheckSatResult

   sbv	Data.SBV.Trans.Control

   Generalization of checkSatAssuming

2. checkSatAssumingWithUnsatisfiableSet :: (MonadIO m, MonadQuery m) => [SBool] -> m (CheckSatResult, Maybe [SBool])

   sbv	Data.SBV.Trans.Control

   Generalization of checkSatAssumingWithUnsatisfiableSet

3. module Documentation.SBV.Examples.BitPrecise.PrefixSum

   The PrefixSum algorithm over power-lists and proof of the Ladner-Fischer implementation. See https://www.cs.utexas.edu/~misra/psp.dir/powerlist.pdf and http://www.cs.utexas.edu/~plaxton/c/337/05f/slides/ParallelRecursion-4.pdf.

4. goodSum :: Symbolic [(Integer, Integer)]

   sbv	Documentation.SBV.Examples.Queries.AllSat

   Find all solutions to x + y .== 10 for positive x and y. This is rather silly to do in the query mode as allSat can do this automatically, but it demonstrates how we can dynamically query the result and put in new constraints based on those.

5. imperativeSum :: Invariant S -> Maybe (Measure S) -> Program S

   sbv	Documentation.SBV.Examples.WeakestPreconditions.Sum

   A program is the algorithm, together with its pre- and post-conditions.

6. module SequenceFormats.FreqSum

   Module to parse and write freqSum files. The freqsum format is defined here: https://rarecoal-docs.readthedocs.io/en/latest/rarecoal-tools.html#vcf2freqsum

7. data FreqSumEntry

   sequence-formats	SequenceFormats.FreqSum

   A Datatype to denote a single freqSum line

8. FreqSumEntry :: Chrom -> Int -> Maybe ByteString -> Maybe Double -> Char -> Char -> [Maybe (Int, Int)] -> FreqSumEntry

   sequence-formats	SequenceFormats.FreqSum

   No documentation available.

9. data FreqSumHeader

   sequence-formats	SequenceFormats.FreqSum

   A Datatype representing the Header

10. FreqSumHeader :: [String] -> [Int] -> FreqSumHeader

    sequence-formats	SequenceFormats.FreqSum

    No documentation available.

Page 178 of many | Previous | Next