Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- class BoolValue a where
- class BoolValue a => Boolean a where
- ands :: Boolean a => [a] -> a
- ors :: Boolean a => [a] -> a
- implies :: Boolean a => a -> a -> a
- equivalent :: Boolean a => a -> a -> a
- class BoolValue a => CoBoolean a where
- conjunctions :: CoBoolean a => a -> [a]
- disjunctions :: CoBoolean a => a -> [a]
- class MonoidZero a => DualMonoid a where
- newtype And a = And {
- fromAnd :: a
- newtype Or a = Or {
- fromOr :: a
Boolean algebra (re-exported)
equivalent :: Boolean a => a -> a -> a #
CoBoolean (matching)
conjunctions :: CoBoolean a => a -> [a] Source #
disjunctions :: CoBoolean a => a -> [a] Source #
Monoids monoid
class MonoidZero a => DualMonoid a where Source #
Instances
Boolean a => DualMonoid (Or a) Source # | |
Boolean a => DualMonoid (And a) Source # | |
Instances
Functor And Source # | |
Applicative And Source # | |
Eq a => Eq (And a) Source # | |
Ord a => Ord (And a) Source # | |
Show a => Show (And a) Source # | |
Boolean a => Semigroup (And a) Source # | |
Boolean a => Monoid (And a) Source # | |
CoBoolean a => CoMonoidZero (And a) Source # | |
Defined in Domain.Algebra.Boolean isMonoidZero :: And a -> Bool Source # | |
CoBoolean a => CoMonoid (And a) Source # | |
Boolean a => MonoidZero (And a) Source # | |
Defined in Domain.Algebra.Boolean | |
Arbitrary a => Arbitrary (And a) Source # | |
CoArbitrary a => CoArbitrary (And a) Source # | |
Defined in Domain.Algebra.Boolean coarbitrary :: And a -> Gen b -> Gen b | |
Boolean a => DualMonoid (And a) Source # | |
Instances
Functor Or Source # | |
Applicative Or Source # | |
Eq a => Eq (Or a) Source # | |
Ord a => Ord (Or a) Source # | |
Show a => Show (Or a) Source # | |
Boolean a => Semigroup (Or a) Source # | |
Boolean a => Monoid (Or a) Source # | |
CoBoolean a => CoMonoidZero (Or a) Source # | |
Defined in Domain.Algebra.Boolean isMonoidZero :: Or a -> Bool Source # | |
CoBoolean a => CoMonoid (Or a) Source # | |
Boolean a => MonoidZero (Or a) Source # | |
Defined in Domain.Algebra.Boolean | |
Arbitrary a => Arbitrary (Or a) Source # | |
CoArbitrary a => CoArbitrary (Or a) Source # | |
Defined in Domain.Algebra.Boolean coarbitrary :: Or a -> Gen b -> Gen b | |
Boolean a => DualMonoid (Or a) Source # | |