@@ -193,6 +193,11 @@ unfoldrM size start = drainGeneration (UF.unfoldrM step) start
193193fromList :: Monad m => Int -> Int -> m ()
194194fromList size start = drainGeneration UF.fromList [start .. start + size]
195195
196+{-# INLINE fromListM #-}
197+fromListM :: Monad m => Int -> Int -> m ()
198+fromListM size start =
199+ drainGeneration UF.fromListM (Prelude.map return [start .. start + size])
200+
196201{-# INLINE _fromSVar #-}
197202_fromSVar :: Int -> Int -> m ()
198203_fromSVar = undefined
@@ -201,11 +206,6 @@ _fromSVar = undefined
201206_fromProducer :: Int -> Int -> m ()
202207_fromProducer = undefined
203208
204−{-# INLINE fromListM #-}
205−fromListM :: Monad m => Int -> Int -> m ()
206−fromListM size start =
207− drainGeneration UF.fromListM (Prelude.map return [start .. start + size])
208−
209209{-# INLINE replicateM #-}
210210replicateM :: Monad m => Int -> Int -> m ()
211211replicateM size start = drainGeneration (UF.replicateM size) (return start)
@@ -277,6 +277,14 @@ mapMWithInput size start =
277277 (UF.mapMWithInput (\a b -> return $ a + b))
278278 start
279279
280+{-# INLINE takeWhileM #-}
281+takeWhileM :: Monad m => Int -> Int -> m ()
282+takeWhileM size start =
283+ drainTransformationDefault
284+ size
285+ (UF.takeWhileM (\b -> return (b <= size + start)))
286+ start
287+
280288{-# INLINE takeWhile #-}
281289takeWhile :: Monad m => Int -> Int -> m ()
282290takeWhile size start =
@@ -285,6 +293,10 @@ takeWhile size start =
285293 (UF.takeWhile (\b -> b <= size + start))
286294 start
287295
296+{-# INLINE take #-}
297+take :: Monad m => Int -> Int -> m ()
298+take size start = drainTransformationDefault size (UF.take size) start
299+
288300{-# INLINE filter #-}
289301filter :: Monad m => Int -> Int -> m ()
290302filter size start =
@@ -295,28 +307,6 @@ filterM :: Monad m => Int -> Int -> m ()
295307filterM size start =
296308 drainTransformationDefault size (UF.filterM (\_ -> (return True))) start
297309
298−{-# INLINE dropWhileTrue #-}
299−dropWhileTrue :: Monad m => Int -> Int -> m ()
300−dropWhileTrue size start =
301− drainTransformationDefault size (UF.dropWhileM (\_ -> return True)) start
302−
303−{-# INLINE dropWhileFalse #-}
304−dropWhileFalse :: Monad m => Int -> Int -> m ()
305−dropWhileFalse size start =
306− drainTransformationDefault size (UF.dropWhileM (\_ -> return False)) start
307−
308−{-# INLINE take #-}
309−take :: Monad m => Int -> Int -> m ()
310−take size start = drainTransformationDefault size (UF.take size) start
311−
312−{-# INLINE takeWhileM #-}
313−takeWhileM :: Monad m => Int -> Int -> m ()
314−takeWhileM size start =
315− drainTransformationDefault
316− size
317− (UF.takeWhileM (\b -> return (b <= size + start)))
318− start
319−
320310{-# INLINE _dropOne #-}
321311_dropOne :: Monad m => Int -> Int -> m ()
322312_dropOne size start =
@@ -327,6 +317,16 @@ dropAll :: Monad m => Int -> Int -> m ()
327317dropAll size start =
328318 drainTransformationDefault size (UF.drop (size + 1)) start
329319
320+{-# INLINE dropWhileTrue #-}
321+dropWhileTrue :: Monad m => Int -> Int -> m ()
322+dropWhileTrue size start =
323+ drainTransformationDefault size (UF.dropWhileM (\_ -> return True)) start
324+
325+{-# INLINE dropWhileFalse #-}
326+dropWhileFalse :: Monad m => Int -> Int -> m ()
327+dropWhileFalse size start =
328+ drainTransformationDefault size (UF.dropWhileM (\_ -> return False)) start
329+
330330{-# INLINE dropWhileMTrue #-}
331331dropWhileMTrue :: Monad m => Int -> Int -> m ()
332332dropWhileMTrue size start =