CAF
0.17.3

Computes the type for f*g (actor composition). More...
#include <composed_type.hpp>
Related Functions  
(Note that these are not member functions.)  
template<class F , class G >  
using  composed_type_t = typename composed_type< G, F, F, detail::type_list<> >::type 
Convenience type alias.  
Computes the type for f*g (actor composition).
This metaprogramming function implements the following pseudocode (with f
and g
modelled as pairs where the first element is the input type and the second type is the output type).
This class implements the list comprehension above in a single shot with worst case n*m template instantiations using an inner and outer loop, where n is the size of Xs
and m the size of Ys
. Zs
is a helper that models the "inner loop variable" for generating the cross product of Xs
and Ys
. Rs
collects the results.