Generate a random bytestring of length n. The PRNG is seeded from the system randomness source.
ioProperty $ ((fromIntegral n ===) . B.length) <$> random nn > 4 ==> ioProperty $ (/=) <$> random n <*> random n:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Modulerandom-bytestring-0.1.4Haskell2010
Generate a random bytestring of length n. The PRNG is seeded from the system randomness source.
ioProperty $ ((fromIntegral n ===) . B.length) <$> random nn > 4 ==> ioProperty $ (/=) <$> random n <*> random ng ~ GenIO => RandomWords g