Adrian Tschira 45b55e23d3 Add batch_iter to utils
There's a frequent idiom I noticed where an iterable is split up into a
number of chunks/batches. Unfortunately that method does not work with
iterators like dict.keys() in python3. This implementation works with
iterators.

Signed-off-by: Adrian Tschira <nota@notafile.com>
2018-05-19 17:48:30 +02:00
..
2018-04-28 13:41:41 +02:00
2018-05-18 11:22:12 +01:00
2018-05-18 15:51:21 +01:00
2018-05-19 17:48:30 +02:00
2018-05-17 21:35:07 +01:00