@@ -912,6 +912,14 @@ zipDynWith f da db =
912 return $ Just $ f a b
912 return $ Just $ f a b
913 in unsafeBuildDynamic (f <$> sample (current da) <*> sample (current db)) ec
913 in unsafeBuildDynamic (f <$> sample (current da) <*> sample (current db)) ec
915+instance (Reflex t, Semigroup a) => Semigroup (Dynamic t a) where
916+ (<>) = zipDynWith (<>)
917+#if MIN_VERSION_semigroups(0,17,0)
918+ stimes n = fmap $ stimes n
920+ times1p n = fmap $ times1p n
915instance (Reflex t, Monoid a) => Monoid (Dynamic t a) where
923instance (Reflex t, Monoid a) => Monoid (Dynamic t a) where
916 mconcat = distributeListOverDynWith mconcat
924 mconcat = distributeListOverDynWith mconcat
917 mempty = constDyn mempty
925 mempty = constDyn mempty