10 concept ConstexprParam =
requires { T::value; } && !concepts::MemberPointer<
decltype(&T::value)> &&
11 requires {
typename Constexpr<T::value>; };
14 concept DerivedFromConstexpr = concepts::DerivedFrom<T, Constexpr<T::value>>;
16 template<
typename T,
typename Self>
17 concept LhsConstexprParam = ConstexprParam<T> && (concepts::DerivedFrom<T, Self> || !DerivedFromConstexpr<T>);
35template<auto val,
typename T>
40 constexpr static auto value = val;
44 template<detail::ConstexprParam U>
50 template<auto v = val>
55 template<auto v = val>
60 template<auto v = val>
65 template<auto v = val>
70 template<auto v = val>
75 template<auto v = val>
80 template<detail::ConstexprParam... Vs,
auto v = val>
85 template<detail::ConstexprParam... Vs,
auto v = val>
90 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
95 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
100 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
105 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
110 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
115 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
120 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
125 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
130 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
135 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
140 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
145 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
150 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
155 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
160 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
165 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
170 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
175 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
180 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
185 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
190 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
195 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
200 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
205 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
210 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
215 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
220 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
225 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
230 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
235 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
240 template<detail::LhsConstexprParam<Type> U, detail::ConstexprParam V>
258 constexpr inline bool constexpr_helper =
false;
260 template<auto val,
typename T>
261 constexpr inline bool constexpr_helper<meta::Constexpr<val, T>> =
true;
278template<
typename T,
typename U>
Checks if T is a Constexpr instance with value U.
Definition constexpr.h:279
Checks if T is a Constexpr instance.
Definition constexpr.h:270
Definition any_storable.h:9
Definition any_storable.h:9