This idea has been around a while:

https://hackage.haskell.org/package/category-extras-0.52.1/docs/Control-Functor-Zip.html

Here is an article:

http://comonad.com/reader/2008/zipping-and-unzipping-functors/

Note that all functors give unzip:

\x -> (fmap fst x, fmap snd x)


On Fri, Jan 12, 2018 at 1:28 PM, David Feuer <david.feuer@gmail.com> wrote:
Paolo G. Giarrusso (Blaisorblade) would like to add an unzip function to Data.Sequence. I agree. I propose adding

  unzip :: Seq (a,b) -> (Seq a, Seq b)

  unzipWith :: (x -> (a, b)) -> Seq x -> (Seq a, Seq b)

Does anyone object?

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries