|Maintainer||Edward Kmett <email@example.com>|
Bit provides a reference to a possibly indeterminate boolean
value that can be determined by an external SAT solver.
Bool operators in Haskell are not overloaded. This
provides a richer set that are.
Instances for this class for product-like types can be automatically derived
for any type that is an instance of
Logical disjunction (inclusive or).
The logical conjunction of several values.
The logical disjunction of several values.
Choose between two alternatives based on a selector bit.