on develop help sign in
Rename unlessE -> difference
0fbe5c2Lennart Spitzner
Quickref.md+9−9
@@ -48,15 +48,15 @@ Since MonadHold depends on MonadSample, any [S] function also runs in [H] contex
48[ ] attachPromptlyDynWithMaybe :: (a -> b -> Maybe c) -> Dynamic a -> Event b -> Event c
48[ ] attachPromptlyDynWithMaybe :: (a -> b -> Maybe c) -> Dynamic a -> Event b -> Event c
49
49
50-- Combine multiple Events
50-- Combine multiple Events
51−[ ] <> :: Monoid a => Event a -> Event a -> Event a
51+[ ] <> :: Semigroup a => Event a -> Event a -> Event a
52−[ ] unlessE :: Event a -> Event b -> Event a
52+[ ] difference :: Event a -> Event b -> Event a
53−[ ] align :: Event a -> Event b -> Event (These a b)
53+[ ] align :: Event a -> Event b -> Event (These a b)
54−[ ] alignWith :: (These a b -> c) -> Event a -> Event b -> Event c
54+[ ] alignWith :: (These a b -> c) -> Event a -> Event b -> Event c
55−[ ] mergeWith :: (a -> a -> a) -> [Event a] -> Event a
55+[ ] mergeWith :: (a -> a -> a) -> [Event a] -> Event a
56−[ ] leftmost :: [Event a] -> Event a
56+[ ] leftmost :: [Event a] -> Event a
57−[ ] mergeList :: [Event a] -> Event (NonEmpty a)
57+[ ] mergeList :: [Event a] -> Event (NonEmpty a)
58−[ ] merge :: GCompare k => DMap (WrapArg Event k) -> Event (DMap k)
58+[ ] merge :: GCompare k => DMap (WrapArg Event k) -> Event (DMap k)
59−[ ] mergeMap :: Ord k => Map k (Event a) -> Event (Map k a)
59+[ ] mergeMap :: Ord k => Map k (Event a) -> Event (Map k a)
60
60
61-- Efficient one-to-many fanout
61-- Efficient one-to-many fanout
62[ ] fanMap :: Ord k => Event (Map k a) -> EventSelector (Const2 k a)
62[ ] fanMap :: Ord k => Event (Map k a) -> EventSelector (Const2 k a)
src/Reflex/Class.hs+5−3
@@ -34,7 +34,7 @@ module Reflex.Class
34 , mergeMap
34 , mergeMap
35 , mergeList
35 , mergeList
36 , mergeWith
36 , mergeWith
37− , unlessE
37+ , difference
38 -- ** Breaking up 'Event's
38 -- ** Breaking up 'Event's
39 , splitE
39 , splitE
40 , fanEither
40 , fanEither
@@ -720,8 +720,10 @@ distributeListOverDynWith f = fmap (f . map (\(Const2 _ :=> Identity v) -> v) .
720
720
721-- | Create a new 'Event' that occurs when the first supplied 'Event' occurs
721-- | Create a new 'Event' that occurs when the first supplied 'Event' occurs
722-- unless the second supplied 'Event' occurs simultaneously.
722-- unless the second supplied 'Event' occurs simultaneously.
723−unlessE :: Reflex t => Event t a -> Event t b -> Event t a
723+difference :: Reflex t => Event t a -> Event t b -> Event t a
724−unlessE = alignWithMaybe $ \case { This a -> Just a ; _ -> Nothing }
724+difference = alignWithMaybe $ \case
725+ This a -> Just a
726+ _ -> Nothing
725
727
726-- (intentially not exported, for now)
728-- (intentially not exported, for now)
727alignWithMaybe
729alignWithMaybe
test/Reflex/Test/Micro.hs+2−2
@@ -242,10 +242,10 @@ testCases =
242 f <- fanMap . fmap toMap <$> events1
242 f <- fanMap . fmap toMap <$> events1
243 return $ toList <$> mergeList [ select f (Const2 'b'), select f (Const2 'b'), select f (Const2 'e'), select f (Const2 'e') ]
243 return $ toList <$> mergeList [ select f (Const2 'b'), select f (Const2 'b'), select f (Const2 'e'), select f (Const2 'e') ]
244
244
245− , testE "unlessE" $ do
245+ , testE "difference" $ do
246 e1 <- events1
246 e1 <- events1
247 e2 <- events2
247 e2 <- events2
248− return $ e1 `unlessE ` e2
248+ return $ e1 `difference ` e2
249
249
250 ] where
250 ] where
251
251