Safe Haskell | None |
---|---|
Language | Haskell2010 |
- end :: Monad m => m ()
- fmapMaybe2 :: Reflex t => Event t (Maybe (Maybe a)) -> Event t a
- attachDynSelf :: Reflex t => Dynamic t a -> Event t (a, a)
- partitionEvent :: Reflex t => (a -> Bool) -> Event t a -> (Event t a, Event t a)
- extractEvent :: (Reflex t, MonadHold t m) => (a -> Event t b) -> Dynamic t a -> m (Event t b)
- extractDyn :: (Reflex t, MonadHold t m) => (a -> Dynamic t b) -> Dynamic t a -> m (Dynamic t b)
- filterDyn :: (MonadHold t m, Reflex t, Functor m) => (a -> Bool) -> Dynamic t a -> m (Dynamic t a)
- fmapMaybeDyn :: (MonadHold t m, Reflex t, Functor m) => (a -> Maybe b) -> Dynamic t a -> m (Dynamic t (Maybe b))
Documentation
fmapMaybe2 :: Reflex t => Event t (Maybe (Maybe a)) -> Event t a Source
fmapMaybe twice
attachDynSelf :: Reflex t => Dynamic t a -> Event t (a, a) Source
Construct an event with a tuple of (current,updated).
partitionEvent :: Reflex t => (a -> Bool) -> Event t a -> (Event t a, Event t a) Source
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) Source
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) Source
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) Source
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)) Source
Similar to filterDyn, but here the initial value problem is visible because of the Maybe.