Copyright | © Edward Kmett 2010-2014 Johan Kiviniemi 2013 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Ersatz.Equatable
Description
- class Equatable t where
- class GEquatable f where
Documentation
Instances for this class for arbitrary types can be automatically derived from Generic
.
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 # | |
Equatable Bits # | |
Equatable Bit8 # | |
Equatable Bit7 # | |
Equatable Bit6 # | |
Equatable Bit5 # | |
Equatable Bit4 # | |
Equatable Bit3 # | |
Equatable Bit2 # | |
Equatable Bit1 # | |
Equatable BitChar # | |
Equatable a => Equatable [a] # | |
Equatable a => Equatable (Maybe a) # | |
Equatable v => Equatable (IntMap v) # | |
(Equatable a, Equatable b) => Equatable (Either a b) # | |
(Equatable a, Equatable b) => Equatable (a, b) # | |
(Eq k, Equatable v) => Equatable (Map k v) # | |
(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) # | |
class GEquatable f where #
Minimal complete definition
Instances
GEquatable V1 # | |
GEquatable U1 # | |
Equatable a => GEquatable (K1 i a) # | |
(GEquatable f, GEquatable g) => GEquatable ((:+:) f g) # | |
(GEquatable f, GEquatable g) => GEquatable ((:*:) f g) # | |
GEquatable f => GEquatable (M1 i c f) # | |