on master help sign in
Remove redundant MonadIO constraint on some array APIs
commitf82faecee36dedc6e111b7c727bd26bc62092b58 authorHarendra Kumar <harendra@composewell.com> dateSun 5 Jun 2022, 23:38 (4 years ago) parent348a4e1
1 file changed+2−2
core/src/Streamly/Internal/Data/Array/Foreign.hs+2−2
core/src/Streamly/Internal/Data/Array/Foreign.hs+2−2
@@ -570,12 +570,12 @@ asCStringUnsafe arr act = do
570570--
571571-- /Pre-release/
572572{-# INLINE fold #-}
573−fold :: forall m a b. (MonadIO m, Storable a) => Fold m a b -> Array a -> m b
573+fold :: forall m a b. (Monad m, Storable a) => Fold m a b -> Array a -> m b
574574fold f arr = P.fold f (getSerialT (A.toStream arr))
575575
576576-- | Fold an array using a stream fold operation.
577577--
578578-- /Pre-release/
579579{-# INLINE streamFold #-}
580−streamFold :: (MonadIO m, Storable a) => (SerialT m a -> m b) -> Array a -> m b
580+streamFold :: (Monad m, Storable a) => (SerialT m a -> m b) -> Array a -> m b
581581streamFold f arr = f (A.toStream arr)