@@ -1008,23 +1008,6 @@ concatSmapMWith
10081008concatSmapMWith combine f initial =
10091009 IsStream.concatMapWith combine id . smapM f initial
10101010
1011−-- Keep concating either streams as long as rights are generated, stop as soon
1012−-- as a left is generated and concat the left stream.
1013−--
1014−-- See also: 'handle'
1015−--
1016−-- /Unimplemented/
1017−--
1018−{-
1019−concatMapEitherWith
1020− :: -- (IsStream t, MonadAsync m) =>
1021− (forall x. t m x -> t m x -> t m x)
1022− -> (a -> t m (Either (t m b) b))
1023− -> t m a
1024− -> t m b
1025−concatMapEitherWith = undefined
1026−-}
1027−
10281011-- XXX Implement a StreamD version for fusion.
10291012--
10301013-- | Combine streams in pairs using a binary stream combinator, then combine
@@ -1141,9 +1124,26 @@ iterateSmapMWith combine f initial stream =
11411124 (fromEffect $ f b a)
11421125
11431126------------------------------------------------------------------------------
1144−-- iterateMap - Either streams
1127+-- Either streams
11451128------------------------------------------------------------------------------
11461129
1130+-- Keep concating either streams as long as rights are generated, stop as soon
1131+-- as a left is generated and concat the left stream.
1132+--
1133+-- See also: 'handle'
1134+--
1135+-- /Unimplemented/
1136+--
1137+{-
1138+concatMapEitherWith
1139+ :: -- (IsStream t, MonadAsync m) =>
1140+ (forall x. t m x -> t m x -> t m x)
1141+ -> (a -> t m (Either (t m b) b))
1142+ -> t m a
1143+ -> t m b
1144+concatMapEitherWith = undefined
1145+-}
1146+
11471147-- | In an 'Either' stream iterate on 'Left's. This is a special case of
11481148-- 'iterateMapWith':
11491149--