123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233 |
- #pragma once
- /*
- * Copyright 2018-present Facebook, Inc.
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- #include <functional>
- #include <type_traits>
- #include <folly/experimental/pushmi/detail/functional.h>
- #define PUSHMI_NOEXCEPT_AUTO(...) \
- noexcept(noexcept(static_cast<decltype((__VA_ARGS__))>(__VA_ARGS__)))\
- /**/
- #define PUSHMI_NOEXCEPT_RETURN(...) \
- PUSHMI_NOEXCEPT_AUTO(__VA_ARGS__) {\
- return (__VA_ARGS__);\
- }\
- /**/
- namespace pushmi {
- #if __cpp_fold_expressions >= 201603
- template <bool... Bs>
- PUSHMI_INLINE_VAR constexpr bool and_v = (Bs && ...);
- template <bool... Bs>
- PUSHMI_INLINE_VAR constexpr bool or_v = (Bs || ...);
- template <int... Is>
- PUSHMI_INLINE_VAR constexpr int sum_v = (Is + ...);
- #else
- namespace detail {
- template <bool...>
- struct bools;
- template <std::size_t N>
- constexpr int sum_impl(int const (&rgi)[N], int i = 0, int state = 0) noexcept {
- return i == N ? state : sum_impl(rgi, i + 1, state + rgi[i]);
- }
- template <int... Is>
- constexpr int sum_impl() noexcept {
- using RGI = int[sizeof...(Is)];
- return sum_impl(RGI{Is...});
- }
- } // namespace detail
- template <bool... Bs>
- PUSHMI_INLINE_VAR constexpr bool and_v =
- PUSHMI_PP_IS_SAME(detail::bools<Bs..., true>, detail::bools<true, Bs...>);
- template <bool... Bs>
- PUSHMI_INLINE_VAR constexpr bool or_v = !PUSHMI_PP_IS_SAME(
- detail::bools<Bs..., false>,
- detail::bools<false, Bs...>);
- template <int... Is>
- PUSHMI_INLINE_VAR constexpr int sum_v = detail::sum_impl<Is...>();
- #endif
- template <class...>
- struct typelist;
- template <class...>
- using void_t = void;
- template <class T>
- using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;
- PUSHMI_CONCEPT_DEF(
- template(class... Args)
- (concept True)(Args...),
- true
- );
- PUSHMI_CONCEPT_DEF(
- template(class T, template<class...> class C)
- (concept Valid)(T, C),
- True< C<T> >
- );
- PUSHMI_CONCEPT_DEF(
- template (class T, template<class...> class Trait, class... Args)
- (concept Satisfies)(T, Trait, Args...),
- static_cast<bool>(Trait<T>::type::value)
- );
- PUSHMI_CONCEPT_DEF(
- template (class T, class U)
- concept Same,
- PUSHMI_PP_IS_SAME(T, U) && PUSHMI_PP_IS_SAME(U, T)
- );
- PUSHMI_CONCEPT_DEF(
- template (bool...Bs)
- (concept And)(Bs...),
- and_v<Bs...>
- );
- PUSHMI_CONCEPT_DEF(
- template (bool...Bs)
- (concept Or)(Bs...),
- or_v<Bs...>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept Object,
- requires (T* p) (
- *p,
- implicitly_convertible_to<const volatile void*>(p)
- )
- );
- PUSHMI_CONCEPT_DEF(
- template (class T, class... Args)
- (concept Constructible)(T, Args...),
- PUSHMI_PP_IS_CONSTRUCTIBLE(T, Args...)
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept MoveConstructible,
- Constructible<T, T>
- );
- PUSHMI_CONCEPT_DEF(
- template (class From, class To)
- concept ConvertibleTo,
- requires (From (&f)()) (
- static_cast<To>(f())
- ) && std::is_convertible<From, To>::value
- );
- PUSHMI_CONCEPT_DEF(
- template (class A, class B)
- concept DerivedFrom,
- __is_base_of(B, A)
- );
- PUSHMI_CONCEPT_DEF(
- template (class A)
- concept Decayed,
- Same<A, std::decay_t<A>>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T, class U)
- concept Assignable,
- requires(T t, U&& u) (
- t = (U &&) u,
- requires_<Same<decltype(t = (U &&) u), T>>
- ) && Same<T, T&>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept EqualityComparable,
- requires(remove_cvref_t<T> const & t) (
- implicitly_convertible_to<bool>( t == t ),
- implicitly_convertible_to<bool>( t != t )
- )
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept SemiMovable,
- Object<T> && Constructible<T, T> && ConvertibleTo<T, T>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept Movable,
- SemiMovable<T> && Assignable<T&, T>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept Copyable,
- Movable<T> &&
- Assignable<T&, const T&> &&
- ConvertibleTo<const T&, T>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept Semiregular,
- Copyable<T> && Constructible<T>
- );
- PUSHMI_CONCEPT_DEF(
- template (class T)
- concept Regular,
- Semiregular<T> && EqualityComparable<T>
- );
- namespace detail {
- // is_ taken from meta library
- template <typename, template <typename...> class>
- struct is_ : std::false_type {};
- template <typename... Ts, template <typename...> class C>
- struct is_<C<Ts...>, C> : std::true_type {};
- template <typename T, template <typename...> class C>
- constexpr bool is_v = is_<T, C>::value;
- template <bool B, class T = void>
- using requires_ = std::enable_if_t<B, T>;
- PUSHMI_INLINE_VAR constexpr struct as_const_fn {
- template <class T>
- constexpr const T& operator()(T& t) const noexcept {
- return t;
- }
- } const as_const{};
- } // namespace detail
- } // namespace pushmi
|