<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2018-04-03 1:51 GMT+02:00 Ivan Lazar Miljenovic <span dir="ltr"><<a href="mailto:ivan.miljenovic@gmail.com" target="_blank">ivan.miljenovic@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 3 April 2018 at 09:24, Olivier S. <<a href="mailto:olivier.sohn@gmail.com">olivier.sohn@gmail.com</a>> wrote:<br>
> So it seems using Data.IntMap would be a good compromise?<br>
<br>
</span>IntMap only works if `node ~ Int`; otherwise we lose generality.<br></blockquote><div><br></div><div>I was under the impression that we can replace <span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">[(node, key, [key])], by IntMap (node, [Int]), node being anything we want. Is it not true?</span></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
My preferences are:<br>
<br>
* A typeclass (unfortunately Foldable for a Map is only on the values,<br>
not on the Key; unless you provide a wrapper?)<br>
* Lists (despite the issues you've pointed out, people can always<br>
convert Maps, IntMaps, etc. to lists to convert those values to a<br>
Graph)<br>
* Map<br>
<div class="HOEnZb"><div class="h5"><br>
--<br>
Ivan Lazar Miljenovic<br>
<a href="mailto:Ivan.Miljenovic@gmail.com">Ivan.Miljenovic@gmail.com</a><br>
<a href="http://IvanMiljenovic.wordpress.com" rel="noreferrer" target="_blank">http://IvanMiljenovic.<wbr>wordpress.com</a><br>
</div></div></blockquote></div><br></div></div>