module Main where
import Prelude hiding (choose)
import Test.QuickCheck.Instances
import Test.Tasty
import Test.Tasty.Runners
import Test.Tasty.HUnit
import Test.Tasty.QuickCheck
import qualified Test.QuickCheck as QuickCheck
import qualified Test.QuickCheck.Property as QuickCheck
import qualified Potoki.Conduit.MonadIO as MonadIO
import qualified Potoki.Consume as Consume
import qualified Potoki.IO as IO
import qualified Conduit
main =
defaultMain $
testGroup "All" $
[
testProperty "List restoration" $ \ (list :: [Int]) -> unsafePerformIO $ do
restoredList <- MonadIO.consumeConduit (Conduit.yieldMany list) Consume.list
return (list === restoredList)
]