FRP.Dunai.QuickCheck

Random stream generation

Parameters used to generate random input streams

data Distribution

Constructors

DistConstant

DistNormal (DTime, DTime)

DistRandom

type Range = (Maybe DTime, Maybe DTime)

type Length = Maybe (Either Int DTime)

Time delta generation

generateDeltas :: Distribution -> Range -> Length -> Gen DTime

Generate a random delta according to some required specifications.

generateDelta :: Maybe DTime -> Maybe DTime -> Gen DTime

Generate one random delta, possibly within a range.

generateDSNormal :: DTime -> DTime -> Maybe DTime -> Maybe DTime -> Gen DTime

Generate a random delta following a normal distribution, and possibly within a given range.

timeStampsUntil :: DTime -> Gen [DTime]

Generate random samples up until a max time.

timeStampsUntilWith :: Gen DTime -> DTime -> Gen [DTime]

Generate random samples up until a max time, with a given time delta generation function.

Random stream generation

generateStream :: Arbitrary a => Distribution -> Range -> Length -> Gen (SignalSampleStream a)

Generate random stream.

generateStreamWith :: (Int -> DTime -> Gen a) -> Distribution -> Range -> Length -> Gen (SignalSampleStream a)

Generate random stream, parameterized by the value generator.

generateConstantStream :: (Int -> DTime -> Gen a) -> (DTime, Int) -> Gen (SignalSampleStream a)

Generate arbitrary stream with fixed length and constant delta.

generateStreamLenDT :: (Maybe DTime, Maybe DTime) -> Maybe (Either Int DTime) -> Gen (DTime, Int)

Generate arbitrary stream

Helpers for common cases

uniDistStream :: Arbitrary a => Gen (SignalSampleStream a)

Generate a stream of values with uniformly distributed time deltas.

uniDistStreamMaxDT :: Arbitrary a => DTime -> Gen (SignalSampleStream a)

Generate a stream of values with uniformly distributed time deltas, with a max DT.

fixedDelayStream :: Arbitrary a => DTime -> Gen (SignalSampleStream a)

Generate a stream of values with a fixed time delta.

fixedDelayStreamWith :: Arbitrary a => (DTime -> a) -> DTime -> Gen (SignalSampleStream a)

Generate a stream of values with a fixed time delta.

Extended quickcheck generator

vectorOfWith :: Int -> (Int -> Gen a) -> Gen [a]

Generates a list of the given length.