Skip to content

Commit a5b1d0d

Browse files
committed
Add tests for elem
1 parent ca73ae3 commit a5b1d0d

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

tests/Tests/Properties/Text.hs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -153,6 +153,8 @@ t_center k c = center j c `eqP` (unpackS . T.center j c)
153153
tl_center k c = center j c `eqP` (unpackS . TL.center (fromIntegral j) c)
154154
where j = fromIntegral (k :: Word8)
155155

156+
t_elem c = L.elem c `eqP` T.elem c
157+
tl_elem c = L.elem c `eqP` TL.elem c
156158
sf_elem p c = (L.elem c . L.filter p) `eqP` (S.elem c . S.filter p)
157159
sf_filter q p = (L.filter p . L.filter q) `eqP`
158160
(unpackS . S.filter p . S.filter q)
@@ -268,6 +270,8 @@ testText =
268270
],
269271

270272
testGroup "searching" [
273+
testProperty "t_elem" t_elem,
274+
testProperty "tl_elem" tl_elem,
271275
testProperty "sf_elem" sf_elem,
272276
testProperty "sf_filter" sf_filter,
273277
testProperty "t_filter" t_filter,

0 commit comments

Comments
 (0)