Changelog for cond-0.5.0
0.5.0
- Four monoid structures for a boolean algebra (
AnyB,AllB,XorB,EquivB) - Typeclass altered so that {or, and, nor, nand, any, all} are no longer members
- Add instances for
()and(a,b,c) minimalpragma (and corresponding definition)- The opposite Boolean algebra (exchanging
trueandfalse,&&and||, etc) - A more general instance for
Endo - Tested with GHC 7.0 - 9.6
0.4.2
- Add
instance Boolean b => Boolean (a -> b) - Tested with GHC 7.0 - 9.6