[Haskell-cafe] Pulling an applicative/apply out of a record
twhitehead at gmail.com
Mon Feb 8 05:35:12 UTC 2016
On Sunday, 7 February 2016 05:17:55 UTC-5, Tom Ellis wrote:
> On Sun, Feb 07, 2016 at 02:25:41AM -0500, Tyson Whitehead 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
> I would call this a multi-typed 'Data.Traversable.sequence'.
> Data.Profunctor.Product.TH generates this (in fact something slightly
> general that works for ProductProfunctors, not just Applicatives).
Thanks for the pointer Tom. Currently reading up about it. Found your
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe