123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354 |
- #ifndef BOOST_MP11_DETAIL_MP_RENAME_HPP_INCLUDED
- #define BOOST_MP11_DETAIL_MP_RENAME_HPP_INCLUDED
- #include <boost/mp11/detail/mp_defer.hpp>
- #include <boost/mp11/detail/mp_value.hpp>
- #include <boost/mp11/detail/config.hpp>
- namespace boost
- {
- namespace mp11
- {
- namespace detail
- {
- template<class L, template<class...> class B> struct mp_rename_impl
- {
- };
- template<template<class...> class L, class... T, template<class...> class B> struct mp_rename_impl<L<T...>, B>: mp_defer<B, T...>
- {
- };
- #if defined(BOOST_MP11_HAS_TEMPLATE_AUTO)
- template<template<auto...> class L, auto... A, template<class...> class B> struct mp_rename_impl<L<A...>, B>: mp_defer<B, mp_value<A>...>
- {
- };
- #endif
- }
- template<class L, template<class...> class B> using mp_rename = typename detail::mp_rename_impl<L, B>::type;
- template<template<class...> class F, class L> using mp_apply = typename detail::mp_rename_impl<L, F>::type;
- template<class Q, class L> using mp_apply_q = typename detail::mp_rename_impl<L, Q::template fn>::type;
- }
- }
- #endif
|