add dataCast{1,2} to Data instances of Data.Set, Data.Map, etc.
Adding
dataCast1 = gcast1
to the Data instances of Data.Set
and Data.IntMap
and
dataCast2 = gcast2
to the Data instance of Data.Map
would be handy.
I can't see any reason not to; it doesn't break the abstraction and it allows Set and Map to be used with SYB functions like ext1Q and friends.
There are probably other data types that could benefit from this too.
Trac metadata
Trac field | Value |
---|---|
Version | 6.4.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | Unknown |
Architecture | Unknown |