Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. Unbounded :: ValueBound tp

    what4 What4.Utils.AbstractDomains

    No documentation available.

  7. UnboundedRange :: ValueRange tp

    what4 What4.Utils.AbstractDomains

    The number is unconstrained.

  8. ravUnbounded :: RealAbstractValue

    what4 What4.Utils.AbstractDomains

    No documentation available.

  9. unboundedRange :: ValueRange tp

    what4 What4.Utils.AbstractDomains

    Defines a unbounded value range.

  10. unboundedIntegerScalar :: MaxInputSize -> Signed -> NumeralSystem -> Scalar Integer

    yaml-unscrambler YamlUnscrambler

    Numeric scalar parser into any integer value.

Page 39 of many | Previous | Next