git.iko.soy/streamly
on master help sign in
Remove redundant MonadIO constraint on some array APIs
f82faecHarendra Kumar
core/src/Streamly/Internal/Data/Array/Foreign.hs+2−2
compare with master
unifiedsplit
@@ -570,12 +570,12 @@ asCStringUnsafe arr act = do
570--
570--
571-- /Pre-release/
571-- /Pre-release/
572{-# INLINE fold #-}
572{-# 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
574fold f arr = P.fold f (getSerialT (A.toStream arr))
574fold f arr = P.fold f (getSerialT (A.toStream arr))
575
575
576-- | Fold an array using a stream fold operation.
576-- | Fold an array using a stream fold operation.
577--
577--
578-- /Pre-release/
578-- /Pre-release/
579{-# INLINE streamFold #-}
579{-# 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
581streamFold f arr = f (A.toStream arr)
581streamFold f arr = f (A.toStream arr)