aboutsummaryrefslogtreecommitdiffstats
path: root/src/shared/lsp/predicates.h
blob: 800a84757b4e6da7a63620c2cd7081aabbd4fad9 (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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
// Copyright (C) 2017 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0

#pragma once

#include <functional>
#include <type_traits>
#include <utility>

namespace lsp::Utils
{

//////////////////
// find helpers
//////////////////
template<typename R, typename S, typename T>
decltype(auto) equal(R (S::*function)() const, T value)
{
    // This should use std::equal_to<> instead of std::equal_to<T>,
    // but that's not supported everywhere yet, since it is C++14
    return std::bind<bool>(std::equal_to<T>(), value, std::bind(function, std::placeholders::_1));
}

template<typename R, typename S, typename T>
decltype(auto) equal(R S::*member, T value)
{
    return std::bind<bool>(std::equal_to<T>(), value, std::bind(member, std::placeholders::_1));
}

//////////////////
// comparison predicates
//////////////////
template <typename Type>
auto equalTo(Type &&value)
{
    return [value = std::forward<Type>(value)] (const auto &entry)
    {
        static_assert(std::is_same<std::decay_t<Type>,
                      std::decay_t<decltype(entry)>>::value,
                      "The container and predicate type of equalTo should be the same to prevent "
                      "unnecessary conversion.");
        return entry == value;
    };
}

template <typename Type>
auto unequalTo(Type &&value)
{
    return [value = std::forward<Type>(value)] (const auto &entry)
    {
        static_assert(std::is_same<std::decay_t<Type>,
                      std::decay_t<decltype(entry)>>::value,
                      "The container and predicate type of unequalTo should be the same to prevent "
                      "unnecessary conversion.");
        return !(entry == value);
    };
}

template <typename Type>
auto lessThan(Type &&value)
{
    return [value = std::forward<Type>(value)] (const auto &entry)
    {
        static_assert(std::is_same<std::decay_t<Type>,
                      std::decay_t<decltype(entry)>>::value,
                      "The container and predicate type of unequalTo should be the same to prevent "
                      "unnecessary conversion.");
        return entry < value;
    };
}

template <typename Type>
auto lessEqualThan(Type &&value)
{
    return [value = std::forward<Type>(value)] (const auto &entry)
    {
        static_assert(std::is_same<std::decay_t<Type>,
                      std::decay_t<decltype(entry)>>::value,
                      "The container and predicate type of lessEqualThan should be the same to "
                      "prevent unnecessary conversion.");
        return !(value < entry);
    };
}

template <typename Type>
auto greaterThan(Type &&value)
{
    return [value = std::forward<Type>(value)] (const auto &entry)
    {
        static_assert(std::is_same<std::decay_t<Type>,
                      std::decay_t<decltype(entry)>>::value,
                      "The container and predicate type of greaterThan should be the same to "
                      "prevent unnecessary conversion.");
        return value < entry;
    };
}

template <typename Type>
auto greaterEqualThan(Type &&value)
{
    return [value = std::forward<Type>(value)] (const auto &entry)
    {
        static_assert(std::is_same<std::decay_t<Type>,
                      std::decay_t<decltype(entry)>>::value,
                      "The container and predicate type of greaterEqualThan should be the same to "
                      "prevent unnecessary conversion.");
        return !(entry < value);
    };
}
} // namespace Utils