[Haskell-cafe] Data.Typeable TypeRep Ord instance.
john at repetae.net
Thu Dec 23 00:35:08 CET 2010
On Sat, Dec 4, 2010 at 2:08 PM, Serguey Zefirov <sergueyz at gmail.com> wrote:
> Why TypeRep does have equality and doesn't have ordering?
> It would be good to have that.
Yes, I have wanted that too. It would make maps from types to values
possible/efficient. There is a very critical path in jhc that use
type-indexed data structures that I have to implement a very hacky
workaround for no Ord instance for TypeRep
More information about the Haskell-Cafe