on develop help sign in
Noted origin of align functions in Quickref
66cf0ccSam Erie
Quickref.md+10−8
@@ -50,14 +50,16 @@ Since MonadHold depends on MonadSample, any [S] function also runs in [H] contex
50[ ] <@ :: Behavior a -> Event b -> Event a
50[ ] <@ :: Behavior a -> Event b -> Event a
51
51
52-- Combine multiple Events
52-- Combine multiple Events
53−[ ] <> :: Semigroup a => Event a -> Event a -> Event a
53+[ ] <> :: Semigroup a => Event a -> Event a -> Event a
54−[ ] difference :: Event a -> Event b -> Event a
54+[ ] difference :: Event a -> Event b -> Event a
55+[ ] align :: Event a -> Event b -> Event (These a b)
55−[ ] alignEventWithMaybe :: (These a b -> Maybe c) -> Event a -> Event b -> Event c
56+[ ] alignWith :: (These a b -> c) -> Event a -> Event b -> Event c
57+ -- Note align functions from Data.Align in semialign package
56−[ ] mergeWith :: (a -> a -> a) -> [Event a] -> Event a
58+[ ] mergeWith :: (a -> a -> a) -> [Event a] -> Event a
57−[ ] leftmost :: [Event a] -> Event a
59+[ ] leftmost :: [Event a] -> Event a
58−[ ] mergeList :: [Event a] -> Event (NonEmpty a)
60+[ ] mergeList :: [Event a] -> Event (NonEmpty a)
59−[ ] merge :: GCompare k => DMap k Event -> Event (DMap k Identity)
61+[ ] merge :: GCompare k => DMap k Event -> Event (DMap k Identity)
60−[ ] mergeMap :: Ord k => Map k (Event a) -> Event (Map k a)
62+[ ] mergeMap :: Ord k => Map k (Event a) -> Event (Map k a)
61
63
62-- Efficient one-to-many fanout
64-- Efficient one-to-many fanout
63[ ] fanMap :: Ord k => Event (Map k a) -> EventSelector (Const2 k a)
65[ ] fanMap :: Ord k => Event (Map k a) -> EventSelector (Const2 k a)