Hi Julian, how are you??

Yes I've looked into amb. In practice I have no problem with the back-end implementation, I just wanted to provide a nice front-end for my DSL.

I wonder if there is a way to generalize the concept, especially in the case with events of different types running in parallel:

ShortcutEvents :: [Event a] -> ([Maybe a] -> Maybe b) -> Event b
ShortcutEvents2 :: [Event a] -> [Event b] -> ([Maybe a] -> [Maybe b] -> Maybe c) -> Event c
ShortcutEventsX ...

My use case is the voting system of Nomyx, for which I need to run in parallel all the players votes plus a timer.

Cheers
Corentin

On Mon, Sep 8, 2014 at 1:01 PM, Julian K. Arni <jkarni@gmail.com> wrote:

Are you looking for something like amb/unamb? [0] In particular, if you look at
the comments in the source for 'race', it should be pretty intuitive how to go
from there to "run x computations, kill the remaining ones after y return". You
just need to fiddle with the MVar, possibly adding another thread and MVar that
represents whether the calculation can already be completed.

[0] https://hackage.haskell.org/package/unamb-0.2.5/docs/src/Data-Unamb.html#amb