@@ -205,6 +205,7 @@ t_null = null `eqP` T.null
205205tl_null = null `eqP` TL.null
206206s_length = length `eqP` S.length
207207sf_length p = (length . L.filter p) `eqP` (S.length . S.filter p)
208+sl_length = (fromIntegral . length) `eqP` SL.length
208209t_length = length `eqP` T.length
209210tl_length = L.genericLength `eqP` TL.length
210211t_compareLength t = (compare (T.length t)) `eq` T.compareLength t
@@ -446,6 +447,7 @@ t_findContains (NotEmpty s) = unsquare (all (T.isPrefixOf s . snd) . T.find s .
446447 T.intercalate s)
447448tl_findContains (NotEmpty s) = unsquare (all (TL.isPrefixOf s . snd) .
448449 TL.find s . TL.intercalate s)
450+sl_filterCount c = (L.genericLength . L.filter (==c)) `eqP` SL.countChar c
449451t_findCount s = (L.length . T.find s) `eq` T.count s
450452tl_findCount s = (L.genericLength . TL.find s) `eq` TL.count s
451453
@@ -752,6 +754,7 @@ tests = [
752754 testProperty "tl_null" tl_null,
753755 testProperty "s_length" s_length,
754756 testProperty "sf_length" sf_length,
757+ testProperty "sl_length" sl_length,
755758 testProperty "t_length" t_length,
756759 testProperty "tl_length" tl_length,
757760 testProperty "t_compareLength" t_compareLength,
@@ -935,6 +938,7 @@ tests = [
935938 testProperty "tl_findAppendId" tl_findAppendId,
936939 testProperty "t_findContains" t_findContains,
937940 testProperty "tl_findContains" tl_findContains,
941+ testProperty "sl_filterCount" sl_filterCount,
938942 testProperty "t_findCount" t_findCount,
939943 testProperty "tl_findCount" tl_findCount,
940944 testProperty "t_split_split" t_split_split,