aboutsummaryrefslogtreecommitdiff
path: root/libk/type_traits.h
blob: dc70339548c5ceb2210ad068240872047904ae84 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#pragma once

template <class T, T v>
struct integral_constant {
  constexpr T operator()() const { return v; }
  constexpr operator T() const { return v; }
};

template <class T, class U>
struct is_same : integral_constant<bool, false> {};

template <class T>
struct is_same<T, T> : integral_constant<bool, true> {};

template <typename T>
struct is_unsigned : integral_constant<bool, (T{0} < static_cast<T>(-1))> {};