17 Jun
2014
17 Jun
'14
6:54 p.m.
On 06/17/14 10:02, Larry Evans wrote: [snip]
A more complete example, which uses operators || and && to create the tagged tuples, is now here:
Correction of above for the op_and is here: https://gist.github.com/cppljevans/01e23df914916ea7d16e/68db5988826ad4fc4dad... Is there some way to encapsulate op_and, or_or, false_ and true_ in some sort of typeclass for a boolean lattice: http://en.wikipedia.org/wiki/Boolean_algebra_%28structure%29 ? It seems if I had used such a typeclass, it would be more likely that I would have avoided the above copy&paste error by forcing me to be more careful. -regards, Larry