1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
|
<?xml version="1.0" encoding="utf-8"?>
<!--
Copyright 2012 Eric Niebler
Distributed under the Boost
Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
-->
<header name="boost/proto/fusion.hpp">
<para>Make any Proto expression a valid Fusion sequence </para>
<namespace name="boost">
<namespace name="proto">
<namespace name="functional">
<!-- proto::functional::flatten -->
<struct name="flatten">
<purpose>A <conceptname>PolymorphicFunctionObject</conceptname> type that returns a "flattened"
view of a Proto expression tree. </purpose>
<description>
<para>
A <conceptname>PolymorphicFunctionObject</conceptname> type that returns a "flattened" view
of a Proto expression tree. For a tree with a top-most node tag of type
<computeroutput>T</computeroutput>, the elements of the flattened sequence are determined by
recursing into each child node with the same tag type and returning those nodes of different
type. So for instance, the Proto expression tree corresponding to the expression
<computeroutput>a | b | c</computeroutput> has a flattened view with elements [a, b, c], even
though the tree is grouped as <computeroutput>((a | b) | c)</computeroutput>.
</para>
<para>
The resulting view is a Fusion Forward Sequence.
</para>
</description>
<inherit>
<type><classname>proto::callable</classname></type>
</inherit>
<struct-specialization name="result">
<template>
<template-type-parameter name="This"/>
<template-type-parameter name="Expr"/>
</template>
<specialization>
<template-arg>This(Expr)</template-arg>
</specialization>
<inherit>
<type>result< This(Expr const &) ></type>
</inherit>
</struct-specialization>
<struct-specialization name="result">
<template>
<template-type-parameter name="This"/>
<template-type-parameter name="Expr"/>
</template>
<specialization>
<template-arg>This(Expr &)</template-arg>
</specialization>
<inherit>
<type><classname>proto::result_of::flatten</classname>< Expr ></type>
</inherit>
</struct-specialization>
<method-group name="public member functions">
<method name="operator()" cv="const">
<type>typename <classname>proto::result_of::flatten</classname>< Expr >::type const</type>
<template>
<template-type-parameter name="Expr"/>
</template>
<parameter name="expr">
<paramtype>Expr &</paramtype>
</parameter>
<description>
<para>
Returns a Fusion Forward Sequence representing a flattened view of <computeroutput>expr</computeroutput>.
</para>
</description>
</method>
<method name="operator()" cv="const">
<type>typename <classname>proto::result_of::flatten</classname>< Expr const >::type const</type>
<template>
<template-type-parameter name="Expr"/>
</template>
<parameter name="expr">
<paramtype>Expr const &</paramtype>
</parameter>
<description>
<para>
Returns a Fusion Forward Sequence representing a flattened view of <computeroutput>expr</computeroutput>.
</para>
</description>
</method>
</method-group>
</struct>
</namespace>
<namespace name="result_of">
<!-- proto::result_of::flatten -->
<struct name="flatten">
<template>
<template-type-parameter name="Expr"/>
</template>
<purpose>Metafunction that computes the return type of <computeroutput>
<functionname alt="proto::flatten">proto::flatten()</functionname></computeroutput></purpose>
<typedef name="type">
<type><emphasis>unspecified</emphasis></type>
<purpose>A Fusion Forward Sequence</purpose>
</typedef>
</struct>
</namespace>
<!-- proto::flatten() -->
<overloaded-function name="flatten">
<signature>
<type>typename <classname>proto::result_of::flatten</classname>< Expr >::type const</type>
<template>
<template-type-parameter name="Expr"/>
</template>
<parameter name="expr">
<paramtype>Expr &</paramtype>
</parameter>
</signature>
<signature>
<type>typename <classname>proto::result_of::flatten</classname>< Expr const >::type const</type>
<template>
<template-type-parameter name="Expr"/>
</template>
<parameter name="expr">
<paramtype>Expr const &</paramtype>
</parameter>
</signature>
<purpose>A function that returns a "flattened" view of a Proto expression tree. </purpose>
<description>
<para>
For a tree with a top-most node tag of type <computeroutput>T</computeroutput>, the elements
of the flattened sequence are determined by recursing into each child node with the same tag
type and returning those nodes of different type. So for instance, the Proto expression tree
corresponding to the expression <computeroutput>a | b | c</computeroutput> has a flattened
view with elements [a, b, c], even though the tree is grouped as
<computeroutput>((a | b) | c)</computeroutput>.
</para>
<para>
The returned view is a Fusion Forward Sequence.
</para>
</description>
</overloaded-function>
</namespace>
</namespace>
</header>
|
