Felix's Library
This documentation is automatically generated by online-judge-tools/verification-helper
library/misc/type-traits.hpp
- View this file on GitHub
- Last update: 2023-05-28 03:49:52+08:00
- Include:
#include "library/misc/type-traits.hpp" - Link: View error logs on GitHub Actions
Required by
library/convolution/ntt.hpp
- library/convolution/subset-convolution.hpp
- library/formal-power-series/poly.hpp
- Integer Factorization (Pollard Rho 質因數分解)
(library/math/factorize.hpp)
- library/math/is-prime.hpp
- library/math/pow-mod.hpp
- library/math/primitive-root.hpp
- library/misc/fastio.hpp
- library/modint/modint.hpp
Verified with
- test/convolution/ntt/yosupo-Convolution-Large.test.cpp
- test/convolution/ntt/yosupo-Convolution-Mod-1000000007.test.cpp
- test/convolution/ntt/yosupo-Convolution.test.cpp
- test/convolution/subset-convolution/yosupo-Bitwise-And-Convolution.test.cpp
- test/convolution/subset-convolution/yosupo-Bitwise-Xor-Convolution.test.cpp
- test/convolution/subset-convolution/yosupo-Subset-Convolution.test.cpp
- test/data-structure/lazy-lct/yosupo-Dynamic-Tree-Vertex-Set-Path-Composite.test.cpp
- test/data-structure/lazy-segtree/yosupo-Range-Affine-Point-Get.test.cpp
- test/data-structure/lazy-segtree/yosupo-Range-Affine-Range-Sum.test.cpp
test/data-structure/treap/yosupo-Dynamic-Sequence-Range-Affine-Range-Sum.test.cpp
- test/formal-power-series/poly/yosupo-Exp-of-Formal-Power-Series.test.cpp
- test/formal-power-series/poly/yosupo-Inv-of-Formal-Power-Series.test.cpp
- test/formal-power-series/poly/yosupo-Log-of-Formal-Power-Series.test.cpp
- test/formal-power-series/poly/yosupo-Multipoint-Evaluation.test.cpp
- test/formal-power-series/poly/yosupo-Polynomial-Taylor-Shift.test.cpp
- test/formal-power-series/poly/yosupo-Pow-of-Formal-Power-Series.test.cpp
- test/formal-power-series/poly/yosupo-Product-of-Polynomial-Sequence.test.cpp
- test/formal-power-series/poly/yosupo-Sqrt-of-Formal-Power-Series.test.cpp
- test/formal-power-series/series/yosupo-Partition-Function.test.cpp
- test/math/factorize/aoj-ntl-Prime-Factorize.test.cpp
- test/math/factorize/yosupo-Factorize.test.cpp
- test/math/is-prime/yosupo-Primality-Test.test.cpp
- test/matrix/matrix/yosupo-Determinant-of-Matrix.test.cpp
- test/matrix/matrix/yosupo-Matrix-Product.test.cpp
- test/misc/fastio/yosupo-Many-A+B-128-bit.test.cpp
- test/modint/modint/aoj-ntl-Power.test.cpp
- test/modint/modint/yosupo-Sqrt-Mod.test.cpp
- test/tree/hld/yosupo-Vertex-Set-Path-Composite.test.cpp
Code
#pragma once
#include <cassert>
#include <numeric>
#include <type_traits>
namespace felix {
namespace internal {
#ifndef _MSC_VER
template<class T> using is_signed_int128 = typename std::conditional<std::is_same<T, __int128_t>::value || std::is_same<T, __int128>::value, std::true_type, std::false_type>::type;
template<class T> using is_unsigned_int128 = typename std::conditional<std::is_same<T, __uint128_t>::value || std::is_same<T, unsigned __int128>::value, std::true_type, std::false_type>::type;
template<class T> using make_unsigned_int128 = typename std::conditional<std::is_same<T, __int128_t>::value, __uint128_t, unsigned __int128>;
template<class T> using is_integral = typename std::conditional<std::is_integral<T>::value || is_signed_int128<T>::value || is_unsigned_int128<T>::value, std::true_type, std::false_type>::type;
template<class T> using is_signed_int = typename std::conditional<(is_integral<T>::value && std::is_signed<T>::value) || is_signed_int128<T>::value, std::true_type, std::false_type>::type;
template<class T> using is_unsigned_int = typename std::conditional<(is_integral<T>::value && std::is_unsigned<T>::value) || is_unsigned_int128<T>::value, std::true_type, std::false_type>::type;
template<class T> using to_unsigned = typename std::conditional<is_signed_int128<T>::value, make_unsigned_int128<T>, typename std::conditional<std::is_signed<T>::value, std::make_unsigned<T>, std::common_type<T>>::type>::type;
#else
template<class T> using is_integral = typename std::is_integral<T>;
template<class T> using is_signed_int = typename std::conditional<is_integral<T>::value && std::is_signed<T>::value, std::true_type, std::false_type>::type;
template<class T> using is_unsigned_int = typename std::conditional<is_integral<T>::value && std::is_unsigned<T>::value, std::true_type, std::false_type>::type;
template<class T> using to_unsigned = typename std::conditional<is_signed_int<T>::value, std::make_unsigned<T>, std::common_type<T>>::type;
#endif
template<class T> using is_signed_int_t = std::enable_if_t<is_signed_int<T>::value>;
template<class T> using is_unsigned_int_t = std::enable_if_t<is_unsigned_int<T>::value>;
template<class T> using to_unsigned_t = typename to_unsigned<T>::type;
template<class T> struct safely_multipliable {};
template<> struct safely_multipliable<short> { using type = int; };
template<> struct safely_multipliable<unsigned short> { using type = unsigned int; };
template<> struct safely_multipliable<int> { using type = long long; };
template<> struct safely_multipliable<unsigned int> { using type = unsigned long long; };
template<> struct safely_multipliable<long long> { using type = __int128; };
template<> struct safely_multipliable<unsigned long long> { using type = __uint128_t; };
template<class T> using safely_multipliable_t = typename safely_multipliable<T>::type;
} // namespace internal
} // namespace felix#line 2 "library/misc/type-traits.hpp"
#include <cassert>
#include <numeric>
#include <type_traits>
namespace felix {
namespace internal {
#ifndef _MSC_VER
template<class T> using is_signed_int128 = typename std::conditional<std::is_same<T, __int128_t>::value || std::is_same<T, __int128>::value, std::true_type, std::false_type>::type;
template<class T> using is_unsigned_int128 = typename std::conditional<std::is_same<T, __uint128_t>::value || std::is_same<T, unsigned __int128>::value, std::true_type, std::false_type>::type;
template<class T> using make_unsigned_int128 = typename std::conditional<std::is_same<T, __int128_t>::value, __uint128_t, unsigned __int128>;
template<class T> using is_integral = typename std::conditional<std::is_integral<T>::value || is_signed_int128<T>::value || is_unsigned_int128<T>::value, std::true_type, std::false_type>::type;
template<class T> using is_signed_int = typename std::conditional<(is_integral<T>::value && std::is_signed<T>::value) || is_signed_int128<T>::value, std::true_type, std::false_type>::type;
template<class T> using is_unsigned_int = typename std::conditional<(is_integral<T>::value && std::is_unsigned<T>::value) || is_unsigned_int128<T>::value, std::true_type, std::false_type>::type;
template<class T> using to_unsigned = typename std::conditional<is_signed_int128<T>::value, make_unsigned_int128<T>, typename std::conditional<std::is_signed<T>::value, std::make_unsigned<T>, std::common_type<T>>::type>::type;
#else
template<class T> using is_integral = typename std::is_integral<T>;
template<class T> using is_signed_int = typename std::conditional<is_integral<T>::value && std::is_signed<T>::value, std::true_type, std::false_type>::type;
template<class T> using is_unsigned_int = typename std::conditional<is_integral<T>::value && std::is_unsigned<T>::value, std::true_type, std::false_type>::type;
template<class T> using to_unsigned = typename std::conditional<is_signed_int<T>::value, std::make_unsigned<T>, std::common_type<T>>::type;
#endif
template<class T> using is_signed_int_t = std::enable_if_t<is_signed_int<T>::value>;
template<class T> using is_unsigned_int_t = std::enable_if_t<is_unsigned_int<T>::value>;
template<class T> using to_unsigned_t = typename to_unsigned<T>::type;
template<class T> struct safely_multipliable {};
template<> struct safely_multipliable<short> { using type = int; };
template<> struct safely_multipliable<unsigned short> { using type = unsigned int; };
template<> struct safely_multipliable<int> { using type = long long; };
template<> struct safely_multipliable<unsigned int> { using type = unsigned long long; };
template<> struct safely_multipliable<long long> { using type = __int128; };
template<> struct safely_multipliable<unsigned long long> { using type = __uint128_t; };
template<class T> using safely_multipliable_t = typename safely_multipliable<T>::type;
} // namespace internal
} // namespace felix