@@ -152,10 +152,6 @@ These functions flatten Event-of-Event, Behavior-of-Event, or Dynamic-of-Event i
152152[H] distributeDMapOverDyn :: GCompare k => DMap (WrapArg Dynamic k) -> m (Dynamic (DMap k))
153153[H] combineDyn :: (a -> b -> c) -> Dynamic a -> Dynamic b -> m (Dynamic c)
154154
155−-- Unwrap Dynamic-of-Dynamic to Dynamic
156−[ ] joinDyn :: Dynamic (Dynamic a) -> Dynamic a
157−[ ] joinDynThroughMap :: Ord k => Dynamic (Map k (Dynamic a)) -> Dynamic (Map k a)
158−
159155-- Efficient one-to-many fanout
160156[ ] demux :: Ord k => Dynamic k -> Demux k
161157[H] getDemuxed :: Eq k => Demux k -> k -> m (Dynamic Bool)
@@ -166,6 +162,11 @@ These functions flatten Event-of-Event, Behavior-of-Event, or Dynamic-of-Event i
166162-- Dynamic to identical Dynamic with debug trace.
167163[ ] traceDyn :: Show a => String -> Dynamic a -> Dynamic a
168164[ ] traceDynWith :: (a -> String) -> Dynamic a -> Dynamic a
165+
166+-- Flatten Dynamic-of-Dynamic to Dynamic. New Dynamic is used immediately.
167+-- Output updated whenever inner or outer Dynamic updates.
168+[ ] joinDyn :: Dynamic (Dynamic a) -> Dynamic a
169+[ ] joinDynThroughMap :: Ord k => Dynamic (Map k (Dynamic a)) -> Dynamic (Map k a)
169170```
170171
171172## Reflex-Dom
@@ -214,12 +215,6 @@ Widgets may return any type (this is 'a' in many of the functions below). Often
214215[W] dynText :: Dynamic String -> m ()
215216[W] display :: Show a => Dynamic a -> m ()
216217
217−-- Create a link ("a" element), given the destination URL.
218−[W] link :: String -> m Link
219−
220−-- Same as above with a class attribute.
221−[W] linkClass :: String -> String -> m Link
222−
223218-- Create a "button" element with given label, return onClick Event
224219[W] button :: String -> m (Event ())
225220
@@ -274,7 +269,7 @@ Note the "list" functions do not imply particular HTML tags (ul, li, etc), thoug
274269
275270### Connecting to the real world (I/O)
276271
277−#### Input: Creating Events from user input
272+#### Connecting to DOM events
278273
279274```haskell
280275-- Extract the specified Event from an 'El'. The allowable event names, and their corresponding
@@ -282,7 +277,7 @@ Note the "list" functions do not imply particular HTML tags (ul, li, etc), thoug
282277[ ] domEvent :: EventName en -> El -> Event (EventResultType en)
283278```
284279
285−#### Output: Performing side-effects in response to Events
280+#### Performing arbitrary I/O in response to Events
286281
287282```haskell
288283-- Run side-effecting actions in Event when it occurs; returned Event contains results.