NumHask.Hedgehog.Gen

Documentation

rational :: (ToRatio a Integer, FromRatio a Integer, MonadGen m) => Range a -> m a

a rational-style random variate

rational_ :: (Additive a, Bounded a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a

a rational style random variate utilising Bounds

integral :: (MonadGen m, FromInteger a, ToInteger a) => Range a -> m a

an integral-type random variate integral :: (ToIntegral a Integer, FromIntegral a Integer, MonadGen m) => Range.Range a -> m a

integral_ :: (Additive a, Bounded a, ToInteger a, FromInteger a, MonadGen m) => m a

an integral-style random variate utilising Bounds

uniform :: (Field a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a

a uniform distribution between zero and one

negUniform :: (Field a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a

a uniform distribution between -1 and 1

genPair :: Monad m => m a -> m (Pair a)

a pair

genRange :: forall a m. (Ord a, MonadGen m) => m a -> m (Range a)

Space

genRangePos :: forall a m. (Ord a, MonadGen m) => m a -> m (Range a)

genComplex :: Monad m => m a -> m (Complex a)

a complex random variate