not package:hedgehog

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 *

Annotates the source code with a message that might be useful for debugging a test failure.

Annotates the source code with a value that might be useful for debugging a test failure.

Logs a message to be displayed as additional information in the footer of the failure report.

Logs a value to be displayed as additional information in the footer of the failure report.

Don't skip anything.