<div dir="ltr">Exactly, it's 3 properties: associativity, inverse and identity.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jun 4, 2014 at 11:42 AM, David Thomas <span dir="ltr"><<a href="mailto:davidleothomas@gmail.com" target="_blank">davidleothomas@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">If you have associativity, this seems roughly the same as saying there<br>
is an additive inverse for every x, because x + x - x = x => x + (x -<br>
x) = x => x + 0 = x.<br>
<div><div class="h5"><br>
On Wed, Jun 4, 2014 at 7:34 AM, Omari Norman <<a href="mailto:omari@smileystation.com">omari@smileystation.com</a>> wrote:<br>
> It's not quite idempotence, because more than one function is involved.<br>
><br>
> It's a common property and I figure I can write a higher order function to<br>
> build QuickCheck tests for it.  I was just wondering if it has a name.<br>
><br>
</div></div>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>