Re: Proposal: Make amap an IArray method

And in fact can't even go in IArray at all. Argh! Double error! I think I'll go back under my rock. On Nov 14, 2014 6:23 PM, "David Feuer" wrote:

Oh, I think I missed your point, that this operation really belongs in a *different* class—sorry. On Nov 14, 2014 5:07 PM, "Carter Schonwald" wrote:

...

amap :: (IArray http://Data-Array-IArray.html#t:IArray a e', IArray http://Data-Array-IArray.html#t:IArray a e, Ix http://../base-4.7.0.1/Data-Ix.html#t:Ix i) => (e' -> e) -> a i e' -> a i e

this looks like map. just with a class constraint. I dont buy that theres any ROI for putting it into the class at all. By the same arguement, map and fold in Vector should be part of the class.

-1

On Fri, Nov 14, 2014 at 4:30 PM, David Feuer wrote:

...

I realized what I wrote about amap earlier was utterly boneheaded, because it has the wrong type for fmap. The only way to accomplish my goal is to make Data.Array.IArray.amap a method of the IArray class. This will allow IArray instances to offer optimized versions and things like amap/coerce rules. The current implementation of amap can become the default one.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries