on master help sign in
Add back the Monad constraint in mergeBy
commit13f361a606bdd78dde1dcf9ce3d046b57023e1d4 authorAdithya Kumar <adithya@composewell.com> dateTue 16 Nov 2021, 12:44 (5 years ago) parent05360d2
1 file changed+2−1
src/Streamly/Internal/Data/Stream/IsStream/Expand.hs+2−1
src/Streamly/Internal/Data/Stream/IsStream/Expand.hs+2−1
@@ -707,7 +707,8 @@ zipAsyncWith f = zipAsyncWithM (\a b -> return (f a b))
707707--
708708-- @since 0.6.0
709709{-# INLINE mergeBy #-}
710−mergeBy :: IsStream t => (a -> a -> Ordering) -> t m a -> t m a -> t m a
710+mergeBy ::
711+ (IsStream t, Monad m) => (a -> a -> Ordering) -> t m a -> t m a -> t m a
711712mergeBy f m1 m2 = fromStream $ K.mergeBy f (toStream m1) (toStream m2)
712713
713714-- | Like 'mergeBy' but with a monadic comparison function.