@@ -523,19 +523,19 @@ t_findAppendId (NotEmpty s) = unsquare $ \ts ->
523tl_findAppendId (NotEmpty s) = unsquare $ \ts ->
523tl_findAppendId (NotEmpty s) = unsquare $ \ts ->
524 let t = TL.intercalate s ts
524 let t = TL.intercalate s ts
525 in all (==t) $ map (uncurry TL.append) (TL.find s t)
525 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 .
526+t_findContains (NotEmpty s) = unsquare $ all (T.isPrefixOf s . snd) . T.find s .
527− T.intercalate s)
527+ T.intercalate s
528−tl_findContains (NotEmpty s) = unsquare (all (TL.isPrefixOf s . snd) .
528+tl_findContains (NotEmpty s) = unsquare $ all (TL.isPrefixOf s . snd) .
529− TL.find s . TL.intercalate s)
529+ TL.find s . TL.intercalate s
530−sl_filterCount c = (L.genericLength . L.filter (==c)) `eqP` SL.countChar c
530+sl_filterCount c = (L.genericLength . L.filter (==c)) `eqP` SL.countChar c
531t_findCount s = (L.length . T.find s) `eq` T.count s
531t_findCount s = (L.length . T.find s) `eq` T.count s
532tl_findCount s = (L.genericLength . TL.find s) `eq` TL.count s
532tl_findCount s = (L.genericLength . TL.find s) `eq` TL.count s
534−t_split_split s = unsquare ((T.split s `eq` Slow.split s) .
534+t_split_split s = unsquare $
535− T.intercalate s)
535+ (T.split s `eq` Slow.split s) . T.intercalate s
536−tl_split_split s = unsquare (((TL.split (chunkify s) . chunkify) `eq`
536+tl_split_split s = unsquare $
537− (map chunkify . T.split s)) .
537+ ((TL.split (TL.fromStrict s) . TL.fromStrict) `eq`
538− T.intercalate s)
538+ (map TL.fromStrict . T.split s)) . T.intercalate s
539t_split_i (NotEmpty t) = id `eq` (T.intercalate t . T.split t)
539t_split_i (NotEmpty t) = id `eq` (T.intercalate t . T.split t)
540tl_split_i (NotEmpty t) = id `eq` (TL.intercalate t . TL.split t)
540tl_split_i (NotEmpty t) = id `eq` (TL.intercalate t . TL.split t)
@@ -559,10 +559,8 @@ t_chunksOf_same_lengths k = all ((==k) . T.length) . ini . T.chunksOf k
559t_chunksOf_length k t = len == T.length t || (k <= 0 && len == 0)
559t_chunksOf_length k t = len == T.length t || (k <= 0 && len == 0)
560 where len = L.sum . L.map T.length $ T.chunksOf k t
560 where len = L.sum . L.map T.length $ T.chunksOf k t
562−chunkify = TL.fromChunks . (:[])
564tl_chunksOf k = T.chunksOf k `eq` (map (T.concat . TL.toChunks) .
562tl_chunksOf k = T.chunksOf k `eq` (map (T.concat . TL.toChunks) .
565− TL.chunksOf (fromIntegral k) . chunkify)
563+ TL.chunksOf (fromIntegral k) . TL.fromStrict)
567t_lines = L.lines `eqP` (map unpackS . T.lines)
565t_lines = L.lines `eqP` (map unpackS . T.lines)
568tl_lines = L.lines `eqP` (map unpackS . TL.lines)
566tl_lines = L.lines `eqP` (map unpackS . TL.lines)