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