@@ -211,10 +211,8 @@ class ( MonadHold t (PushM t)
211 -- occurring or not occurring; if it is occurring, it will contain a value of
211 -- occurring or not occurring; if it is occurring, it will contain a value of
212 -- the given type (its "occurrence type")
212 -- the given type (its "occurrence type")
213 data Event t :: * -> *
213 data Event t :: * -> *
214− -- | A container for a value that can change over time and allows
214+ -- | A 'Dynamic' is just an 'Incremental' whose patch type always completely
215− -- notifications on changes. Basically a combination of a 'Behavior' and an
215+ -- replaces the value (rather than doing some potentially-smaller change).
216− -- 'Event', with a rule that the 'Behavior' will change if and only if the
218 data Dynamic t :: * -> *
216 data Dynamic t :: * -> *
219 -- | A container for a value that can change over time and allows
217 -- | A container for a value that can change over time and allows
220 -- notifications on changes. Basically a combination of a 'Behavior' and an
218 -- notifications on changes. Basically a combination of a 'Behavior' and an