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
|
// Copyright 2015, Tobias Hermann and the FunctionalPlus contributors.
// https://github.com/Dobiasd/FunctionalPlus
// 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)
#pragma once
#include <fplus/internal/function_traits_asserts.hpp>
namespace fplus
{
namespace internal
{
struct nullary_function_tag
{
};
struct unary_function_tag
{
};
struct binary_function_tag
{
};
struct binary_predicate_tag
{
};
struct check_arity_tag
{
};
template <typename F>
struct function_traits_asserts<nullary_function_tag, F>
{
static_assert(utils::function_traits<F>::arity == 0,
"Function must take no parameters.");
};
template <typename F, typename X>
struct function_traits_asserts<unary_function_tag, F, X>
{
static_assert(utils::function_traits<F>::arity == 1,
"Function must take one parameter.");
typedef typename utils::function_traits<F>::template arg<0>::type FIn0;
static_assert(std::is_convertible<X, FIn0>::value,
"Invalid argument type for function");
};
template <typename F>
struct function_traits_asserts<binary_function_tag, F>
{
static_assert(utils::function_traits<F>::arity == 2,
"Function must take two parameters.");
};
template <typename F, typename X, typename Y>
struct function_traits_asserts<binary_function_tag, F, X ,Y>
{
static_assert(utils::function_traits<F>::arity == 2,
"Function must take two parameters.");
typedef typename utils::function_traits<F>::template arg<0>::type FIn0;
static_assert(std::is_convertible<X, FIn0>::value,
"Invalid first argument type for function");
typedef typename utils::function_traits<F>::template arg<1>::type FIn1;
static_assert(std::is_convertible<Y, FIn1>::value,
"Invalid second argument type for function");
};
template <typename F>
struct function_traits_asserts<binary_predicate_tag, F>
{
static_assert(utils::function_traits<F>::arity == 2,
"Function must take two parameters.");
typedef typename utils::function_traits<F>::template arg<0>::type FIn0;
typedef typename utils::function_traits<F>::template arg<1>::type FIn1;
static_assert(std::is_same<FIn0, FIn1>::value,
"Both parameters must have the same type.");
static_assert(std::is_same<std::decay_t<internal::invoke_result_t<F, FIn0, FIn1>>, bool>::value,
"Predicate must return bool.");
};
template <typename F, typename... Args>
struct function_traits_asserts<check_arity_tag, F, Args...>
{
static_assert(utils::function_traits<F>::arity == sizeof...(Args),
"Wrong arity.");
};
}
}
|
