@@ -523,19 +523,19 @@ t_findAppendId (NotEmpty s) = unsquare $ \ts ->
523523tl_findAppendId (NotEmpty s) = unsquare $ \ts ->
524524 let t = TL.intercalate s ts
525525 in all (==t) $ map (uncurry TL.append) (TL.find s t)
526−t_findContains (NotEmpty s) = unsquare (all (T.isPrefixOf s . snd) . T.find s .
527− T.intercalate s)
528−tl_findContains (NotEmpty s) = unsquare (all (TL.isPrefixOf s . snd) .
529− TL.find s . TL.intercalate s)
530−sl_filterCount c = (L.genericLength . L.filter (==c)) `eqP` SL.countChar c
526+t_findContains (NotEmpty s) = unsquare $ all (T.isPrefixOf s . snd) . T.find s .
527+ T.intercalate s
528+tl_findContains (NotEmpty s) = unsquare $ all (TL.isPrefixOf s . snd) .
529+ TL.find s . TL.intercalate s
530+sl_filterCount c = (L.genericLength . L.filter (==c)) `eqP` SL.countChar c
531531t_findCount s = (L.length . T.find s) `eq` T.count s
532532tl_findCount s = (L.genericLength . TL.find s) `eq` TL.count s
533533
534−t_split_split s = unsquare ((T.split s `eq` Slow.split s) .
535− T.intercalate s)
536−tl_split_split s = unsquare (((TL.split (chunkify s) . chunkify) `eq`
537− (map chunkify . T.split s)) .
538− T.intercalate s)
534+t_split_split s = unsquare $
535+ (T.split s `eq` Slow.split s) . T.intercalate s
536+tl_split_split s = unsquare $
537+ ((TL.split (TL.fromStrict s) . TL.fromStrict) `eq`
538+ (map TL.fromStrict . T.split s)) . T.intercalate s
539539t_split_i (NotEmpty t) = id `eq` (T.intercalate t . T.split t)
540540tl_split_i (NotEmpty t) = id `eq` (TL.intercalate t . TL.split t)
541541
@@ -559,10 +559,8 @@ t_chunksOf_same_lengths k = all ((==k) . T.length) . ini . T.chunksOf k
559559t_chunksOf_length k t = len == T.length t || (k <= 0 && len == 0)
560560 where len = L.sum . L.map T.length $ T.chunksOf k t
561561
562−chunkify = TL.fromChunks . (:[])
563−
564562tl_chunksOf k = T.chunksOf k `eq` (map (T.concat . TL.toChunks) .
565− TL.chunksOf (fromIntegral k) . chunkify)
563+ TL.chunksOf (fromIntegral k) . TL.fromStrict)
566564
567565t_lines = L.lines `eqP` (map unpackS . T.lines)
568566tl_lines = L.lines `eqP` (map unpackS . TL.lines)