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