Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. oBounded :: Options -> Maybe Integer

    testing-feat Test.Feat.Driver

    Maximum number of tests per size

  2. Unbounded :: Bound r

    what4 What4.Config

    No documentation available.

  3. UnboundedRange :: ValueRange tp

    what4 What4.Interface

    The number is unconstrained.

  4. freshBoundedBV :: forall (w :: Natural) . (IsSymExprBuilder sym, 1 <= w) => sym -> SolverSymbol -> NatRepr w -> Maybe Natural -> Maybe Natural -> IO (SymBV sym w)

    what4 What4.Interface

    Create a fresh bitvector value with optional lower and upper bounds (which bound the unsigned value of the bitvector). If provided, the bounds are inclusive. If inconsistent or out-of-range bounds are given, an InvalidRange exception will be thrown.

  5. freshBoundedInt :: IsSymExprBuilder sym => sym -> SolverSymbol -> Maybe Integer -> Maybe Integer -> IO (SymInteger sym)

    what4 What4.Interface

    Create a fresh integer constant with optional lower and upper bounds. If provided, the bounds are inclusive. If inconsistent bounds are given, an InvalidRange exception will be thrown.

  6. freshBoundedNat :: IsSymExprBuilder sym => sym -> SolverSymbol -> Maybe Natural -> Maybe Natural -> IO (SymNat sym)

    what4 What4.Interface

    Create a fresh natural number constant with optional lower and upper bounds. If provided, the bounds are inclusive. If inconsistent bounds are given, an InvalidRange exception will be thrown.

  7. freshBoundedReal :: IsSymExprBuilder sym => sym -> SolverSymbol -> Maybe Rational -> Maybe Rational -> IO (SymReal sym)

    what4 What4.Interface

    Create a fresh real constant with optional lower and upper bounds. If provided, the bounds are inclusive. If inconsistent bounds are given, an InvalidRange exception will be thrown.

  8. freshBoundedSBV :: forall (w :: Natural) . (IsSymExprBuilder sym, 1 <= w) => sym -> SolverSymbol -> NatRepr w -> Maybe Integer -> Maybe Integer -> IO (SymBV sym w)

    what4 What4.Interface

    Create a fresh bitvector value with optional lower and upper bounds (which bound the signed value of the bitvector). If provided, the bounds are inclusive. If inconsistent or out-of-range bounds are given, an InvalidRange exception will be thrown.

  9. Unbounded :: ValueBound tp

    what4 What4.Utils.AbstractDomains

    No documentation available.

  10. UnboundedRange :: ValueRange tp

    what4 What4.Utils.AbstractDomains

    The number is unconstrained.

Page 38 of many | Previous | Next