<div dir="auto">What is the operator supposed to do?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 3, 2019, 09:52 francismb <<a href="mailto:francismb@email.de">francismb@email.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
the idea here is just to add the __larrow__ and __rarrow__ operators for<br>
<- and ->.<br>
<br>
<br>
E.g. of use on dicts :<br>
>>> d1 = {'a':1, 'b':1 }<br>
>>> d2 = {'a':2 }<br>
>>> d3 = d1 -> d2<br>
>>> d3<br>
{'a':1, 'b':1 }<br>
<br>
>>> d1 = {'a':1, 'b':1 }<br>
>>> d2 = {'a':2 }<br>
>>> d3 = d1 <- d2<br>
>>> d3<br>
{'a':2, 'b':1 }<br>
<br>
Or on bools as Modus Ponens [1]<br>
<br>
Or your idea/imagination here :-)<br>
<br>
<br>
<br>
Regards,<br>
--francis<br>
<br>
[1] <a href="https://en.wikipedia.org/wiki/Modus_ponens" rel="noreferrer noreferrer" target="_blank">https://en.wikipedia.org/wiki/Modus_ponens</a><br>
<br>
<br>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank" rel="noreferrer">Python-ideas@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" rel="noreferrer noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-ideas</a><br>
Code of Conduct: <a href="http://python.org/psf/codeofconduct/" rel="noreferrer noreferrer" target="_blank">http://python.org/psf/codeofconduct/</a><br>
</blockquote></div>