libcaf
0.16.0

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 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. The helper function propagate_stream is integrated into the loop with four cases for the matching case. Rs collects the results.