@@ -19,7 +19,9 @@ module Reflex.Dom.Widget.Basic
1919 , display
2020 , button
2121 , dyn
22+ , dyn_
2223 , widgetHold
24+ , widgetHold_
2325
2426 -- * Creating DOM Elements
2527 , el
@@ -73,6 +75,7 @@ import Data.Align
7375import Data.Default
7476import Data.Either
7577import Data.Foldable
78+import Data.Functor (void)
7679import Data.Map (Map)
7780import qualified Data.Map as Map
7881import Data.Map.Misc
@@ -130,7 +133,11 @@ button t = do
130133-- The returned Event of widget results occurs when the Dynamic does.
131134-- 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').
132135dyn :: (DomBuilder t m, PostBuild t m) => Dynamic t (m a) -> m (Event t a)
133−dyn = networkView
136+dyn = networkView
137+
138+-- | Like 'dyn' but discards result.
139+dyn_ :: (DomBuilder t m, PostBuild t m) => Dynamic t (m a) -> m ()
140+dyn_ = void . dyn
134141
135142-- | Given an initial widget and an Event of widget-creating actions, create a widget that is recreated whenever the Event fires.
136143-- The returned Dynamic of widget results occurs when the Event does.
@@ -138,6 +145,10 @@ dyn = networkView
138145widgetHold :: (DomBuilder t m, MonadHold t m) => m a -> Event t (m a) -> m (Dynamic t a)
139146widgetHold = networkHold
140147
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
151+
141152-- | Create a DOM element
142153-- > el "div" (text "Hello World")
143154-- <div>Hello World</div>