Implement stream fusion #5

Activity

1. superbobry

   closed this as completedon Jun 15, 2013
2. superbobry

   reopened this on Aug 13, 2013
3. treeowl commented on Jun 9, 2016

   

   treeowl

   on Jun 9, 2016

   Contributor

   More actions

   We can implement a map/map rule quite easily, without a full stream fusion framework. This particular rule can potentially increase definedness, since BS.map is strict and only accepts non-negative element values, but that's not necessarily a big problem. The general case of GS.map is trickier, at least as currently implemented. For example, with Data.BitSet.Word, mapping with a function producing "out of range" values can give a meaningful result, but it won't compose with its inverse. This could be managed through documentation, but it would be good to improve the out-of-range story generally.