about summary refs log blame commit diff
path: root/users/glittershark/xanthous/test/Xanthous/RandomSpec.hs
blob: 187336f086501c628992d97985aecdf201273634 (plain) (tree)
























                                                                                
--------------------------------------------------------------------------------
module Xanthous.RandomSpec (main, test) where
--------------------------------------------------------------------------------
import Test.Prelude
--------------------------------------------------------------------------------
import Control.Monad.Random
--------------------------------------------------------------------------------
import Xanthous.Random
--------------------------------------------------------------------------------

main :: IO ()
main = defaultMain test

test :: TestTree
test = testGroup "Xanthous.Random"
  [ testGroup "chooseSubset"
    [ testProperty "chooses a subset"
      $ \(l :: [Int]) (Positive (r :: Double)) -> randomTest $ do
        ss <- chooseSubset r l
        pure $ all (`elem` l) ss

    ]
  ]
  where
    randomTest prop = evalRandT prop . mkStdGen =<< arbitrary