Reflex.Switching

Documentation

class Reflex t => Switching t r where

Methods

switching :: MonadHold t m => r -> Event t r -> m r

Generalization of switchable reactive types (e.g. Event, Behavior)

Instances

Reflex t => Switching t ()

(Switching t a, Monoid a, Reflex t) => Switching t [a]

(Semigroup a, Reflex t) => Switching t (Event t a)

(Monoid a, Reflex t) => Switching t (Behavior t a)

(Switching t a, Switching t b) => Switching t (a, b)

class (Switching t r, Monoid r) => SwitchMerge t r where

Methods

switchMerge :: (MonadFix m, MonadHold t m, Ord k) => Map k r -> Event t (Map k (Maybe r)) -> m r

Switching for a changing collections of reactive types

Instances

Reflex t => SwitchMerge t ()

(SwitchMerge t a, Monoid a, Reflex t) => SwitchMerge t [a]

(Monoid a, Reflex t) => SwitchMerge t (Behavior t a)

(Semigroup a, Reflex t) => SwitchMerge t (Event t a)

(SwitchMerge t a, SwitchMerge t b) => SwitchMerge t (a, b)

switching' :: (Reflex t, Switching t r, MonadFix m, MonadHold t m) => Updated t r -> m r

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

Helper which takes an UpdatedMap as one argument (instead of initial value, update event separately)