blob: 84a64d08db911dea3f567ebe357c155e0db75bff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
#pragma once
#include "compat/linkage-macros.hpp"
#include "compat/macros.hpp"
#include "compat/meta.hpp"
#include <type_traits>
namespace mixins::traits_detail {
using namespace meta;
template<typename... xs>
using tuple = meta::detail::tuple<xs...>;
template<typename t>
struct mixin_traits {
//using depends = tuple<>;
};
template<typename klass, typename...> struct check_depends_;
template<typename klass>
struct check_depends_<klass>
{
using type = std::bool_constant<true>;
};
template<typename klass, typename x, typename... xs>
struct check_depends_<klass, x, xs...>
{
using b1 = std::is_base_of<x, klass>;
using b2 = typename check_depends_<klass, xs...>::type;
using depends = typename mixin_traits<x>::depends;
using t1 = cons<klass, depends>;
using t2 = lift<check_depends_, t1>;
using b3 = typename t2::type;
using type = std::bool_constant<b1::value && b2::value && b3::value>;
};
template<typename t>
class impl
{
using t1 = typename lift<check_depends_, cons<t, typename mixin_traits<t>::depends>>::type;
static_assert(t1::value);
};
} // ns mixins::traits_detail
|
