Type checker plugins
Barney Hilken
b.hilken at ntlworld.com
Thu Oct 16 23:14:09 UTC 2014
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.schonwald at 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.hilken at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
More information about the Glasgow-haskell-users
mailing list