notElem

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 *

O(n) notElem is the inverse of elem

O(n) notElem is the inverse of elem

Are no values in the stream equal to the given value? Stops consuming as soon as a match is found. Subject to fusion

(notElem a) returns False if p has an element equal to a, True otherwise

(notElem a) returns False if the container has an element equal to a, True otherwise

(notElem w8) returns False if the byte stream has a byte equal to w8, True otherwise

(notElem c) returns False if the text stream has a character equal to c, True otherwise

Like notElem but doesn't work on Set and HashSet for performance reasons.

>>> notElem 'x' ("abc" :: String)
True

>>> notElem False (one True :: Set Bool)
...
... Do not use 'elem' and 'notElem' methods from 'Foldable' on Set
Suggestions:
Instead of
elem :: (Foldable t, Eq a) => a -> t a -> Bool
use
member :: Ord a => a -> Set a -> Bool
...
Instead of
notElem :: (Foldable t, Eq a) => a -> t a -> Bool
use
not . member
...

Exhaust a stream deciding whether a was an element.

notElem is the negation of elem.

O(n) Check if the vector does not contain an element (inverse of elem)

O(n) Check if the vector does not contain an element (inverse of elem)

O(n) Check if the vector does not contain an element (inverse of elem)

O(n) Check if the vector does not contain an element (inverse of elem)

Synonym for onotElem

Determine whether all elements in the byte stream do not match the given Word8

True if the item does not occur in the list

Determine whether an element is not present in the stream.

notElem = Stream.fold Fold.length

O(n) notElem is the inverse of elem

O(n) Check if the vector does not contain an element (inverse of elem).

O(n) Check if the vector does not contain an element (inverse of elem).