-- Do not edit! Automatically created with doctest-extract from src/Utility.hs
{-# LINE 3 "src/Utility.hs" #-}

module Test.Utility where

import Utility
import Test.DocTest.Base
import qualified Test.DocTest.Driver as DocTest

{-# LINE 4 "src/Utility.hs" #-}
import     qualified Test.QuickCheck as QC
import     qualified Data.List.HT as ListHT

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Utility:11: "
{-# LINE 11 "src/Utility.hs" #-}
 DocTest.example(
{-# LINE 11 "src/Utility.hs" #-}
    resample 25 50 "abc"
  )
  [ExpectedLine [LineChunk "\"aabbcc\""]]
 DocTest.printPrefix "Utility:13: "
{-# LINE 13 "src/Utility.hs" #-}
 DocTest.example(
{-# LINE 13 "src/Utility.hs" #-}
    resample 50 25 "abc"
  )
  [ExpectedLine [LineChunk "\"ac\""]]
 DocTest.printPrefix "Utility:16: "
{-# LINE 16 "src/Utility.hs" #-}
 DocTest.property(
{-# LINE 16 "src/Utility.hs" #-}
        
   \(QC.Positive src) (QC.Positive dst) xs ->
      resample (fromIntegral src) (fromIntegral dst) (xs :: [Char])
      ==
      ListHT.sieve src (concatMap (replicate dst) xs)
  )