not package:clash-prelude

Truth table for not:

a     | not a
------------
True  | False
False | True

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 *

No domain found

Derives bit representation corresponding to the default manner in which BlueSpec stores types.

Derives bit representation corresponding to the default manner in which Clash stores types.

Derive a compactly represented version of Maybe a.

Create a new identifier in HDL and inserts given synthesis attributes. The name of the intermediate signal can be influenced using naming functions in Clash.Magic.

Logical not