git.iko.soy/patch
on 2d282dc help sign in
patch/src/Reflex/Network.hs
38 lines 1.7 kB history raw
1{-# LANGUAGE CPP #-}
2{-# LANGUAGE MultiParamTypeClasses #-}
3#ifdef USE_REFLEX_OPTIMIZER
4{-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}
5#endif
6module Reflex.Network
7 ( networkView
8 , networkHold
9 , untilReady
10 ) where
12import Reflex.Class
13import Reflex.NotReady.Class
14import Reflex.PostBuild.Class
16-- | Given a Dynamic of network-creating actions, create a network that is recreated whenever the Dynamic updates.
17-- The returned Event of network results occurs when the Dynamic does.
18-- Note: Often, the type 'a' is an Event, in which case the return value is an Event-of-Events that would typically be flattened (via 'switchPromptly').
19networkView :: (NotReady t m, Adjustable t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)
20networkView child = do
21 postBuild <- getPostBuild
22 let newChild = leftmost [updated child, tagCheap (current child) postBuild]
23 snd <$> runWithReplace notReady newChild
25-- | Given an initial network and an Event of network-creating actions, create a network that is recreated whenever the Event fires.
26-- The returned Dynamic of network results occurs when the Event does.
27-- Note: Often, the type 'a' is an Event, in which case the return value is a Dynamic-of-Events that would typically be flattened.
28networkHold :: (Adjustable t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)
29networkHold child0 newChild = do
30 (result0, newResult) <- runWithReplace child0 newChild
31 holdDyn result0 newResult
33-- | Render a placeholder network to be shown while another network is not yet
34-- done building
35untilReady :: (Adjustable t m, PostBuild t m) => m a -> m b -> m (a, Event t b)
36untilReady a b = do
37 postBuild <- getPostBuild
38 runWithReplace a $ b <$ postBuild