On Sunday, 7 February 2016 05:17:55 UTC-5, Tom Ellis wrote:
RecordF (f Type1) (f Type2) ... -> (f Type1, f Type2, ....) -> f (Type1, Type2, ...) -> f (Record Type1 Type2 ...)
I can't seem to find any uncurried zip implementations for arbitrarily large tuples (or any other way to do this without writing the boilerplate). Am I missing something? Is there a better way to do
On Sun, Feb 07, 2016 at 02:25:41AM -0500, Tyson Whitehead wrote: this?
I would call this a multi-typed 'Data.Traversable.sequence'.
Data.Profunctor.Product.TH generates this (in fact something slightly more general that works for ProductProfunctors, not just Applicatives).
Thanks for the pointer Tom. Currently reading up about it. Found your post too. http://h2.jaguarpaw.co.uk/posts/product-profunctor-folds/ Cheers! -Tyson