xref: /freebsd-src/contrib/llvm-project/libcxx/include/__chrono/weekday.h (revision 06c3fb2749bda94cb5201f81ffdb8fa6c3161b2e)
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