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 23*06c3fb27SDimitry Andric #if _LIBCPP_STD_VER >= 20 2481ad6265SDimitry Andric 2581ad6265SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD 2681ad6265SDimitry Andric 2781ad6265SDimitry Andric namespace chrono 2881ad6265SDimitry Andric { 2981ad6265SDimitry Andric 3081ad6265SDimitry Andric class weekday_indexed; 3181ad6265SDimitry Andric class weekday_last; 3281ad6265SDimitry Andric 3381ad6265SDimitry Andric class weekday { 3481ad6265SDimitry Andric private: 35bdd1243dSDimitry Andric unsigned char __wd_; 3681ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI static constexpr unsigned char __weekday_from_days(int __days) noexcept; 3781ad6265SDimitry Andric public: 38*06c3fb27SDimitry Andric weekday() = default; 39bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline explicit constexpr weekday(unsigned __val) noexcept : __wd_(static_cast<unsigned char>(__val == 7 ? 0 : __val)) {} 4081ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday(const sys_days& __sysd) noexcept 41bdd1243dSDimitry Andric : __wd_(__weekday_from_days(__sysd.time_since_epoch().count())) {} 4281ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline explicit constexpr weekday(const local_days& __locd) noexcept 43bdd1243dSDimitry Andric : __wd_(__weekday_from_days(__locd.time_since_epoch().count())) {} 4481ad6265SDimitry Andric 45bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday& operator++() noexcept { __wd_ = (__wd_ == 6 ? 0 : __wd_ + 1); return *this; } 4681ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator++(int) noexcept { weekday __tmp = *this; ++(*this); return __tmp; } 47bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday& operator--() noexcept { __wd_ = (__wd_ == 0 ? 6 : __wd_ - 1); return *this; } 4881ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday operator--(int) noexcept { weekday __tmp = *this; --(*this); return __tmp; } 4981ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr weekday& operator+=(const days& __dd) noexcept; 5081ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr weekday& operator-=(const days& __dd) noexcept; 51bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned c_encoding() const noexcept { return __wd_; } 52bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned iso_encoding() const noexcept { return __wd_ == 0u ? 7 : __wd_; } 53bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool ok() const noexcept { return __wd_ <= 6; } 5481ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr weekday_indexed operator[](unsigned __index) const noexcept; 5581ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr weekday_last operator[](last_spec) const noexcept; 5681ad6265SDimitry Andric }; 5781ad6265SDimitry Andric 5881ad6265SDimitry Andric 5981ad6265SDimitry Andric // https://howardhinnant.github.io/date_algorithms.html#weekday_from_days 6081ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 6181ad6265SDimitry Andric unsigned char weekday::__weekday_from_days(int __days) noexcept 6281ad6265SDimitry Andric { 6381ad6265SDimitry Andric return static_cast<unsigned char>( 6481ad6265SDimitry Andric static_cast<unsigned>(__days >= -4 ? (__days+4) % 7 : (__days+5) % 7 + 6) 6581ad6265SDimitry Andric ); 6681ad6265SDimitry Andric } 6781ad6265SDimitry Andric 6881ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 6981ad6265SDimitry Andric bool operator==(const weekday& __lhs, const weekday& __rhs) noexcept 7081ad6265SDimitry Andric { return __lhs.c_encoding() == __rhs.c_encoding(); } 7181ad6265SDimitry Andric 7281ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 7381ad6265SDimitry Andric bool operator< (const weekday& __lhs, const weekday& __rhs) noexcept 7481ad6265SDimitry Andric { return __lhs.c_encoding() < __rhs.c_encoding(); } 7581ad6265SDimitry Andric 7681ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 7781ad6265SDimitry Andric bool operator> (const weekday& __lhs, const weekday& __rhs) noexcept 7881ad6265SDimitry Andric { return __rhs < __lhs; } 7981ad6265SDimitry Andric 8081ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 8181ad6265SDimitry Andric bool operator<=(const weekday& __lhs, const weekday& __rhs) noexcept 8281ad6265SDimitry Andric { return !(__rhs < __lhs);} 8381ad6265SDimitry Andric 8481ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 8581ad6265SDimitry Andric bool operator>=(const weekday& __lhs, const weekday& __rhs) noexcept 8681ad6265SDimitry Andric { return !(__lhs < __rhs); } 8781ad6265SDimitry Andric 8881ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr 8981ad6265SDimitry Andric weekday operator+(const weekday& __lhs, const days& __rhs) noexcept 9081ad6265SDimitry Andric { 9181ad6265SDimitry Andric auto const __mu = static_cast<long long>(__lhs.c_encoding()) + __rhs.count(); 9281ad6265SDimitry Andric auto const __yr = (__mu >= 0 ? __mu : __mu - 6) / 7; 9381ad6265SDimitry Andric return weekday{static_cast<unsigned>(__mu - __yr * 7)}; 9481ad6265SDimitry Andric } 9581ad6265SDimitry Andric 9681ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr 9781ad6265SDimitry Andric weekday operator+(const days& __lhs, const weekday& __rhs) noexcept 9881ad6265SDimitry Andric { return __rhs + __lhs; } 9981ad6265SDimitry Andric 10081ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr 10181ad6265SDimitry Andric weekday operator-(const weekday& __lhs, const days& __rhs) noexcept 10281ad6265SDimitry Andric { return __lhs + -__rhs; } 10381ad6265SDimitry Andric 10481ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr 10581ad6265SDimitry Andric days operator-(const weekday& __lhs, const weekday& __rhs) noexcept 10681ad6265SDimitry Andric { 10781ad6265SDimitry Andric const int __wdu = __lhs.c_encoding() - __rhs.c_encoding(); 10881ad6265SDimitry Andric const int __wk = (__wdu >= 0 ? __wdu : __wdu-6) / 7; 10981ad6265SDimitry Andric return days{__wdu - __wk * 7}; 11081ad6265SDimitry Andric } 11181ad6265SDimitry Andric 11281ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 11381ad6265SDimitry Andric weekday& weekday::operator+=(const days& __dd) noexcept 11481ad6265SDimitry Andric { *this = *this + __dd; return *this; } 11581ad6265SDimitry Andric 11681ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 11781ad6265SDimitry Andric weekday& weekday::operator-=(const days& __dd) noexcept 11881ad6265SDimitry Andric { *this = *this - __dd; return *this; } 11981ad6265SDimitry Andric 12081ad6265SDimitry Andric class weekday_indexed { 12181ad6265SDimitry Andric private: 122bdd1243dSDimitry Andric chrono::weekday __wd_; 123bdd1243dSDimitry Andric unsigned char __idx_; 12481ad6265SDimitry Andric public: 125*06c3fb27SDimitry Andric weekday_indexed() = default; 12681ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr weekday_indexed(const chrono::weekday& __wdval, unsigned __idxval) noexcept 127bdd1243dSDimitry Andric : __wd_{__wdval}, __idx_(__idxval) {} 128bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr chrono::weekday weekday() const noexcept { return __wd_; } 129bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr unsigned index() const noexcept { return __idx_; } 130bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr bool ok() const noexcept { return __wd_.ok() && __idx_ >= 1 && __idx_ <= 5; } 13181ad6265SDimitry Andric }; 13281ad6265SDimitry Andric 13381ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 13481ad6265SDimitry Andric bool operator==(const weekday_indexed& __lhs, const weekday_indexed& __rhs) noexcept 13581ad6265SDimitry Andric { return __lhs.weekday() == __rhs.weekday() && __lhs.index() == __rhs.index(); } 13681ad6265SDimitry Andric 13781ad6265SDimitry Andric class weekday_last { 13881ad6265SDimitry Andric private: 139bdd1243dSDimitry Andric chrono::weekday __wd_; 14081ad6265SDimitry Andric public: 14181ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI explicit constexpr weekday_last(const chrono::weekday& __val) noexcept 142bdd1243dSDimitry Andric : __wd_{__val} {} 143bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr chrono::weekday weekday() const noexcept { return __wd_; } 144bdd1243dSDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr bool ok() const noexcept { return __wd_.ok(); } 14581ad6265SDimitry Andric }; 14681ad6265SDimitry Andric 14781ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 14881ad6265SDimitry Andric bool operator==(const weekday_last& __lhs, const weekday_last& __rhs) noexcept 14981ad6265SDimitry Andric { return __lhs.weekday() == __rhs.weekday(); } 15081ad6265SDimitry Andric 15181ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 15281ad6265SDimitry Andric weekday_indexed weekday::operator[](unsigned __index) const noexcept { return weekday_indexed{*this, __index}; } 15381ad6265SDimitry Andric 15481ad6265SDimitry Andric _LIBCPP_HIDE_FROM_ABI inline constexpr 15581ad6265SDimitry Andric weekday_last weekday::operator[](last_spec) const noexcept { return weekday_last{*this}; } 15681ad6265SDimitry Andric 15781ad6265SDimitry Andric 15881ad6265SDimitry Andric inline constexpr weekday Sunday{0}; 15981ad6265SDimitry Andric inline constexpr weekday Monday{1}; 16081ad6265SDimitry Andric inline constexpr weekday Tuesday{2}; 16181ad6265SDimitry Andric inline constexpr weekday Wednesday{3}; 16281ad6265SDimitry Andric inline constexpr weekday Thursday{4}; 16381ad6265SDimitry Andric inline constexpr weekday Friday{5}; 16481ad6265SDimitry Andric inline constexpr weekday Saturday{6}; 16581ad6265SDimitry Andric 16681ad6265SDimitry Andric } // namespace chrono 16781ad6265SDimitry Andric 16881ad6265SDimitry Andric _LIBCPP_END_NAMESPACE_STD 16981ad6265SDimitry Andric 170*06c3fb27SDimitry Andric #endif // _LIBCPP_STD_VER >= 20 17181ad6265SDimitry Andric 17281ad6265SDimitry Andric #endif // _LIBCPP___CHRONO_WEEKDAY_H 173