Ersatz.Equatable

Documentation

class Equatable t where

Instances for this class for arbitrary types can be automatically derived from Generic.

Methods

(===) :: t -> t -> Bit

Compare for equality within the SAT problem.

(/==) :: t -> t -> Bit

Compare for inequality within the SAT problem.

Instances

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)