on master help sign in
Remove the Monad constraint in mergeBy
commit1d100c932fbc07f8052e31a2bb5b0f20284db4af authorAdithya Kumar <adithya@composewell.com> dateMon 7 Mar 2022, 01:45 (5 years ago) parent22e8ad3
1 file changed+1−4
src/Streamly/Internal/Data/Stream/IsStream/Expand.hs+1−4
src/Streamly/Internal/Data/Stream/IsStream/Expand.hs+1−4
@@ -1,5 +1,3 @@
1−{-# OPTIONS_GHC -Wno-redundant-constraints #-}
2−
31-- |
42-- Module : Streamly.Internal.Data.Stream.IsStream.Expand
53-- Copyright : (c) 2017 Composewell Technologies
@@ -709,8 +707,7 @@ zipAsyncWith f = zipAsyncWithM (\a b -> return (f a b))
709707--
710708-- @since 0.6.0
711709{-# INLINE mergeBy #-}
712−mergeBy ::
713− (IsStream t, Monad m) => (a -> a -> Ordering) -> t m a -> t m a -> t m a
710+mergeBy :: IsStream t => (a -> a -> Ordering) -> t m a -> t m a -> t m a
714711mergeBy f m1 m2 = fromStream $ K.mergeBy f (toStream m1) (toStream m2)
715712
716713-- | Like 'mergeBy' but with a monadic comparison function.