
16 Oct
2014
16 Oct
'14
5:21 p.m.
Actually, that proposal is firmly in the past. Let's *move* foldrWithIndex
and foldlWithIndex from Data.Sequence to Data.Foldable!
On Thu, Oct 16, 2014 at 1:14 PM, David Feuer
These functions can be lifted pretty much straight out of Data.Sequence. In particular, foldrWithIndex makes for a particularly nice expression of a fusing findIndices function, as is present in Data.Sequence.