Copyright | © Edward Kmett 2010-2014 Johan Kiviniemi 2013 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Documentation
A Bit
provides a reference to a possibly indeterminate boolean
value that can be determined by an external SAT solver.
class Boolean b where Source #
The normal Bool
operators in Haskell are not overloaded. This
provides a richer set that are.
Instances for this class for product-like types can be automatically derived
for any type that is an instance of Generic
Lift a Bool
(&&) :: b -> b -> b infixr 3 Source #
Logical conjunction.
(||) :: b -> b -> b infixr 2 Source #
Logical disjunction (inclusive or).
(==>) :: b -> b -> b infixr 0 Source #
Logical implication.
Logical negation
and :: Foldable t => t b -> b Source #
The logical conjunction of several values.
or :: Foldable t => t b -> b Source #
The logical disjunction of several values.
nand :: Foldable t => t b -> b Source #
nor :: Foldable t => t b -> b Source #
all :: Foldable t => (a -> b) -> t a -> b Source #
The logical conjunction of the mapping of a function over several values.
any :: Foldable t => (a -> b) -> t a -> b Source #
The logical disjunction of the mapping of a function over several values.
Exclusive-or
choose :: b -> b -> b -> b Source #
Choose between two alternatives based on a selector bit.
bool :: (Generic b, GBoolean (Rep b)) => Bool -> b Source #
Lift a Bool
(&&) :: (Generic b, GBoolean (Rep b)) => b -> b -> b infixr 3 Source #
Logical conjunction.
(||) :: (Generic b, GBoolean (Rep b)) => b -> b -> b infixr 2 Source #
Logical disjunction (inclusive or).
not :: (Generic b, GBoolean (Rep b)) => b -> b Source #
Logical negation
all :: (Foldable t, Generic b, GBoolean (Rep b)) => (a -> b) -> t a -> b Source #
The logical conjunction of the mapping of a function over several values.
any :: (Foldable t, Generic b, GBoolean (Rep b)) => (a -> b) -> t a -> b Source #
The logical disjunction of the mapping of a function over several values.
xor :: (Generic b, GBoolean (Rep b)) => b -> b -> b Source #
Exclusive-or