xref: /freebsd-src/contrib/llvm-project/libcxx/include/__chrono/weekday.h (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
181ad6265SDimitry Andric // -*- C++ -*-
281ad6265SDimitry Andric //===----------------------------------------------------------------------===//
381ad6265SDimitry Andric //
481ad6265SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
581ad6265SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
681ad6265SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
781ad6265SDimitry Andric //
881ad6265SDimitry Andric //===----------------------------------------------------------------------===//
981ad6265SDimitry Andric 
1081ad6265SDimitry Andric #ifndef _LIBCPP___CHRONO_WEEKDAY_H
1181ad6265SDimitry Andric #define _LIBCPP___CHRONO_WEEKDAY_H
1281ad6265SDimitry Andric 
1381ad6265SDimitry Andric #include <__chrono/calendar.h>
1481ad6265SDimitry Andric #include <__chrono/duration.h>
1581ad6265SDimitry Andric #include <__chrono/system_clock.h>
1681ad6265SDimitry Andric #include <__chrono/time_point.h>
1781ad6265SDimitry Andric #include <__config>
1881ad6265SDimitry Andric 
1981ad6265SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
2081ad6265SDimitry Andric #  pragma GCC system_header
2181ad6265SDimitry Andric #endif
2281ad6265SDimitry Andric 
2306c3fb27SDimitry Andric #if _LIBCPP_STD_VER >= 20
2481ad6265SDimitry Andric 
2581ad6265SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
2681ad6265SDimitry Andric 
27cb14a3feSDimitry Andric namespace chrono {
2881ad6265SDimitry Andric 
2981ad6265SDimitry Andric class weekday_indexed;
3081ad6265SDimitry Andric class weekday_last;
3181ad6265SDimitry Andric 
3281ad6265SDimitry Andric class weekday {
3381ad6265SDimitry Andric private:
34bdd1243dSDimitry Andric   unsigned char __wd_;
3581ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI static constexpr unsigned char __weekday_from_days(int __days) noexcept;
36cb14a3feSDimitry Andric 
3781ad6265SDimitry Andric public:
3806c3fb27SDimitry Andric   weekday() = default;
39cb14a3feSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline explicit constexpr weekday(unsigned __val) noexcept
40cb14a3feSDimitry Andric       : __wd_(static_cast<unsigned char>(__val == 7 ? 0 : __val)) {}
4181ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr weekday(const sys_days& __sysd) noexcept
42bdd1243dSDimitry Andric       : __wd_(__weekday_from_days(__sysd.time_since_epoch().count())) {}
4381ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline explicit constexpr weekday(const local_days& __locd) noexcept
44bdd1243dSDimitry Andric       : __wd_(__weekday_from_days(__locd.time_since_epoch().count())) {}
4581ad6265SDimitry Andric 
46cb14a3feSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr weekday& operator++() noexcept {
47cb14a3feSDimitry Andric     __wd_ = (__wd_ == 6 ? 0 : __wd_ + 1);
48cb14a3feSDimitry Andric     return *this;
49cb14a3feSDimitry Andric   }
50cb14a3feSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator++(int) noexcept {
51cb14a3feSDimitry Andric     weekday __tmp = *this;
52cb14a3feSDimitry Andric     ++(*this);
53cb14a3feSDimitry Andric     return __tmp;
54cb14a3feSDimitry Andric   }
55cb14a3feSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr weekday& operator--() noexcept {
56cb14a3feSDimitry Andric     __wd_ = (__wd_ == 0 ? 6 : __wd_ - 1);
57cb14a3feSDimitry Andric     return *this;
58cb14a3feSDimitry Andric   }
59cb14a3feSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator--(int) noexcept {
60cb14a3feSDimitry Andric     weekday __tmp = *this;
61cb14a3feSDimitry Andric     --(*this);
62cb14a3feSDimitry Andric     return __tmp;
63cb14a3feSDimitry Andric   }
6481ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI constexpr weekday& operator+=(const days& __dd) noexcept;
6581ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI constexpr weekday& operator-=(const days& __dd) noexcept;
66bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned c_encoding() const noexcept { return __wd_; }
67bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned iso_encoding() const noexcept { return __wd_ == 0u ? 7 : __wd_; }
68bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr bool ok() const noexcept { return __wd_ <= 6; }
6981ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI constexpr weekday_indexed operator[](unsigned __index) const noexcept;
7081ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI constexpr weekday_last operator[](last_spec) const noexcept;
7181ad6265SDimitry Andric };
7281ad6265SDimitry Andric 
7381ad6265SDimitry Andric // https://howardhinnant.github.io/date_algorithms.html#weekday_from_days
74cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned char weekday::__weekday_from_days(int __days) noexcept {
75cb14a3feSDimitry Andric   return static_cast<unsigned char>(static_cast<unsigned>(__days >= -4 ? (__days + 4) % 7 : (__days + 5) % 7 + 6));
7681ad6265SDimitry Andric }
7781ad6265SDimitry Andric 
78cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool operator==(const weekday& __lhs, const weekday& __rhs) noexcept {
79cb14a3feSDimitry Andric   return __lhs.c_encoding() == __rhs.c_encoding();
80cb14a3feSDimitry Andric }
8181ad6265SDimitry Andric 
82*0fca6ea1SDimitry Andric // TODO(LLVM 20): Remove the escape hatch
83*0fca6ea1SDimitry Andric #  ifdef _LIBCPP_ENABLE_REMOVED_WEEKDAY_RELATIONAL_OPERATORS
84cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool operator<(const weekday& __lhs, const weekday& __rhs) noexcept {
85cb14a3feSDimitry Andric   return __lhs.c_encoding() < __rhs.c_encoding();
86cb14a3feSDimitry Andric }
8781ad6265SDimitry Andric 
88cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool operator>(const weekday& __lhs, const weekday& __rhs) noexcept {
89cb14a3feSDimitry Andric   return __rhs < __lhs;
90cb14a3feSDimitry Andric }
9181ad6265SDimitry Andric 
92cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool operator<=(const weekday& __lhs, const weekday& __rhs) noexcept {
93cb14a3feSDimitry Andric   return !(__rhs < __lhs);
94cb14a3feSDimitry Andric }
9581ad6265SDimitry Andric 
96cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool operator>=(const weekday& __lhs, const weekday& __rhs) noexcept {
97cb14a3feSDimitry Andric   return !(__lhs < __rhs);
98cb14a3feSDimitry Andric }
99*0fca6ea1SDimitry Andric #  endif // _LIBCPP_ENABLE_REMOVED_WEEKDAY_RELATIONAL_OPERATORS
10081ad6265SDimitry Andric 
101cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator+(const weekday& __lhs, const days& __rhs) noexcept {
10281ad6265SDimitry Andric   auto const __mu = static_cast<long long>(__lhs.c_encoding()) + __rhs.count();
10381ad6265SDimitry Andric   auto const __yr = (__mu >= 0 ? __mu : __mu - 6) / 7;
10481ad6265SDimitry Andric   return weekday{static_cast<unsigned>(__mu - __yr * 7)};
10581ad6265SDimitry Andric }
10681ad6265SDimitry Andric 
107cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator+(const days& __lhs, const weekday& __rhs) noexcept {
108cb14a3feSDimitry Andric   return __rhs + __lhs;
109cb14a3feSDimitry Andric }
11081ad6265SDimitry Andric 
111cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator-(const weekday& __lhs, const days& __rhs) noexcept {
112cb14a3feSDimitry Andric   return __lhs + -__rhs;
113cb14a3feSDimitry Andric }
11481ad6265SDimitry Andric 
115cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr days operator-(const weekday& __lhs, const weekday& __rhs) noexcept {
11681ad6265SDimitry Andric   const int __wdu = __lhs.c_encoding() - __rhs.c_encoding();
11781ad6265SDimitry Andric   const int __wk  = (__wdu >= 0 ? __wdu : __wdu - 6) / 7;
11881ad6265SDimitry Andric   return days{__wdu - __wk * 7};
11981ad6265SDimitry Andric }
12081ad6265SDimitry Andric 
121cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday& weekday::operator+=(const days& __dd) noexcept {
122cb14a3feSDimitry Andric   *this = *this + __dd;
123cb14a3feSDimitry Andric   return *this;
124cb14a3feSDimitry Andric }
12581ad6265SDimitry Andric 
126cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday& weekday::operator-=(const days& __dd) noexcept {
127cb14a3feSDimitry Andric   *this = *this - __dd;
128cb14a3feSDimitry Andric   return *this;
129cb14a3feSDimitry Andric }
13081ad6265SDimitry Andric 
13181ad6265SDimitry Andric class weekday_indexed {
13281ad6265SDimitry Andric private:
133bdd1243dSDimitry Andric   chrono::weekday __wd_;
134bdd1243dSDimitry Andric   unsigned char __idx_;
135cb14a3feSDimitry Andric 
13681ad6265SDimitry Andric public:
13706c3fb27SDimitry Andric   weekday_indexed() = default;
13881ad6265SDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr weekday_indexed(const chrono::weekday& __wdval, unsigned __idxval) noexcept
139bdd1243dSDimitry Andric       : __wd_{__wdval}, __idx_(__idxval) {}
140bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr chrono::weekday weekday() const noexcept { return __wd_; }
141bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned index() const noexcept { return __idx_; }
142bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI inline constexpr bool ok() const noexcept { return __wd_.ok() && __idx_ >= 1 && __idx_ <= 5; }
14381ad6265SDimitry Andric };
14481ad6265SDimitry Andric 
145cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool
146cb14a3feSDimitry Andric operator==(const weekday_indexed& __lhs, const weekday_indexed& __rhs) noexcept {
147cb14a3feSDimitry Andric   return __lhs.weekday() == __rhs.weekday() && __lhs.index() == __rhs.index();
148cb14a3feSDimitry Andric }
14981ad6265SDimitry Andric 
15081ad6265SDimitry Andric class weekday_last {
15181ad6265SDimitry Andric private:
152bdd1243dSDimitry Andric   chrono::weekday __wd_;
153cb14a3feSDimitry Andric 
15481ad6265SDimitry Andric public:
155cb14a3feSDimitry Andric   _LIBCPP_HIDE_FROM_ABI explicit constexpr weekday_last(const chrono::weekday& __val) noexcept : __wd_{__val} {}
156bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI constexpr chrono::weekday weekday() const noexcept { return __wd_; }
157bdd1243dSDimitry Andric   _LIBCPP_HIDE_FROM_ABI constexpr bool ok() const noexcept { return __wd_.ok(); }
15881ad6265SDimitry Andric };
15981ad6265SDimitry Andric 
160cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool operator==(const weekday_last& __lhs, const weekday_last& __rhs) noexcept {
161cb14a3feSDimitry Andric   return __lhs.weekday() == __rhs.weekday();
162cb14a3feSDimitry Andric }
16381ad6265SDimitry Andric 
164cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday_indexed weekday::operator[](unsigned __index) const noexcept {
165cb14a3feSDimitry Andric   return weekday_indexed{*this, __index};
166cb14a3feSDimitry Andric }
16781ad6265SDimitry Andric 
168cb14a3feSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday_last weekday::operator[](last_spec) const noexcept {
169cb14a3feSDimitry Andric   return weekday_last{*this};
170cb14a3feSDimitry Andric }
17181ad6265SDimitry Andric 
17281ad6265SDimitry Andric inline constexpr weekday Sunday{0};
17381ad6265SDimitry Andric inline constexpr weekday Monday{1};
17481ad6265SDimitry Andric inline constexpr weekday Tuesday{2};
17581ad6265SDimitry Andric inline constexpr weekday Wednesday{3};
17681ad6265SDimitry Andric inline constexpr weekday Thursday{4};
17781ad6265SDimitry Andric inline constexpr weekday Friday{5};
17881ad6265SDimitry Andric inline constexpr weekday Saturday{6};
17981ad6265SDimitry Andric 
18081ad6265SDimitry Andric } // namespace chrono
18181ad6265SDimitry Andric 
18281ad6265SDimitry Andric _LIBCPP_END_NAMESPACE_STD
18381ad6265SDimitry Andric 
18406c3fb27SDimitry Andric #endif // _LIBCPP_STD_VER >= 20
18581ad6265SDimitry Andric 
18681ad6265SDimitry Andric #endif // _LIBCPP___CHRONO_WEEKDAY_H
187