notElem package:base

notElem is the negation of elem.

Examples

Basic usage:

>>> 3 `notElem` []
True

>>> 3 `notElem` [1,2]
True

>>> 3 `notElem` [1,2,3,4,5]
False

For infinite structures, notElem terminates if the value exists at a finite distance from the left side of the structure:

>>> 3 `notElem` [1..]
False

>>> 3 `notElem` ([4..] ++ [3])
* Hangs forever *

notElem is the negation of elem.

Examples

>>> 3 `notElem` []
True

>>> 3 `notElem` [1,2]
True

>>> 3 `notElem` [1,2,3,4,5]
False

>>> 3 `notElem` [1..]
False

>>> 3 `notElem` [4..]
* Hangs forever *

binotElem is the negation of bielem.

Examples

Basic usage:

>>> binotElem 42 (17, 42)
False

>>> binotElem 42 (17, 43)
True

>>> binotElem 42 (Left 42)
False

>>> binotElem 42 (Right 13)
True

>>> binotElem 42 (BiList [1..5] [1..100])
False

>>> binotElem 42 (BiList [1..5] [1..41])
True