[Haskell-cafe] A Generic Ordering over Types
david.feuer at gmail.com
Sat Dec 28 22:37:22 UTC 2019
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 <paston.cooper at gmail.com>
> I've defined a module which defines a Data.Type.Ordering over types
> which are instances of Generic:
> I was considering submitting it to Hackage if anyone finds this
> 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?
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe