notElem -package:relude

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

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).

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