on develop help sign in
Fixes up the constraints on withEventWriterT
bd32b0bDave Laing
src/Reflex/EventWriter.hs+1−1
@@ -179,7 +179,7 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) wher
179 queryIncremental = lift . queryIncremental
179 queryIncremental = lift . queryIncremental
180
180
181-- | Map a function over the output of a 'EventWriterT'.
181-- | Map a function over the output of a 'EventWriterT'.
182−withEventWriterT :: (Monoid w, Monoid w', Reflex t, MonadHold t m, MonadFix m)
182+withEventWriterT :: (Semigroup w, Semigroup w', Reflex t, MonadHold t m, MonadFix m)
183 => (w -> w')
183 => (w -> w')
184 -> EventWriterT t w m a
184 -> EventWriterT t w m a
185 -> EventWriterT t w' m a
185 -> EventWriterT t w' m a