| Safe Haskell | Safe-Inferred |
|---|
Language.Boogie.Generator
Description
Deterministic and non-deterministic input generators
- data Generator m = Generator {}
- defaultGenerator :: Generator Identity
- exhaustiveGenerator :: Maybe Integer -> Generator Stream
- randomGenerator :: StdGen -> Maybe Integer -> Generator Stream
- intInterval :: Integral t => t -> (t, t)
- natInterval :: (Num t, Num t1) => t1 -> (t, t1)
- fromList :: [a] -> Stream a
Documentation
Input generator
defaultGenerator :: Generator IdentitySource
Always generates the same default value
exhaustiveGenerator :: Maybe Integer -> Generator StreamSource
Generates all possible values once, in a predefined order
randomGenerator :: StdGen -> Maybe Integer -> Generator StreamSource
Generated values randomly; the same value can be generated multiple times
intInterval :: Integral t => t -> (t, t)Source
intInterval n: interval centered around 0 of size n
natInterval :: (Num t, Num t1) => t1 -> (t, t1)Source
natInterval n: interval starting from 0 of size n