| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.ImpSpec.Random
Synopsis
- class StatefulGen g m => HasStatefulGen g m | m -> g where
- askStatefulGen :: m g
- class HasGenEnv env g | env -> g where
- getGenEnv :: env -> g
- uniformM :: (HasStatefulGen g m, Uniform a) => m a
- uniformRM :: (HasStatefulGen g m, UniformRange a) => (a, a) -> m a
- uniformListM :: (HasStatefulGen g m, Uniform a) => Int -> m [a]
- uniformListRM :: (HasStatefulGen g m, UniformRange a) => (a, a) -> Int -> m [a]
- uniformByteStringM :: HasStatefulGen a m => Int -> m ByteString
- uniformShortByteStringM :: HasStatefulGen a m => Int -> m ShortByteString
- arbitrary :: (Arbitrary a, MonadGen m) => m a
Documentation
class StatefulGen g m => HasStatefulGen g m | m -> g where Source #
Minimal complete definition
Nothing
Instances
| (HasGenEnv env g, StatefulGen g (ReaderT env m), Monad m) => HasStatefulGen g (ReaderT env m) Source # | |
Defined in Test.ImpSpec.Random Methods askStatefulGen :: ReaderT env m g Source # | |
| HasStatefulGen (IOGenM QCGen) (ImpM t) Source # | |
Defined in Test.ImpSpec.Internal Methods askStatefulGen :: ImpM t (IOGenM QCGen) Source # | |
uniformM :: (HasStatefulGen g m, Uniform a) => m a Source #
uniformRM :: (HasStatefulGen g m, UniformRange a) => (a, a) -> m a Source #
uniformListM :: (HasStatefulGen g m, Uniform a) => Int -> m [a] Source #
uniformListRM :: (HasStatefulGen g m, UniformRange a) => (a, a) -> Int -> m [a] Source #
uniformByteStringM :: HasStatefulGen a m => Int -> m ByteString Source #
uniformShortByteStringM :: HasStatefulGen a m => Int -> m ShortByteString Source #