Распакуйте поток событий кортежа 2 в два потока

Question

В реактивном банане, данном Event t (a, b), как бы вы привели его к (Event t a, Event t b)?

Traversable#sequence, кажется, решить ее с некоторым экземпляром Monad для (,) при условии, но Event t только Functor.

Answer 1

Это должно работать:

import Control.Applicative 

unzipEvent :: Event t (a, b) -> (Event t a, Event t b) 
unzipEvent = liftA2 (,) (fmap fst) (fmap snd) 

Примечания:

• liftA2 (,) является универсальным, так как он просто используя Applicative экземпляр функций. В этом случае эквивалентной альтернативой этому будет (&&&) от Control.Arrow. Существует также менее причудливая альтернатива, \e -> (fst <$> e, snd <$> e).
• Даже если Event t был Traversable, sequenceA не помогло бы. Functor и Applicative экземпляры для пар are parametrised only on the second component of the pair. В итоге вы получите результат (a, Event t b), не говоря уже об ограничении Monoid на a.