on master help sign in
update new instances in changelog
ebf2cc8Harendra Kumar
Changelog.md+7−1
@@ -2,7 +2,8 @@
2
2
3### Breaking changes
3### Breaking changes
4
4
5−* `Monad` constraint may be needed on some of the existing APIs.
5+* `Monad` constraint may be needed on some of the existing APIs (`findIndices`
6+ and `elemIndices`).
6
7
7### Enhancements
8### Enhancements
8
9
@@ -19,6 +20,11 @@
19 * Multi-stream: `eqBy`, `cmpBy`, `mergeBy`, `mergeByM`, `mergeAsyncBy`,
20 * Multi-stream: `eqBy`, `cmpBy`, `mergeBy`, `mergeByM`, `mergeAsyncBy`,
20 `mergeAsyncByM`, `isPrefixOf`, `isSubsequenceOf`, `stripPrefix`,
21 `mergeAsyncByM`, `isPrefixOf`, `isSubsequenceOf`, `stripPrefix`,
21 `concatMap`, `concatMapM`, `indexed`, `indexedR`
22 `concatMap`, `concatMapM`, `indexed`, `indexedR`
23+* Following instances were added for `SerialT m`, `WSerialT m` and
24+ `ZipSerialM m`:
25+ * When `m` ~ `Identity`: IsList, Eq, Ord, Show, Read, IsString, NFData,
26+ NFData1, Traversable
27+ * When `m` is `Foldable`: Foldable
22
28
23## 0.5.2
29## 0.5.2
24
30
src/Streamly/Streams/Prelude.hs−5
@@ -75,11 +75,6 @@ toStreamS = S.fromStreamK . toStream
75-- Conversions
75-- Conversions
76------------------------------------------------------------------------------
76------------------------------------------------------------------------------
77
77
78−-- | Run a streaming composition, discard the results. By default it interprets
79−-- the stream as 'SerialT', to run other types of streams use the type adapting
80−-- combinators for example @run . 'asyncly'@.
81−--
82−-- @since 0.6.0
83{-# INLINE_EARLY runStream #-}
78{-# INLINE_EARLY runStream #-}
84runStream :: (IsStream t, Monad m) => t m a -> m ()
79runStream :: (IsStream t, Monad m) => t m a -> m ()
85runStream m = D.runStream $ D.fromStreamK (toStream m)
80runStream m = D.runStream $ D.fromStreamK (toStream m)
src/Streamly/Streams/Serial.hs+3−6
@@ -195,6 +195,9 @@ map f = mapM (return . f)
195
195
196MONAD_APPLICATIVE_INSTANCE(SerialT,)
196MONAD_APPLICATIVE_INSTANCE(SerialT,)
197MONAD_COMMON_INSTANCES(SerialT,)
197MONAD_COMMON_INSTANCES(SerialT,)
198+LIST_INSTANCES(SerialT)
199+FOLDABLE_INSTANCE(SerialT)
200+TRAVERSABLE_INSTANCE(SerialT)
198
201
199------------------------------------------------------------------------------
202------------------------------------------------------------------------------
200-- WSerialT
203-- WSerialT
@@ -332,12 +335,6 @@ instance Monad m => Monad (WSerialT m) where
332
335
333MONAD_APPLICATIVE_INSTANCE(WSerialT,)
336MONAD_APPLICATIVE_INSTANCE(WSerialT,)
334MONAD_COMMON_INSTANCES(WSerialT,)
337MONAD_COMMON_INSTANCES(WSerialT,)
335−
336−LIST_INSTANCES(SerialT)
337LIST_INSTANCES(WSerialT)
338LIST_INSTANCES(WSerialT)
338−
339−FOLDABLE_INSTANCE(SerialT)
340FOLDABLE_INSTANCE(WSerialT)
339FOLDABLE_INSTANCE(WSerialT)
341−
342−TRAVERSABLE_INSTANCE(SerialT)
343TRAVERSABLE_INSTANCE(WSerialT)
340TRAVERSABLE_INSTANCE(WSerialT)