%PDF- %PDF-
Direktori : /backups/router/usr/local/include/boost/mp11/detail/ |
Current File : //backups/router/usr/local/include/boost/mp11/detail/mp_rename.hpp |
#ifndef BOOST_MP11_DETAIL_MP_RENAME_HPP_INCLUDED #define BOOST_MP11_DETAIL_MP_RENAME_HPP_INCLUDED // Copyright 2015-2023 Peter Dimov. // // Distributed under the Boost Software License, Version 1.0. // // See accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt #include <boost/mp11/detail/mp_defer.hpp> #include <boost/mp11/detail/mp_value.hpp> #include <boost/mp11/detail/config.hpp> namespace boost { namespace mp11 { // mp_rename<L, B> namespace detail { template<class L, template<class...> class B> struct mp_rename_impl { // An error "no type named 'type'" here means that the first argument to mp_rename is not a list }; 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 } // namespace detail template<class L, template<class...> class B> using mp_rename = typename detail::mp_rename_impl<L, B>::type; // mp_apply<F, L> template<template<class...> class F, class L> using mp_apply = typename detail::mp_rename_impl<L, F>::type; // mp_apply_q<Q, L> template<class Q, class L> using mp_apply_q = typename detail::mp_rename_impl<L, Q::template fn>::type; } // namespace mp11 } // namespace boost #endif // #ifndef BOOST_MP11_DETAIL_MP_RENAME_HPP_INCLUDED