Re: Proposal: Add gtraverse to Data.Data

+1 Pedro On Fri, Aug 16, 2013 at 1:21 AM, Edward Kmett wrote:

Data.Data provides an gmapM as an analogue to mapM but not one to traverse.

The following definition from lens fills in this gap, but it probably belongs in Data.Data alongside its kin.

gtraverse :: (Applicative f, Data a) => (forall d. Data d => d -> f d) -> a -> f a

gtraverse f = gfoldl (\x y -> x <*> f y) pure

Discussion period: 2 weeks

-Edward Kmett

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