Hello,

I've defined a module which defines a Data.Type.Ordering over types
which are instances of Generic:
https://github.com/jpcooper/generic-type-ordering/blob/master/src/Data/Type/Ordering.hs.
I was considering submitting it to Hackage if anyone finds this
useful.

I am using it in conjunction with Data.Type.Set (type-level-sets),
which requires an ordering over the used types.

The ordering works by first comparing the package, then the module,
then the type name. I take it that the ordering as defined is correct
over all types which are an instance of Generic.

I wanted to check first whether this is done anywhere else, or in a
different, better way. Can anyone advise?

Cheers,

Justin
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.