Ok, I hadn't realised that. Looking in the user's guide, I see <= and <=? for 
Nat, but I couldn't find anything about Symbol. I must try them out!


> From: Carter Schonwald <carter.schonw...@gmail.com>
> 
> the alphabetical ordering on Symbol is already exposed via TypeLits... this 
> would be some machinery to help maintain that ordering with less user 
> intervention?
> 
> On Thu, Oct 16, 2014 at 6:59 PM, Barney Hilken <b.hil...@ntlworld.com> wrote:
> I can think of a use for a non-equality constraint: an alphabetical ordering 
> on Symbol. This would allow experimental implementations of extensible 
> records (without shadowing) which keep the labels sorted.
> 
> An order constraint on Nat might be useful, too.
> 
> Barney.
> 
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users@haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> 
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to