Add Data.List.ZipList.transpose #58
Conversation
Also add tests for ZipList.
| -- | Transpose any structure which is both `Foldable` and `Unfoldable`, | ||
| -- | via `ZipList`; note that `sequence` for `ZipList` is the same as | ||
| -- | `transpose`. | ||
| transpose :: forall f a. (Foldable f, Unfoldable f) => f (f a) -> f (f a) |
There was a problem hiding this comment.
I think these overloaded functions have their place, but I'd prefer to expose a List version too, since we're going via that function anyway.
There was a problem hiding this comment.
I thought about this, but what about name collisions? There's always straight sequence if you want to avoid all the other stuff, eg for performance.
There was a problem hiding this comment.
I'm just concerned that a beginner won't know to use sequence, and may not understand the more general type signature.
There was a problem hiding this comment.
We already have generalized type signatures for all kinds of things, though? foldr, replicate, (<>), even (+) and (*).
Just so that we're on the same page - are you suggesting we put specialized versions of transpose into Data.List and Data.List.Lazy, as well as this generalized version here?
|
See #59 for a second attempt. |
3 participants
This seemed to be the most appropriate place I could think of for it. I also added some tests for ZipList.