Re: [Haskell-cafe] A Generic Ordering over Types

My idea was to support Generic types only. On Sat, 28 Dec 2019 at 23:37, David Feuer wrote:

Very nifty! Could you/should you add function types? Those are never Generic, so you could check for them first.

On Sat, Dec 28, 2019, 5:22 AM Justin Paston-Cooper wrote:

...

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/.... 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.