@@ -39,14 +39,14 @@ Since MonadHold depends on MonadSample, any [S] function also runs in [H] contex
3939[ ] traceEventWith :: (a -> String) -> Event a -> Event a
4040
4141-- Transform Event to Event by sampling Behavior or Dynamic
42−[ ] gate :: Behavior Bool -> Event a -> Event a
43−[ ] tag :: Behavior a -> Event b -> Event a
44−[ ] tagDyn :: Dynamic a -> Event b -> Event a
45−[ ] attach :: Behavior a -> Event b -> Event (a, b)
46−[ ] attachDyn :: Dynamic a -> Event b -> Event (a, b)
47−[ ] attachWith :: (a -> b -> c) -> Behavior a -> Event b -> Event c
48−[ ] attachDynWith :: (a -> b -> c) -> Dynamic a -> Event b -> Event c
49−[ ] attachWithMaybe :: (a -> b -> Maybe c) -> Behavior a -> Event b -> Event c
42+[ ] gate :: Behavior Bool -> Event a -> Event a
43+[ ] tag :: Behavior a -> Event b -> Event a
44+[ ] tagDyn :: Dynamic a -> Event b -> Event a
45+[ ] attach :: Behavior a -> Event b -> Event (a, b)
46+[ ] attachDyn :: Dynamic a -> Event b -> Event (a, b)
47+[ ] attachWith :: (a -> b -> c) -> Behavior a -> Event b -> Event c
48+[ ] attachDynWith :: (a -> b -> c) -> Dynamic a -> Event b -> Event c
49+[ ] attachWithMaybe :: (a -> b -> Maybe c) -> Behavior a -> Event b -> Event c
5050[ ] attachDynWithMaybe :: (a -> b -> Maybe c) -> Dynamic a -> Event b -> Event c
5151
5252-- Combine multiple Events
@@ -103,13 +103,15 @@ Since MonadHold depends on MonadSample, any [S] function also runs in [H] contex
103103
104104```haskell
105105-- Trivial Dynamic
106−[ ] constDyn :: a -> Dynamic a
106+[ ] constDyn :: a -> Dynamic a
107107
108108-- Construct Dynamic from Event
109−[H] holdDyn :: a -> Event a -> m (Dynamic a)
110−[H] foldDyn :: (a -> b -> b) -> b -> Event a -> m (Dynamic b)
111−[H] foldDynM :: (a -> b -> m' b) -> b -> Event a -> m (Dynamic b)
112− -- Note supplied function operates in [H] context
109+[H] holdDyn :: a -> Event a -> m (Dynamic a)
110+[H] foldDyn :: (a -> b -> b ) -> b -> Event a -> m (Dynamic b)
111+[H] foldDynMaybe :: (a -> b -> Maybe b ) -> b -> Event a -> m (Dynamic b)
112+[H] foldDynM :: (a -> b -> m' b ) -> b -> Event a -> m (Dynamic b)
113+[H] foldDynMaybeM :: (a -> b -> m' (Maybe b)) -> b -> Event a -> m (Dynamic b)
114+ -- Note m' supplies [H] context
113115[H] count :: Num b => Event a -> m (Dynamic b)
114116[H] toggle :: Bool -> Event a -> m (Dynamic Bool)
115117
@@ -117,7 +119,7 @@ Since MonadHold depends on MonadSample, any [S] function also runs in [H] contex
117119[H] forDyn :: Dynamic a -> (a -> b) -> m (Dynamic b)
118120[H] mapDyn :: (a -> b) -> Dynamic a -> m (Dynamic b)
119121[H] mapDynM :: (a -> m' b) -> Dynamic a -> m (Dynamic b)
120− -- Note supplied function runs in [S] context
122+ -- Note m' supplies [S] context
121123[H] splitDyn :: Dynamic (a, b) -> m (Dynamic a, Dynamic b)
122124
123125-- Combine multiple Dynamics