Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Documentation
Instances for this class for arbitrary types can be automatically derived from Generic
.
Compare for equality within the SAT problem.
Compare for inequality within the SAT problem.
Equatable Bit | |
Equatable Bit8 | |
Equatable Bit7 | |
Equatable Bit6 | |
Equatable Bit5 | |
Equatable Bit4 | |
Equatable Bit3 | |
Equatable Bit2 | |
Equatable Bit1 | |
Equatable a => Equatable [a] | |
Equatable a => Equatable (Maybe a) | |
(Equatable a, Equatable b) => Equatable (Either a b) | |
(Equatable a, Equatable b) => Equatable (a, b) | |
(Equatable a, Equatable b, Equatable c) => Equatable (a, b, c) | |
(Equatable a, Equatable b, Equatable c, Equatable d) => Equatable (a, b, c, d) | |
(Equatable a, Equatable b, Equatable c, Equatable d, Equatable e) => Equatable (a, b, c, d, e) | |
(Equatable a, Equatable b, Equatable c, Equatable d, Equatable e, Equatable f) => Equatable (a, b, c, d, e, f) | |
(Equatable a, Equatable b, Equatable c, Equatable d, Equatable e, Equatable f, Equatable g) => Equatable (a, b, c, d, e, f, g) |