undefined package:clash-prelude

Call to errorX with default string

Create a BitVector with all its bits undefined

Determines whether any of parts of a given construct contain undefined parts. Note that a negative answer does not mean its bit representation is fully defined. For example:

>>> m = Nothing :: Maybe Bool

>>> hasUndefined m
False

>>> pack m
0b0.

>>> hasUndefined (pack m)
True

Determines whether any of parts of a given construct contain undefined parts. Note that a negative answer does not mean its bit representation is fully defined. For example:

>>> m = Nothing :: Maybe Bool

>>> hasUndefined m
False

>>> pack m
0b0.

>>> hasUndefined (pack m)
True