Ersatz.Equatable

Documentation

class Equatable t where

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

Minimal complete definition

Nothing

Methods

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

Compare for equality within the SAT problem.

(===) :: (Generic t, GEquatable (Rep t)) => t -> t -> Bit infix 4

Compare for equality within the SAT problem.

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

Compare for inequality within the SAT problem.

Instances

Equatable Bit

Defined in Ersatz.Equatable

Methods

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

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

Equatable Bits

Defined in Ersatz.Bits

Methods

(===) :: Bits -> Bits -> Bit

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

Equatable Bit8

Defined in Ersatz.Bits

Methods

(===) :: Bit8 -> Bit8 -> Bit

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

Equatable Bit7

Defined in Ersatz.Bits

Methods

(===) :: Bit7 -> Bit7 -> Bit

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

Equatable Bit6

Defined in Ersatz.Bits

Methods

(===) :: Bit6 -> Bit6 -> Bit

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

Equatable Bit5

Defined in Ersatz.Bits

Methods

(===) :: Bit5 -> Bit5 -> Bit

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

Equatable Bit4

Defined in Ersatz.Bits

Methods

(===) :: Bit4 -> Bit4 -> Bit

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

Equatable Bit3

Defined in Ersatz.Bits

Methods

(===) :: Bit3 -> Bit3 -> Bit

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

Equatable Bit2

Defined in Ersatz.Bits

Methods

(===) :: Bit2 -> Bit2 -> Bit

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

Equatable Bit1

Defined in Ersatz.Bits

Methods

(===) :: Bit1 -> Bit1 -> Bit

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

Equatable BitChar

Defined in Ersatz.BitChar

Methods

(===) :: BitChar -> BitChar -> Bit

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

Equatable a => Equatable [a]

Defined in Ersatz.Equatable

Methods

(===) :: [a] -> [a] -> Bit

(/==) :: [a] -> [a] -> Bit

Equatable a => Equatable (Maybe a)

Defined in Ersatz.Equatable

Methods

(===) :: Maybe a -> Maybe a -> Bit

(/==) :: Maybe a -> Maybe a -> Bit

Equatable v => Equatable (IntMap v)

Defined in Ersatz.Equatable

Methods

(===) :: IntMap v -> IntMap v -> Bit

(/==) :: IntMap v -> IntMap v -> Bit

(Equatable a, Equatable b) => Equatable (Either a b)

Defined in Ersatz.Equatable

Methods

(===) :: Either a b -> Either a b -> Bit

(/==) :: Either a b -> Either a b -> Bit

(Equatable a, Equatable b) => Equatable (a, b)

Defined in Ersatz.Equatable

Methods

(===) :: (a, b) -> (a, b) -> Bit

(/==) :: (a, b) -> (a, b) -> Bit

(Eq k, Equatable v) => Equatable (Map k v)

Defined in Ersatz.Equatable

Methods

(===) :: Map k v -> Map k v -> Bit

(/==) :: Map k v -> Map k v -> Bit

(Equatable a, Equatable b, Equatable c) => Equatable (a, b, c)

Defined in Ersatz.Equatable

Methods

(===) :: (a, b, c) -> (a, b, c) -> Bit

(/==) :: (a, b, c) -> (a, b, c) -> Bit

(Equatable a, Equatable b, Equatable c, Equatable d) => Equatable (a, b, c, d)

Defined in Ersatz.Equatable

Methods

(===) :: (a, b, c, d) -> (a, b, c, d) -> Bit

(/==) :: (a, b, c, d) -> (a, b, c, d) -> Bit

(Equatable a, Equatable b, Equatable c, Equatable d, Equatable e) => Equatable (a, b, c, d, e)

Defined in Ersatz.Equatable

Methods

(===) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bit

(/==) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bit

(Equatable a, Equatable b, Equatable c, Equatable d, Equatable e, Equatable f) => Equatable (a, b, c, d, e, f)

Defined in Ersatz.Equatable

Methods

(===) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bit

(/==) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bit

(Equatable a, Equatable b, Equatable c, Equatable d, Equatable e, Equatable f, Equatable g) => Equatable (a, b, c, d, e, f, g)

Defined in Ersatz.Equatable

Methods

(===) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bit

(/==) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bit

class GEquatable f where

Methods

(===#) :: f a -> f a -> Bit

Instances

GEquatable (V1 :: Type -> Type)

Defined in Ersatz.Equatable

Methods

(===#) :: V1 a -> V1 a -> Bit

GEquatable (U1 :: Type -> Type)

Defined in Ersatz.Equatable

Methods

(===#) :: U1 a -> U1 a -> Bit

Equatable a => GEquatable (K1 i a :: Type -> Type)

Defined in Ersatz.Equatable

Methods

(===#) :: K1 i a a0 -> K1 i a a0 -> Bit

(GEquatable f, GEquatable g) => GEquatable (f :+: g)

Defined in Ersatz.Equatable

Methods

(===#) :: (f :+: g) a -> (f :+: g) a -> Bit

(GEquatable f, GEquatable g) => GEquatable (f :*: g)

Defined in Ersatz.Equatable

Methods

(===#) :: (f :*: g) a -> (f :*: g) a -> Bit

GEquatable f => GEquatable (M1 i c f)

Defined in Ersatz.Equatable

Methods

(===#) :: M1 i c f a -> M1 i c f a -> Bit