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