Reflex.Network

Documentation

networkView :: (NotReady t m, Adjustable t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)

A Dynamic "network": Takes a Dynamic of network-creating actions and replaces the network whenever the Dynamic updates. The returned Event of network results fires at post-build time and when the Dynamic updates. Note: Often, the type a is an Event, in which case the return value is an Event-of-Events, where the outer Event fires when switching networks. Such an Event would typically be flattened (via switchPromptly).

networkHold :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)

Given an initial "network" and an Event of network-creating actions, create a network that is recreated whenever the Event fires. The returned Dynamic of network results occurs when the Event does. Note: Often, the type a is an Event, in which case the return value is a Dynamic-of-Events that would typically be flattened.

untilReady :: (Adjustable t m, PostBuild t m) => m a -> m b -> m (a, Event t b)

Render a placeholder network to be shown while another network is not yet done building