wrapper.h

#pragma once

 
#include <scl/feature/detail/wrapper.h>
#include <scl/feature/inplace/plain.h>
 
#include <type_traits>
 
namespace scl::feature::detail
{
    template <typename State, template <typename> class... Executor>
    struct wrapper_fold
    {
        using type = State;
    };
 
    template <typename State, template <typename> class Executor, template <typename> class... Rest>
    struct wrapper_fold<State, Executor, Rest...>
    {
        using type = typename wrapper_fold<::scl::feature::detail::wrapper<State, Executor>, Rest...>::type;
    };
 
    template <typename Value, template <typename> class Executor, template <typename> class... Rest>
    struct wrapper_fold<::scl::feature::detail::wrapper<Value, Executor>, Executor, Rest...>
    {
        using type = typename wrapper_fold<::scl::feature::detail::wrapper<Value, Executor>, Rest...>::type;
    };
} // namespace scl::feature::detail
 
namespace scl
{
    template <typename Value, template <typename> class... Executors>
    using wrapper = ::std::conditional_t<sizeof...(Executors) == 0,
        typename ::scl::feature::detail::wrapper_fold<Value, ::scl::feature::inplace::plain>::type,
        typename ::scl::feature::detail::wrapper_fold<Value, Executors...>::type>;
} // namespace scl
 // end of group scl_feature_wrapper