Chris@16
|
1 /*=============================================================================
|
Chris@16
|
2 Copyright (c) 2006 Eric Niebler
|
Chris@16
|
3
|
Chris@16
|
4 Distributed under the Boost Software License, Version 1.0. (See accompanying
|
Chris@16
|
5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
6 ==============================================================================*/
|
Chris@16
|
7 #if !defined(BOOST_FUSION_SEGMENTS_04052005_1141)
|
Chris@16
|
8 #define BOOST_FUSION_SEGMENTS_04052005_1141
|
Chris@16
|
9
|
Chris@16
|
10 #include <boost/type_traits/is_const.hpp>
|
Chris@16
|
11 #include <boost/utility/enable_if.hpp>
|
Chris@16
|
12 #include <boost/fusion/sequence/intrinsic_fwd.hpp>
|
Chris@16
|
13 #include <boost/fusion/support/tag_of.hpp>
|
Chris@16
|
14
|
Chris@16
|
15 namespace boost { namespace fusion
|
Chris@16
|
16 {
|
Chris@16
|
17 // Special tags:
|
Chris@16
|
18 struct sequence_facade_tag;
|
Chris@16
|
19 struct iterator_range_tag;
|
Chris@16
|
20
|
Chris@16
|
21 // segments: returns a sequence of sequences
|
Chris@16
|
22 namespace extension
|
Chris@16
|
23 {
|
Chris@16
|
24 template <typename Tag>
|
Chris@16
|
25 struct segments_impl
|
Chris@16
|
26 {
|
Chris@16
|
27 template <typename Sequence>
|
Chris@16
|
28 struct apply {};
|
Chris@16
|
29 };
|
Chris@16
|
30
|
Chris@16
|
31 template <>
|
Chris@16
|
32 struct segments_impl<sequence_facade_tag>
|
Chris@16
|
33 {
|
Chris@16
|
34 template <typename Sequence>
|
Chris@16
|
35 struct apply : Sequence::template segments<Sequence> {};
|
Chris@16
|
36 };
|
Chris@16
|
37
|
Chris@16
|
38 template <>
|
Chris@16
|
39 struct segments_impl<iterator_range_tag>;
|
Chris@16
|
40 }
|
Chris@16
|
41
|
Chris@16
|
42 namespace result_of
|
Chris@16
|
43 {
|
Chris@16
|
44 template <typename Sequence>
|
Chris@16
|
45 struct segments
|
Chris@16
|
46 {
|
Chris@16
|
47 typedef typename traits::tag_of<Sequence>::type tag_type;
|
Chris@16
|
48
|
Chris@16
|
49 typedef typename
|
Chris@16
|
50 extension::segments_impl<tag_type>::template apply<Sequence>::type
|
Chris@16
|
51 type;
|
Chris@16
|
52 };
|
Chris@16
|
53 }
|
Chris@16
|
54
|
Chris@16
|
55 template <typename Sequence>
|
Chris@16
|
56 inline typename
|
Chris@16
|
57 lazy_disable_if<
|
Chris@16
|
58 is_const<Sequence>
|
Chris@16
|
59 , result_of::segments<Sequence>
|
Chris@16
|
60 >::type
|
Chris@16
|
61 segments(Sequence& seq)
|
Chris@16
|
62 {
|
Chris@16
|
63 typedef typename traits::tag_of<Sequence>::type tag_type;
|
Chris@16
|
64 return extension::segments_impl<tag_type>::template apply<Sequence>::call(seq);
|
Chris@16
|
65 }
|
Chris@16
|
66
|
Chris@16
|
67 template <typename Sequence>
|
Chris@16
|
68 inline typename result_of::segments<Sequence const>::type
|
Chris@16
|
69 segments(Sequence const& seq)
|
Chris@16
|
70 {
|
Chris@16
|
71 typedef typename traits::tag_of<Sequence const>::type tag_type;
|
Chris@16
|
72 return extension::segments_impl<tag_type>::template apply<Sequence const>::call(seq);
|
Chris@16
|
73 }
|
Chris@16
|
74 }}
|
Chris@16
|
75
|
Chris@16
|
76 #endif
|