@@ -305,9 +305,11 @@ ffilter f = fmapMaybe $ \x -> if f x then Just x else Nothing
305305instance Reflex t => Alt (Event t) where
306306 ev1 <!> ev2 = leftmost [ev1, ev2]
307307
308+-- | Event intersection (convenient interface to 'coincidence').
308309instance Reflex t => Apply (Event t) where
309310 evf <.> evx = coincidence (fmap (<$> evx) evf)
310311
312+-- | Event intersection (convenient interface to 'coincidence').
311313instance Reflex t => Bind (Event t) where
312314 evx >>- f = coincidence (f <$> evx)
313315 join = coincidence
@@ -318,6 +320,7 @@ instance Reflex t => Functor (Event t) where
318320instance Reflex t => FunctorMaybe (Event t) where
319321 fmapMaybe f = push $ return . f
320322
323+-- | Never: @'zero' = 'never'@.
321324instance Reflex t => Plus (Event t) where
322325 zero = never
323326