rrb-vector-0.2.2.0: test/Main.hs

import Data.Foldable (for_)
import Test.Tasty
import Test.Tasty.QuickCheck

import Data.RRBVector
import Data.RRBVector.Internal.Debug

import Properties (properties)
import Strictness (strictness)

main :: IO ()
main = defaultMain . localOption (QuickCheckTests 1000) . localOption (QuickCheckMaxSize 10000) $ testGroup "rrb-vector"
    [ properties
    , strictness
    ]

main' :: IO ()
main' = do
    vs <- sample' (arbitrary :: Gen (Vector Int))
    for_ vs $ \v -> putStrLn (showTree v)