[GHC] #633: add dataCast{1, 2} to Data instances of Data.Set,
Data.Map, etc.
GHC
trac at galois.com
Wed Dec 14 14:23:08 EST 2005
#633: add dataCast{1,2} to Data instances of Data.Set, Data.Map, etc.
-----------------------------+----------------------------------------------
Reporter: jrussell | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: libraries/base | Version: 6.4.1
Severity: normal | Keywords:
Os: Unknown | Architecture: Unknown
-----------------------------+----------------------------------------------
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.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/633>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list