Reflex.Updated

Documentation

data UpdatedMap t k a

Data type for a collection (a map) which is updated by providing differences

Constructors

UpdatedMap (Map k a) (Event t (Map k (Maybe a)))

Instances

Reflex t => FunctorWithIndex k (UpdatedMap t k)

Reflex t => Functor (UpdatedMap t k)

data Updated t a

Data type for an initial value which is updated, mainly useful for it's Functor instance

Constructors

Updated a (Event t a)

Instances

Reflex t => Functor (Updated t)

split :: Functor f => f (a, b) -> (f a, f b)

Generalized unzip - probably not the best place for this!

holdDyn' :: (Reflex t, MonadHold t m, MonadFix m) => Updated t a -> m (Dynamic t a)

Hold an Updated as a Dynamic by replacing the initial value with updates

hold' :: (Reflex t, MonadHold t m, MonadFix m) => Updated t a -> m (Behavior t a)

Hold an Updated as a Behavior by replacing the initial value with updates

holdMapDyn :: (Reflex t, MonadHold t m, MonadFix m, Ord k) => UpdatedMap t k a -> m (Dynamic t (Map k a))

Turn an UpdatedMap into a Dynamic by applying the differences to the initial value

holdMap :: (Reflex t, MonadHold t m, MonadFix m, Ord k) => UpdatedMap t k a -> m (Behavior t (Map k a))

Hold an UpdatedMap as a behavior by applying differences to the initial value

shallowDiff :: (Reflex t, Ord k) => Behavior t (Map k a) -> Event t (Map k b) -> Event t (Map k (Maybe b))

Track the shallow (structural) differences between a Behavior and an Event

shallowDiff' :: Ord k => Map k a -> Map k b -> Map k (Maybe b)

Find the shallow (structural) differences between two Maps