I see. There exists an equivalent version but more generic?<div>Just out of curiosity, I'm still pretty new to arrows, as you may have read :)</div><div><br></div><div>Thanks,</div><div>A.<br><br><div class="gmail_quote">
On 3 October 2012 15:59, Ertugrul Söylemez <span dir="ltr"><<a href="mailto:es@ertes.de" target="_blank">es@ertes.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">Alfredo Di Napoli <<a href="mailto:alfredo.dinapoli@gmail.com">alfredo.dinapoli@gmail.com</a>> wrote:<br>
<br>
</div><div class="im">> Solution was simple, after reading that functions are arrows:<br>
><br>
> swapA' t = (swapFirst >>> swapSecond) (t,t)<br>
> where<br>
> swapFirst = first snd<br>
> swapSecond = second fst<br>
<br>
</div>No, that's not a solution, unless a = (->) is acceptable. This code is<br>
specific to the function arrow.<br>
<br>
<br>
Greets,<br>
Ertugrul<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Key-ID: E5DD8D11 "Ertugrul Soeylemez <<a href="mailto:es@ertes.de">es@ertes.de</a>>"<br>
FPrint: BD28 3E3F BE63 BADD 4157 9134 D56A 37FA E5DD 8D11<br>
Keysrv: hkp://<a href="http://subkeys.pgp.net/" target="_blank">subkeys.pgp.net/</a><br>
</font></span></blockquote></div><br></div>