rust/src/libstd/iterator.rs, branch beta https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=beta 2013-09-09T07:21:46+00:00 rename `std::iterator` to `std::iter` 2013-09-09T07:21:46+00:00 Daniel Micay danielmicay@gmail.com 2013-09-08T15:01:16+00:00 urn:sha1:6919cf5fe14701621437fcb57f3a0c38fb394c65 The trait will keep the `Iterator` naming, but a more concise module name makes using the free functions less verbose. The module will define iterables in addition to iterators, as it deals with iteration in general. std: Rename Unfoldr to Unfold. 2013-09-08T00:52:19+00:00 Huon Wilson dbau.pp+github@gmail.com 2013-09-08T00:52:19+00:00 urn:sha1:4c2b480aae2abb87e617076ee3f672f5c851d7d0 The `r` is not relevant, since there is only one direction of folding (unlike Haskell). auto merge of #8884 : blake2-ppc/rust/exact-size-hint, r=huonw 2013-09-03T13:56:05+00:00 bors bors@rust-lang.org 2013-09-03T13:56:05+00:00 urn:sha1:1ac8e8885bb1917f71ce432dcf181253b47f0bca The message of the first commit explains (edited for changed trait name): The trait `ExactSize` is introduced to solve a few small niggles: * We can't reverse (`.invert()`) an enumeration iterator * for a vector, we have `v.iter().position(f)` but `v.rposition(f)`. * We can't reverse `Zip` even if both iterators are from vectors `ExactSize` is an empty trait that is intended to indicate that an iterator, for example `VecIterator`, knows its exact finite size and reports it correctly using `.size_hint()`. Only adaptors that preserve this at all times, can expose this trait further. (Where here we say finite for fitting in uint). --- It may seem complicated just to solve these small "niggles", (It's really the reversible enumerate case that's the most interesting) but only a few core iterators need to implement this trait. While we gain more capabilities generically for some iterators, it becomes a tad more complicated to figure out if a type has the right trait impls for it. std::iterator: Use ExactSize, inheriting DoubleEndedIterator 2013-09-01T16:17:26+00:00 blake2-ppc blake2-ppc 2013-09-01T14:46:12+00:00 urn:sha1:35040dfccc6674e8eda71b34a8cd1b4cc1b45842 Address discussion with acrichto; inherit DoubleEndedIterator so that `.rposition()` can be a default method, and that the nische of the trait is clear. Use assertions when using `.size_hint()` in reverse enumerate and `.rposition()` std::iterator: Add back .rposition() test 2013-09-01T16:17:19+00:00 blake2-ppc blake2-ppc 2013-09-01T14:43:47+00:00 urn:sha1:04845f0aebd6928bb924147fd93de8dac13ff850 std: Implement .rposition() on double-ended iterators with known size 2013-08-30T18:06:26+00:00 blake2-ppc blake2-ppc 2013-08-30T18:00:14+00:00 urn:sha1:db22f2627d625ba9481a16e44f1cc3195e8d6ef7 This is a generalization of the vector .rposition() method, to all double-ended iterators that have the ExactSizeHint trait. This resolves the slight asymmetry around `position` and `rposition` * position from front is `vec.iter().position()` * position from the back was, `vec.rposition()` is now `vec.iter().rposition()` Additionally, other indexed sequences (only `extra::ringbuf` I think), will have the same method available once it implements ExactSizeHint. std::iterator: Add tests for .next_back() on Zip and Enumerate 2013-08-30T18:06:26+00:00 blake2-ppc blake2-ppc 2013-08-30T18:00:11+00:00 urn:sha1:e7955b2a7d880ecf2de30e5bc3a452bea0db4fd4 std::iterator: Implement .next_back() for Zip 2013-08-30T18:06:26+00:00 blake2-ppc blake2-ppc 2013-08-30T18:00:07+00:00 urn:sha1:ed607dd24aa1e041e4077b356e6bfa88c56b7fcf Let Zip be double-ended when both its children have the ExactSizeHint trait. std::iterator: Introduce trait ExactSizeHint 2013-08-30T18:03:40+00:00 blake2-ppc blake2-ppc 2013-08-30T17:59:49+00:00 urn:sha1:4b2cc22031d56a4846bc0ad4e65e19892db734c4 The trait `ExactSizeHint` is introduced to solve a few small niggles: * We can't reverse (`.invert()`) an enumeration iterator * for a vector, we have `v.iter().position(f)` but `v.rposition(f)`. * We can't reverse `Zip` even if both iterators are from vectors `ExactSizeHint` is an empty trait that is intended to indicate that an iterator, for example `VecIterator`, knows its exact finite size and reports it correctly using `.size_hint()`. Only adaptors that preserve this at all times, can expose this trait further. (Where here we say finite for fitting in uint). Make Zip iterator short-circuit 2013-08-30T05:49:26+00:00 Kevin Ballard kevin@sb.org 2013-08-03T22:41:29+00:00 urn:sha1:a3d18bc95b1639cf3cb967165f7104e2c79893f5 Python's zip() short-circuits by not even querying its right-hand iterator if the left-hand one is done. Match that behavior here by not calling .next() on the right iterator if the left one returns None.