@@ -305,9 +305,11 @@ ffilter f = fmapMaybe $ \x -> if f x then Just x else Nothing
305instance Reflex t => Alt (Event t) where
305instance Reflex t => Alt (Event t) where
306 ev1 <!> ev2 = leftmost [ev1, ev2]
306 ev1 <!> ev2 = leftmost [ev1, ev2]
308+-- | Event intersection (convenient interface to 'coincidence').
308instance Reflex t => Apply (Event t) where
309instance Reflex t => Apply (Event t) where
309 evf <.> evx = coincidence (fmap (<$> evx) evf)
310 evf <.> evx = coincidence (fmap (<$> evx) evf)
312+-- | Event intersection (convenient interface to 'coincidence').
311instance Reflex t => Bind (Event t) where
313instance Reflex t => Bind (Event t) where
312 evx >>- f = coincidence (f <$> evx)
314 evx >>- f = coincidence (f <$> evx)
313 join = coincidence
315 join = coincidence
@@ -318,6 +320,7 @@ instance Reflex t => Functor (Event t) where
318instance Reflex t => FunctorMaybe (Event t) where
320instance Reflex t => FunctorMaybe (Event t) where
319 fmapMaybe f = push $ return . f
321 fmapMaybe f = push $ return . f
323+-- | Never: @'zero' = 'never'@.
321instance Reflex t => Plus (Event t) where
324instance Reflex t => Plus (Event t) where
322 zero = never
325 zero = never