import Crypto.RandomMonad (runRndT, getRandomM, RndStateList(..), getRandomByteStringM, RndStateParallelization(..))

import Control.Monad.ST (runST)
import Test.QuickCheck
import Data.BitString as BiS
import Data.ByteString.Lazy.Char8 as LC8
import System.Exit (exitWith, ExitCode(ExitSuccess, ExitFailure))

prop_parallelEquals1 = do
  let lists = [BiS.bitStringLazy $ LC8.pack $ Prelude.concat $ Prelude.repeat "Hej, jag loopar här",
               BiS.bitStringLazy $ LC8.pack $ Prelude.concat $ Prelude.repeat "Hej, jag loopar också här"]
      (first, _) = runST $ runRndT (RndStateList RndStateSeq lists) $ getRandomByteStringM 9001
      (second, _) = runST $ runRndT (RndStateList RndStateParallel lists) $ getRandomByteStringM 9001
      (third, _) = runST $ runRndT (RndStateList RndStatePrecalculate lists) $ getRandomByteStringM 9001
   in first == second && second == third

main = exitWith $ if prop_parallelEquals1 then ExitSuccess else ExitFailure 1