Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. mkSymbolicEnumeration :: Name -> Q [Dec]

    sbv Data.SBV

    Make an enumeration a symbolic type.

  2. svEnumFromThenTo :: SVal -> Maybe SVal -> SVal -> Maybe [SVal]

    sbv Data.SBV.Dynamic

    Constructing [x, y, .. z] and [x .. y]. Only works when all arguments are concrete and integral and the result is guaranteed finite Note that the it isn't "obviously" clear why the following works; after all we're doing the construction over Integer's and mapping it back to other types such as SIntN/SWordN. The reason is that the values we receive are guaranteed to be in their domains; and thus the lifting to Integers preserves the bounds; and then going back is just fine. So, things like [1, 5 .. 200] :: [SInt8] work just fine (end evaluate to empty list), since we see [1, 5 .. -56] in the Integer domain. Also note the explicit check for s /= f below to make sure we don't stutter and produce an infinite list.

  3. showNegativeNumber :: (Show a, Num a, Ord a) => a -> String

    sbv Data.SBV.Internals

    When we show a negative number in SMTLib, we must properly parenthesize.

  4. mkSymbolicEnumeration :: Name -> Q [Dec]

    sbv Data.SBV.Trans

    Make an enumeration a symbolic type.

  5. fromEnumMap :: Methods queue set -> EnumMap SetId set -> queue

    set-cover Math.SetCover.Queue

    No documentation available.

  6. typeNumber :: Type t => t -> CInt

    socket System.Socket

    This number designates this Type on the specific platform. This method is only exported for implementing extension libraries. The function shall yield the values of constants like SOCK_STREAM, SOCK_DGRAM etc.

  7. deriveEnumerable :: Name -> Q [Dec]

    testing-feat Test.Feat

    No documentation available.

  8. deriveEnumerable :: Name -> Q [Dec]

    testing-feat Test.Feat.Class

    No documentation available.

  9. fEnum :: FlexOptions a -> Enumerate a

    testing-feat Test.Feat.Driver

    The base enumeration to use, before applying fProcess.

  10. randomEnum :: (Enum a, RandomGen g) => (a, a) -> g -> (a, g)

    tf-random System.Random.TF.Instances

    No documentation available.

Page 181 of many | Previous | Next