| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Reflex.Network
Description
Synopsis
- networkView :: (NotReady t m, Adjustable t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)
- networkHold :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)
- untilReady :: (Adjustable t m, PostBuild t m) => m a -> m b -> m (a, Event t b)
Documentation
networkView :: (NotReady t m, Adjustable t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a) Source #
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) Source #
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) Source #
Render a placeholder network to be shown while another network is not yet done building