HaskellWorks.Hedgehog.Gen

Documentation

vector :: MonadGen m => Range Int -> m a -> m (Vector a)

storableVector :: (Storable a, MonadGen m) => Range Int -> m a -> m (Vector a)

word8x8 :: MonadGen m => m Word8 -> m Word64

tuple2 :: MonadGen m => m a -> m (a, a)

tuple3 :: MonadGen m => m a -> m (a, a, a)

tuple4 :: MonadGen m => m a -> m (a, a, a, a)

tuple5 :: MonadGen m => m a -> m (a, a, a, a, a)

tuple6 :: MonadGen m => m a -> m (a, a, a, a, a, a)

tuple7 :: MonadGen m => m a -> m (a, a, a, a, a, a, a)

tuple8 :: MonadGen m => m a -> m (a, a, a, a, a, a, a, a)

tuple9 :: MonadGen m => m a -> m (a, a, a, a, a, a, a, a, a)