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