<div dir="auto">Very nifty! Could you/should you add function types? Those are never Generic, so you could check for them first.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Dec 28, 2019, 5:22 AM Justin Paston-Cooper <<a href="mailto:paston.cooper@gmail.com">paston.cooper@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
I've defined a module which defines a Data.Type.Ordering over types<br>
which are instances of Generic:<br>
<a href="https://github.com/jpcooper/generic-type-ordering/blob/master/src/Data/Type/Ordering.hs" rel="noreferrer noreferrer" target="_blank">https://github.com/jpcooper/generic-type-ordering/blob/master/src/Data/Type/Ordering.hs</a>.<br>
I was considering submitting it to Hackage if anyone finds this<br>
useful.<br>
<br>
I am using it in conjunction with Data.Type.Set (type-level-sets),<br>
which requires an ordering over the used types.<br>
<br>
The ordering works by first comparing the package, then the module,<br>
then the type name. I take it that the ordering as defined is correct<br>
over all types which are an instance of Generic.<br>
<br>
I wanted to check first whether this is done anywhere else, or in a<br>
different, better way. Can anyone advise?<br>
<br>
Cheers,<br>
<br>
Justin<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>