Reflex.Contrib.Utils

Documentation

end :: Monad m => m ()

A small amount of convenience for return ().

fmapMaybe2 :: Reflex t => Event t (Maybe (Maybe a)) -> Event t a

fmapMaybe twice

attachDynSelf :: Reflex t => Dynamic t a -> Event t (a, a)

Construct an event with a tuple of (current,updated).

partitionEvent :: Reflex t => (a -> Bool) -> Event t a -> (Event t a, Event t a)

Partitions an event into a pair of events that fire when the predicate function evaluates to True and False respectively.

extractEvent :: (Reflex t, MonadHold t m) => (a -> Event t b) -> Dynamic t a -> m (Event t b)

Sometimes you end up with a Dynamic t Foo where Foo contains an Event field. This function collapses the two levels of Dynamic Event into just an Event.

extractDyn :: (Reflex t, MonadHold t m) => (a -> Dynamic t b) -> Dynamic t a -> m (Dynamic t b)

Sometimes you end up with a Dynamic t Foo where Foo contains a Dynamic field. This function collapses the two levels of Dynamic Dynamic into a single Dynamic.

filterDyn :: (MonadHold t m, Reflex t, Functor m) => (a -> Bool) -> Dynamic t a -> m (Dynamic t a)

This function has the slight flaw that if (f initValue) == False, it will still get through.

fmapMaybeDyn :: (MonadHold t m, Reflex t, Functor m) => (a -> Maybe b) -> Dynamic t a -> m (Dynamic t (Maybe b))

Similar to filterDyn, but here the initial value problem is visible because of the Maybe.