@@ -19,7 +19,9 @@ module Reflex.Dom.Widget.Basic
22 , widgetHold
23 , widgetHold
24 -- * Creating DOM Elements
26 -- * Creating DOM Elements
@@ -73,6 +75,7 @@ import Data.Align
73import Data.Default
75import Data.Default
74import Data.Either
76import Data.Either
75import Data.Foldable
77import Data.Foldable
78+import Data.Functor (void)
76import Data.Map (Map)
79import Data.Map (Map)
77import qualified Data.Map as Map
80import qualified Data.Map as Map
78import Data.Map.Misc
81import Data.Map.Misc
@@ -130,7 +133,11 @@ button t = do
130-- The returned Event of widget results occurs when the Dynamic does.
133-- The returned Event of widget results occurs when the Dynamic does.
131-- 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').
134-- 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').
132dyn :: (DomBuilder t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)
135dyn :: (DomBuilder t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)
133−dyn = networkView
136+dyn = networkView
138+-- | Like 'dyn' but discards result.
139+dyn_ :: (DomBuilder t m, PostBuild t m) => Dynamic t (m a) -> m ()
135-- | Given an initial widget and an Event of widget-creating actions, create a widget that is recreated whenever the Event fires.
142-- | Given an initial widget and an Event of widget-creating actions, create a widget that is recreated whenever the Event fires.
136-- The returned Dynamic of widget results occurs when the Event does.
143-- The returned Dynamic of widget results occurs when the Event does.
@@ -138,6 +145,10 @@ dyn = networkView
138widgetHold :: (DomBuilder t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)
145widgetHold :: (DomBuilder t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)
139widgetHold = networkHold
146widgetHold = networkHold
148+-- | Like 'widgetHold' but discards result.
149+widgetHold_ :: (DomBuilder t m, MonadHold t m) => m a -> Event t (m a) -> m ()
150+widgetHold_ z = void . widgetHold z
141-- | Create a DOM element
152-- | Create a DOM element
142-- > el "div" (text "Hello World")
153-- > el "div" (text "Hello World")
143-- <div>Hello World</div>
154-- <div>Hello World</div>