coffee/continuable
1
0
Fork 0
mirror of https://github.com/Naios/continuable.git synced 2025-12-08 01:36:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

some changes

Browse Source
This commit is contained in:
Denis Blank 2015-07-01 20:26:59 +02:00 committed by Naios
parent dad1432e93
commit 9374ef4055
2 changed files with 51 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
include/Continuable.h
View File

@ -303,6 +303,15 @@ namespace detail
typedef fu::identity<Left..., Right...> type;
};
template<typename Left, typename Right>
struct concat_identities_as_pack;
template<typename... Left, typename... Right>
struct concat_identities_as_pack<fu::identity<Left...>, fu::identity<Right...>>
{
typedef fu::identity<Left..., std::tuple<Right...>> type;
};
template<typename... _CTy>
struct multiple_chainer_test
{
@ -425,24 +434,49 @@ namespace detail
return remove_void_trait(box_continuable_trait(std::forward<_CTy>(functional)));
}
template<typename Current, typename... Rest>
template<typename Args, typename Pack, typename... Rest>
struct multiple_result_maker;
template<typename Previous, typename Next>
struct multiple_result_maker<Previous, Next>
template<typename... Args, typename... Pack>
struct multiple_result_maker<fu::identity<Args...>, fu::identity<Pack...>>
{
typedef typename concat_identities<
Previous, typename unary_chainer_t<Next, _ATy...>::callback_arguments_t
>::type arguments_t;
typedef fu::identity<Args...> arguments_t;
typedef fu::identity<Pack...> arguments_storage_t;
};
template<typename Previous, typename Next, typename... Rest>
struct multiple_result_maker<Previous, Next, Rest...>
template<typename Args, typename Pack, typename Next>
struct multiple_result_maker<Args, Pack, Next>
: public multiple_result_maker<
typename concat_identities<
Previous, typename unary_chainer_t<Next, _ATy...>::callback_arguments_t
Args,
typename unary_chainer_t<Next, _ATy...>::callback_arguments_t
>::type,
Rest...> { };
typename concat_identities_as_pack<
Pack,
// typename wrap_in_tuple<
typename unary_chainer_t<Next, _ATy...>::callback_arguments_t
// >::type
>::type
> { }
template<typename Args, typename Pack, typename Next, typename... Rest>
struct multiple_result_maker<Args, Pack, Next, Rest...>
: public multiple_result_maker<
typename concat_identities<
Args,
typename unary_chainer_t<Next, _ATy...>::callback_arguments_t
>::type,
typename concat_identities_as_pack <
Pack,
typename unary_chainer_t<Next, _ATy...>::callback_arguments_t
>::type,
Rest...
> { };
template<typename... Args>
using result_maker_of_t =
multiple_result_maker<fu::identity<>, fu::identity<>, Args...>;
};
}

10
test.cpp
View File

@ -232,20 +232,24 @@ int main(int /*argc*/, char** /*argv*/)
detail::unary_chainer_t<std::function<Continuable<bool>()>>::callback_arguments_t args213987;
detail::functional_traits<>::multiple_result_maker<
fu::identity<>,
typedef detail::result_maker_of_t<
std::function<Continuable<bool>()>,
decltype(CastSpellPromise(2)),
decltype(TrivialPromise()),
std::function<Continuable<float, double>()>
>::arguments_t test282;
> maker;
maker::arguments_t test282_args;
maker::arguments_storage_t test282_pack;
// static_assert(std::is_same<>::value,
detail::concat_identities<fu::identity<int, bool, char>, fu::identity<float, double>>::type myt;
std::tuple<int, std::vector<int>> tup;
std::cout << "ok" << std::endl;
return 0;
}