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 |
- class Equatable t where
- class GEquatable f where
Documentation
class Equatable t where Source #
Instances for this class for arbitrary types can be automatically derived from Generic
.
(===) :: t -> t -> Bit infix 4 Source #
Compare for equality within the SAT problem.
(===) :: (Generic t, GEquatable (Rep t)) => t -> t -> Bit infix 4 Source #
Compare for equality within the SAT problem.
(/==) :: t -> t -> Bit infix 4 Source #
Compare for inequality within the SAT problem.
class GEquatable f where Source #
GEquatable V1 Source # | |
GEquatable U1 Source # | |
Equatable a => GEquatable (K1 i a) Source # | |
(GEquatable f, GEquatable g) => GEquatable ((:+:) f g) Source # | |
(GEquatable f, GEquatable g) => GEquatable ((:*:) f g) Source # | |
GEquatable f => GEquatable (M1 i c f) Source # | |