Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- rational :: (ToRatio a Integer, FromRatio a Integer, MonadGen m) => Range a -> m a
- rational_ :: (Additive a, Bounded a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a
- integral :: (MonadGen m, FromInteger a, ToInteger a) => Range a -> m a
- integral_ :: (Additive a, Bounded a, ToInteger a, FromInteger a, MonadGen m) => m a
- uniform :: (Field a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a
- negUniform :: (Field a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a
- genPair :: Monad m => m a -> m (Pair a)
- genRange :: forall a m. (Ord a, MonadGen m) => m a -> m (Range a)
- genRangePos :: forall a m. (Ord a, MonadGen m) => m a -> m (Range a)
- genComplex :: Monad m => m a -> m (Complex a)
Documentation
rational :: (ToRatio a Integer, FromRatio a Integer, MonadGen m) => Range a -> m a Source #
a rational-style random variate
rational_ :: (Additive a, Bounded a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a Source #
a rational style random variate utilising Bounds
integral :: (MonadGen m, FromInteger a, ToInteger a) => Range a -> m a Source #
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 Source #
an integral-style random variate utilising Bounds
uniform :: (Field a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a Source #
a uniform distribution between zero and one
negUniform :: (Field a, ToRatio a Integer, FromRatio a Integer, MonadGen m) => m a Source #
a uniform distribution between -1 and 1
genComplex :: Monad m => m a -> m (Complex a) Source #
a complex random variate