Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. ISetup :: IStage

   sbv	Data.SBV.Internals

   No documentation available.

2. KSet :: Kind -> Kind

   sbv	Data.SBV.Internals

   No documentation available.

3. data RCSet a

   sbv	Data.SBV.Internals

   A RCSet is either a regular set or a set given by its complement from the corresponding universal set.

4. RegularSet :: Set a -> RCSet a

   sbv	Data.SBV.Internals

   No documentation available.

5. type SSet a = SBV RCSet a

   sbv	Data.SBV.Internals

   Symbolic Set. Note that we use RCSet, which supports both regular sets and complements, i.e., those obtained from the universal set (of the right type) by removing elements. Similar to SArray the contents are stored with object equality, which makes a difference if the underlying type contains IEEE Floats.

6. cgSetDriverValues :: [Integer] -> SBVCodeGen ()

   sbv	Data.SBV.Internals

   Sets driver program run time values, useful for generating programs with fixed drivers for testing. Default: None, i.e., use random values.

7. isSet :: HasKind a => a -> Bool

   sbv	Data.SBV.Internals

   No documentation available.

8. solverSetOptions :: SMTConfig -> [SMTOption]

   sbv	Data.SBV.Internals

   Options to set as we start the solver

9. supportsSets :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports set operations?

10. supportsSets :: SolverCapabilities -> Bool

    sbv	Data.SBV.Internals

    Supports set operations?

Page 162 of many | Previous | Next