not package:dimensional

Boolean "not"

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 *

One knot is a velocity equal to one nauticalMile per hour. See here for further information.

>>> 1 *~ knot
0.5144444444444445 m s^-1

>>> 1 *~ knot :: Velocity Rational
463 % 900 m s^-1