3
-- Tests to ensure rules are firing.
6
import qualified Data.ByteString.Char8 as C
7
import qualified Data.ByteString as P
8
import qualified Data.ByteString.Lazy as L
9
import qualified Data.ByteString.Lazy.Char8 as D
12
import QuickCheckUtils
15
prop_break_C x = C.break ((==) x) `eq1` break ((==) x)
16
prop_break_P x = P.break ((==) x) `eq1` break ((==) x)
17
prop_intercalate_P c = (\s1 s2 -> P.intercalate (P.singleton c) (s1 : s2 : []))
19
(\s1 s2 -> intercalate [c] (s1 : s2 : []))
21
prop_break_isSpace_C = C.break isSpace `eq1` break isSpace
22
prop_dropWhile_isSpace_C = C.dropWhile isSpace `eq1` dropWhile isSpace
25
[("break (==)" , mytest prop_break_C)
26
,("break (==)" , mytest prop_break_P)
27
,("break isSpace" , mytest prop_break_isSpace_C)
29
,("dropWhile isSpace" , mytest prop_dropWhile_isSpace_C)
31
,("intercalate " , mytest prop_intercalate_P)