ModuleImpSpec-0.2.0.0Haskell2010

Test.ImpSpec.Random

classclass StatefulGen g m => HasStatefulGen g (m :: Type -> Type) | m -> g where

Instances2HasStatefulGen

(HasGenEnv env g, StatefulGen g (ReaderT env m), Monad m) => HasStatefulGen g (ReaderT env m)Defined in ImpSpec-0.2.0.0 · Test.ImpSpec.Random
HasStatefulGen (IOGenM QCGen) (ImpM t)Defined in ImpSpec-0.2.0.0 · Test.ImpSpec.Internal

classclass HasGenEnv env g | env -> g where

Instances1HasGenEnv

valueuniformM :: (HasStatefulGen g m, Uniform a) => m a

valueuniformRM :: (HasStatefulGen g m, UniformRange a) => (a, a) -> m a

valueuniformListM :: (HasStatefulGen g m, Uniform a) => Int -> m [a]

valueuniformListRM

valueuniformByteStringM :: HasStatefulGen a m => Int -> m ByteString

valueuniformShortByteStringM :: HasStatefulGen a m => Int -> m ShortByteString

valuearbitrary :: (Arbitrary a, MonadGen m) => m a

Lifted version of arbitrary.