Rename unlessE -> difference

Quickref.md

@@ -48,15 +48,15 @@ Since MonadHold depends on MonadSample, any [S] function also runs in [H] contex
 [ ]   attachPromptlyDynWithMaybe :: (a -> b -> Maybe c) ->  Dynamic a -> Event b -> Event c
 
 -- Combine multiple Events
-[ ]   <>        ::         Monoid a => Event a -> Event a -> Event a
-[ ]   unlessE   ::                     Event a -> Event b -> Event a
-[ ]   align     ::                     Event a -> Event b -> Event (These a b)
-[ ]   alignWith :: (These a b -> c) -> Event a -> Event b -> Event c 
-[ ]   mergeWith :: (a -> a -> a) -> [Event a] -> Event a
-[ ]   leftmost  :: [Event a] -> Event a
-[ ]   mergeList :: [Event a] -> Event (NonEmpty a)
-[ ]   merge     :: GCompare k => DMap (WrapArg Event k) -> Event (DMap k)
-[ ]   mergeMap  :: Ord k => Map k (Event a) -> Event (Map k a)
+[ ]   <>         ::      Semigroup a => Event a -> Event a -> Event a
+[ ]   difference ::                     Event a -> Event b -> Event a
+[ ]   align      ::                     Event a -> Event b -> Event (These a b)
+[ ]   alignWith  :: (These a b -> c) -> Event a -> Event b -> Event c
+[ ]   mergeWith  :: (a -> a -> a) -> [Event a] -> Event a
+[ ]   leftmost   :: [Event a] -> Event a
+[ ]   mergeList  :: [Event a] -> Event (NonEmpty a)
+[ ]   merge      :: GCompare k => DMap (WrapArg Event k) -> Event (DMap k)
+[ ]   mergeMap   :: Ord k => Map k (Event a) -> Event (Map k a)
 
 -- Efficient one-to-many fanout
 [ ]   fanMap    ::      Ord k => Event (Map k a) -> EventSelector (Const2 k a)

src/Reflex/Class.hs

@@ -34,7 +34,7 @@ module Reflex.Class
        , mergeMap
        , mergeList
        , mergeWith
-       , unlessE
+       , difference
          -- ** Breaking up 'Event's
        , splitE
        , fanEither
@@ -720,8 +720,10 @@ distributeListOverDynWith f = fmap (f . map (\(Const2 _ :=> Identity v) -> v) .
 
 -- | Create a new 'Event' that occurs when the first supplied 'Event' occurs
 -- unless the second supplied 'Event' occurs simultaneously.
-unlessE :: Reflex t => Event t a -> Event t b -> Event t a
-unlessE = alignWithMaybe $ \case { This a -> Just a ; _ -> Nothing }
+difference :: Reflex t => Event t a -> Event t b -> Event t a
+difference = alignWithMaybe $ \case
+  This a -> Just a
+  _      -> Nothing
 
 -- (intentially not exported, for now)
 alignWithMaybe

test/Reflex/Test/Micro.hs

@@ -242,10 +242,10 @@ testCases =
       f <- fanMap . fmap toMap <$> events1
       return $ toList <$> mergeList [ select f (Const2 'b'), select f (Const2 'b'), select f (Const2 'e'), select f (Const2 'e') ]
 
-  , testE "unlessE" $ do
+  , testE "difference" $ do
       e1 <- events1
       e2 <- events2
-      return $ e1 `unlessE ` e2
+      return $ e1 `difference ` e2
 
   ] where