Ideas.Common.Algebra.Boolean

Contents

• Boolean algebra
• CoBoolean (matching)
• Monoids monoid

Description

Synopsis

• class BoolValue a where
  • true :: a
  • false :: a
  • fromBool :: Bool -> a
  • isTrue :: a -> Bool
  • isFalse :: a -> Bool
• class BoolValue a => Boolean a where
  • (<&&>) :: a -> a -> a
  • (<||>) :: a -> a -> a
  • complement :: a -> a
• 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
  • isAnd :: a -> Maybe (a, a)
  • isOr :: a -> Maybe (a, a)
  • isComplement :: a -> Maybe a
• conjunctions :: CoBoolean a => a -> [a]
• disjunctions :: CoBoolean a => a -> [a]
• class MonoidZero a => DualMonoid a where
  • (><) :: a -> a -> a
  • dualCompl :: a -> a
• newtype And a = And {
  • fromAnd :: a
  }
• newtype Or a = Or {
  • fromOr :: a
  }

Boolean algebra

CoBoolean (matching)

Monoids monoid