From 0e5cb04b99f2e2a988b0970601786eea0f07f820 Mon Sep 17 00:00:00 2001 From: Tobias Schwinger Date: Sat, 16 Jun 2007 11:56:14 +0000 Subject: [PATCH] documents concept preserving semantics of iterator_range (new) and zip_range (forgotten) [SVN r38005] --- doc/sequences.qbk | 15 +++++++++++---- todo.txt | 3 --- 2 files changed, 11 insertions(+), 7 deletions(-) diff --git a/doc/sequences.qbk b/doc/sequences.qbk index 2c553f7c..b8dea5a4 100644 --- a/doc/sequences.qbk +++ b/doc/sequences.qbk @@ -117,6 +117,7 @@ For any Forward Sequence s the following invariants always hold: * __joint_view__ * __transform_view__ * __reverse_view__ +* __zip_view__ [endsect] @@ -179,9 +180,10 @@ are not defined in __forward_sequence__. * __std_pair__ * __boost_array__ * __vector__ +* __reverse_view__ * __iterator_range__ (where adapted sequence is a Bidirectional Sequence) * __transform_view__ (where adapted sequence is a Bidirectional Sequence) -* __reverse_view__ +* __zip_view__ (where adapted sequences are models Bidirectional Sequence) [endsect] @@ -253,9 +255,10 @@ are not defined in __bidirectional_sequence__. * __std_pair__ * __boost_array__ * __vector__ +* __reverse_view__ * __iterator_range__ (where adapted sequence is a Random Access Sequence) * __transform_view__ (where adapted sequence is a Random Access Sequence) -* __reverse_view__ +* __zip_view__ (where adapted sequences are models Random Access Sequence) [endsect] @@ -924,7 +927,9 @@ by a pair of iterators. [heading Model of] -* __forward_sequence__ +* __forward_sequence__, __bidirectional_sequence__ or +__random_access_sequence__ depending on the traversal characteristics (see +__traversal_concept__) of its underlying sequence. [variablelist Notation [[`IR`] [An `iterator_range` type]] @@ -1047,7 +1052,9 @@ is constructed from a __sequence__ of references to the component __sequence__s. [heading Model of] -* __forward_sequence__ +* __forward_sequence__, __bidirectional_sequence__ or +__random_access_sequence__ depending on the traversal characteristics (see +__traversal_concept__) of its underlying sequence. [variablelist Notation [[`ZV`] [A `joint_view` type]] diff --git a/todo.txt b/todo.txt index deab678a..c1e0df08 100644 --- a/todo.txt +++ b/todo.txt @@ -84,9 +84,6 @@ tosh: orthogonal so there can be infinite Bidi/RA/Assoc Sequences. OTOH it complicates things in way that might not be worth it... -* Document new Concept-preserving semantics of iterator_range -* Document forgotten Concept preserving semantics of zip_view - * Implement always_view/always with repetitive_view > semantics - using repetitive_view will for this purpose will be way too much overhead.