feedc0de/boost_fusion
1
0
Fork 0
forked from boostorg/fusion
Code Pull Requests Activity

documents concept preserving semantics of iterator_range (new) and zip_range (forgotten)

Browse Source 
[SVN r38005]
This commit is contained in:
Tobias Schwinger
2007-06-16 11:56:14 +00:00
parent 6605340726
commit 0e5cb04b99
2 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
doc/sequences.qbk
View File

@ -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]]

3
todo.txt
View File

@ -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<single_view<T> >
semantics - using repetitive_view will for this purpose will be way
too much overhead.