Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Reflex t => Switching t r where
- class (Switching t r, Monoid r) => SwitchMerge t r where
- switching' :: (Reflex t, Switching t r, MonadFix m, MonadHold t m) => Updated t r -> m r
- switchMerge' :: (Reflex t, SwitchMerge t r, MonadFix m, MonadHold t m, Ord k) => UpdatedMap t k r -> m r
Documentation
class (Switching t r, Monoid r) => SwitchMerge t r where Source
switchMerge :: (MonadFix m, MonadHold t m, Ord k) => Map k r -> Event t (Map k (Maybe r)) -> m r Source
Switching for a changing collections of reactive types
Reflex t => SwitchMerge t () Source | |
(SwitchMerge t a, Monoid a, Reflex t) => SwitchMerge t [a] Source | |
(Monoid a, Reflex t) => SwitchMerge t (Behavior t a) Source | |
(Semigroup a, Reflex t) => SwitchMerge t (Event t a) Source | |
(SwitchMerge t a, SwitchMerge t b) => SwitchMerge t (a, b) Source |
switching' :: (Reflex t, Switching t r, MonadFix m, MonadHold t m) => Updated t r -> m r Source
Helper which takes an Updated as one argument (instead of initial value, update event separately)
switchMerge' :: (Reflex t, SwitchMerge t r, MonadFix m, MonadHold t m, Ord k) => UpdatedMap t k r -> m r Source
Helper which takes an UpdatedMap as one argument (instead of initial value, update event separately)