boostorg/mp11
1
0
Fork 1
mirror of https://github.com/boostorg/mp11.git synced 2025-08-13 19:14:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

made mp_is_set<S> robust when S is not a list

Browse Source
This commit is contained in:
joaquintides
2024-11-08 19:50:48 +01:00
parent 13a81c86ee
commit c2bc9788ca
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
include/boost/mp11/set.hpp
View File

@@ -109,9 +109,19 @@ struct mp_is_set_helper: Base
static mp_true contains( mp_identity<T> ); static mp_true contains( mp_identity<T> );
}; };
template<class S> struct mp_is_set_impl
{
using type = mp_false;
};
template<template<class...> class L, class... T> struct mp_is_set_impl<L<T...>>
{
using type = mp_bool<mp_fold<mp_list<T...>, detail::mp_is_set_helper_start, detail::mp_is_set_helper>::value>;
};
} // namespace detail } // namespace detail
template<class S> using mp_is_set = mp_bool<mp_fold<S, detail::mp_is_set_helper_start, detail::mp_is_set_helper>::value>; template<class S> using mp_is_set = typename detail::mp_is_set_impl<S>::type;
// mp_set_union<L...> // mp_set_union<L...>
namespace detail namespace detail