Skip to content

Commit 2a12940

Browse files
authored
Add tests for elem (#322)
1 parent 09f7b5d commit 2a12940

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
@@ -156,6 +156,8 @@ t_center k c = center j c `eqP` (unpackS . T.center j c)
156156
tl_center k c = center j c `eqP` (unpackS . TL.center (fromIntegral j) c)
157157
where j = fromIntegral (k :: Word8)
158158

159+
t_elem c = L.elem c `eqP` T.elem c
160+
tl_elem c = L.elem c `eqP` TL.elem c
159161
sf_elem p c = (L.elem c . L.filter p) `eqP` (S.elem c . S.filter p)
160162
sf_filter q p = (L.filter p . L.filter q) `eqP`
161163
(unpackS . S.filter p . S.filter q)
@@ -271,6 +273,8 @@ testText =
271273
],
272274

273275
testGroup "searching" [
276+
testProperty "t_elem" t_elem,
277+
testProperty "tl_elem" tl_elem,
274278
testProperty "sf_elem" sf_elem,
275279
testProperty "sf_filter" sf_filter,
276280
testProperty "t_filter" t_filter,

0 commit comments

Comments
 (0)