Proposal: Instance apartness guards

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Proposal: Instance apartness guards

AntC
After years of pondering this idea (in various forms),
and several rounds of discussion on several forums,
I've written it up.

"This proposal tackles the thorny topic of Overlapping
instances,
 for both type classes and Type Families/Associated types,
 by annotating instance heads with type-level apartness
Guards.
 Type-level disequality predicates appear in Sulzmann &
Stuckey 2002;
 in the type-level ‘case selectionÂ’ in HList 2004;
 and in various guises in Haskell cafe discussions in
following years.
 This proposal builds on the apartness testing implemented
 as part of the Closed Type Families work."

All feedback welcome.

https://github.com/AntC2/ghc-proposals/blob/instance-apartness-guards/proposals/0000-instance-apartness-guards.rst

AntC
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.