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.

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

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

Compare for inequality within the SAT problem.

Instances

Equatable Bool

Defined in Ersatz.Equatable

Methods

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

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

Equatable Char

Defined in Ersatz.Equatable

Methods

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

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

Equatable Double

Defined in Ersatz.Equatable

Methods

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

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

Equatable Float

Defined in Ersatz.Equatable

Methods

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

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

Equatable Int

Defined in Ersatz.Equatable

Methods

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

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

Equatable Int8

Defined in Ersatz.Equatable

Methods

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

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

Equatable Int16

Defined in Ersatz.Equatable

Methods

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

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

Equatable Int32

Defined in Ersatz.Equatable

Methods

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

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

Equatable Int64

Defined in Ersatz.Equatable

Methods

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

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

Equatable Integer

Defined in Ersatz.Equatable

Methods

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

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

Equatable Natural

Defined in Ersatz.Equatable

Methods

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

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

Equatable Ordering

Defined in Ersatz.Equatable

Methods

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

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

Equatable Word

Defined in Ersatz.Equatable

Methods

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

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

Equatable Word8

Defined in Ersatz.Equatable

Methods

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

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

Equatable Word16

Defined in Ersatz.Equatable

Methods

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

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

Equatable Word32

Defined in Ersatz.Equatable

Methods

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

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

Equatable Word64

Defined in Ersatz.Equatable

Methods

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

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

Equatable ()

Defined in Ersatz.Equatable

Methods

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

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

Equatable Void

Defined in Ersatz.Equatable

Methods

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

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

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 a => Equatable (NonEmpty a)

Defined in Ersatz.Equatable

Methods

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

(/==) :: NonEmpty a -> NonEmpty 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 (Tree a)

Defined in Ersatz.Equatable

Methods

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

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

Equatable v => Equatable (Seq v)

Defined in Ersatz.Equatable

Methods

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

(/==) :: Seq v -> Seq 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