BlackMATov/meta.hpp
1
0
Fork 0
mirror of https://github.com/BlackMATov/meta.hpp.git synced 2025-12-15 03:45:30 +07:00
Code Issues Packages Projects Releases Wiki Activity

cleanup uresult api

Browse Source
This commit is contained in:
BlackMATov
2024-02-07 04:37:24 +07:00
parent ed7ddcef7b
commit e638fb2cfa
3 changed files with 78 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

80
develop/singles/headers/meta.hpp/meta_all.hpp
View File

@@ -3557,9 +3557,9 @@ namespace meta_hpp
~uerror() = default;
uerror(uerror&&) = default;
uerror(const uerror&) = default;
uerror& operator=(uerror&&) = default;
uerror(const uerror&) = default;
uerror& operator=(const uerror&) = default;
explicit uerror(error_code error) noexcept;
@@ -3608,9 +3608,9 @@ namespace meta_hpp
~uresult() = default;
uresult(uresult&&) = default;
uresult(const uresult&) = delete;
uresult& operator=(uresult&&) = default;
uresult(const uresult&) = delete;
uresult& operator=(const uresult&) = delete;
explicit(false) uresult(uerror error) noexcept;
@@ -3619,38 +3619,36 @@ namespace meta_hpp
uresult& operator=(uerror error) noexcept;
uresult& operator=(uvalue value) noexcept;
template < //
typename T, //
typename Tp = std::decay_t<T>, //
typename = std::enable_if_t< //
!uvalue_family<Tp> && //
!detail::is_in_place_type_v<Tp> && //
std::is_constructible_v<Tp, T>>> //
template < //
typename T, //
typename = std::enable_if_t< //
!uvalue_family<std::decay_t<T>> && //
!detail::is_in_place_type_v<std::decay_t<T>> && //
std::is_constructible_v<std::decay_t<T>, T>>> //
uresult(T&& val);
template < //
typename T, //
typename Tp = std::decay_t<T>, //
typename = std::enable_if_t< //
!uvalue_family<Tp> && //
std::is_constructible_v<Tp, T>>> //
template < //
typename T, //
typename = std::enable_if_t< //
!uvalue_family<std::decay_t<T>> && //
std::is_constructible_v<std::decay_t<T>, T>>> //
uresult& operator=(T&& val);
template < typename T, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, Args...> //
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...>
explicit uresult(std::in_place_type_t<T>, Args&&... args);
template < typename T, typename U, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...>
explicit uresult(std::in_place_type_t<T>, std::initializer_list<U> ilist, Args&&... args);
template < typename T, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, Args...> //
Tp& emplace(Args&&... args);
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...>
std::decay_t<T>& emplace(Args&&... args);
template < typename T, typename U, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
Tp& emplace(std::initializer_list<U> ilist, Args&&... args);
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...>
std::decay_t<T>& emplace(std::initializer_list<U> ilist, Args&&... args);
[[nodiscard]] bool has_error() const noexcept;
[[nodiscard]] bool has_value() const noexcept;
@@ -10812,39 +10810,39 @@ namespace meta_hpp
return *this;
}
template < typename T, typename Tp, typename >
template < typename T, typename >
uresult::uresult(T&& val)
: value_{std::forward<T>(val)} {}
template < typename T, typename Tp, typename >
template < typename T, typename >
uresult& uresult::operator=(T&& val) {
value_ = std::forward<T>(val);
error_ = error_code::no_error;
return *this;
}
template < typename T, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, Args...> //
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...> //
uresult::uresult(std::in_place_type_t<T>, Args&&... args)
: value_{std::in_place_type<T>, std::forward<Args>(args)...} {}
template < typename T, typename U, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...> //
uresult::uresult(std::in_place_type_t<T>, std::initializer_list<U> ilist, Args&&... args)
: value_{std::in_place_type<T>, ilist, std::forward<Args>(args)...} {}
template < typename T, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, Args...> //
Tp& uresult::emplace(Args&&... args) {
Tp& val{value_.emplace<Tp>(std::forward<Args>(args)...)};
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...> //
std::decay_t<T>& uresult::emplace(Args&&... args) {
std::decay_t<T>& val{value_.emplace<std::decay_t<T>>(std::forward<Args>(args)...)};
error_ = error_code::no_error;
return val;
}
template < typename T, typename U, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
Tp& uresult::emplace(std::initializer_list<U> ilist, Args&&... args) {
Tp& val{value_.emplace<Tp>(ilist, std::forward<Args>(args)...)};
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...> //
std::decay_t<T>& uresult::emplace(std::initializer_list<U> ilist, Args&&... args) {
std::decay_t<T>& val{value_.emplace<std::decay_t<T>>(ilist, std::forward<Args>(args)...)};
error_ = error_code::no_error;
return val;
}

52
headers/meta.hpp/meta_uresult.hpp
View File

@@ -17,9 +17,9 @@ namespace meta_hpp
~uerror() = default;
uerror(uerror&&) = default;
uerror(const uerror&) = default;
uerror& operator=(uerror&&) = default;
uerror(const uerror&) = default;
uerror& operator=(const uerror&) = default;
explicit uerror(error_code error) noexcept;
@@ -68,9 +68,9 @@ namespace meta_hpp
~uresult() = default;
uresult(uresult&&) = default;
uresult(const uresult&) = delete;
uresult& operator=(uresult&&) = default;
uresult(const uresult&) = delete;
uresult& operator=(const uresult&) = delete;
explicit(false) uresult(uerror error) noexcept;
@@ -79,38 +79,36 @@ namespace meta_hpp
uresult& operator=(uerror error) noexcept;
uresult& operator=(uvalue value) noexcept;
template < //
typename T, //
typename Tp = std::decay_t<T>, //
typename = std::enable_if_t< //
!uvalue_family<Tp> && //
!detail::is_in_place_type_v<Tp> && //
std::is_constructible_v<Tp, T>>> //
template < //
typename T, //
typename = std::enable_if_t< //
!uvalue_family<std::decay_t<T>> && //
!detail::is_in_place_type_v<std::decay_t<T>> && //
std::is_constructible_v<std::decay_t<T>, T>>> //
uresult(T&& val);
template < //
typename T, //
typename Tp = std::decay_t<T>, //
typename = std::enable_if_t< //
!uvalue_family<Tp> && //
std::is_constructible_v<Tp, T>>> //
template < //
typename T, //
typename = std::enable_if_t< //
!uvalue_family<std::decay_t<T>> && //
std::is_constructible_v<std::decay_t<T>, T>>> //
uresult& operator=(T&& val);
template < typename T, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, Args...> //
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...>
explicit uresult(std::in_place_type_t<T>, Args&&... args);
template < typename T, typename U, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...>
explicit uresult(std::in_place_type_t<T>, std::initializer_list<U> ilist, Args&&... args);
template < typename T, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, Args...> //
Tp& emplace(Args&&... args);
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...>
std::decay_t<T>& emplace(Args&&... args);
template < typename T, typename U, typename... Args, typename Tp = std::decay_t<T> >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
Tp& emplace(std::initializer_list<U> ilist, Args&&... args);
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...>
std::decay_t<T>& emplace(std::initializer_list<U> ilist, Args&&... args);
[[nodiscard]] bool has_error() const noexcept;
[[nodiscard]] bool has_value() const noexcept;

28
headers/meta.hpp/meta_uresult/uresult.hpp
View File

@@ -71,39 +71,39 @@ namespace meta_hpp
return *this;
}
template < typename T, typename Tp, typename >
template < typename T, typename >
uresult::uresult(T&& val)
: value_{std::forward<T>(val)} {}
template < typename T, typename Tp, typename >
template < typename T, typename >
uresult& uresult::operator=(T&& val) {
value_ = std::forward<T>(val);
error_ = error_code::no_error;
return *this;
}
template < typename T, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, Args...> //
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...> //
uresult::uresult(std::in_place_type_t<T>, Args&&... args)
: value_{std::in_place_type<T>, std::forward<Args>(args)...} {}
template < typename T, typename U, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...> //
uresult::uresult(std::in_place_type_t<T>, std::initializer_list<U> ilist, Args&&... args)
: value_{std::in_place_type<T>, ilist, std::forward<Args>(args)...} {}
template < typename T, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, Args...> //
Tp& uresult::emplace(Args&&... args) {
Tp& val{value_.emplace<Tp>(std::forward<Args>(args)...)};
template < typename T, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, Args...> //
std::decay_t<T>& uresult::emplace(Args&&... args) {
std::decay_t<T>& val{value_.emplace<std::decay_t<T>>(std::forward<Args>(args)...)};
error_ = error_code::no_error;
return val;
}
template < typename T, typename U, typename... Args, typename Tp >
requires std::is_constructible_v<Tp, std::initializer_list<U>&, Args...> //
Tp& uresult::emplace(std::initializer_list<U> ilist, Args&&... args) {
Tp& val{value_.emplace<Tp>(ilist, std::forward<Args>(args)...)};
template < typename T, typename U, typename... Args >
requires std::is_constructible_v<std::decay_t<T>, std::initializer_list<U>&, Args...> //
std::decay_t<T>& uresult::emplace(std::initializer_list<U> ilist, Args&&... args) {
std::decay_t<T>& val{value_.emplace<std::decay_t<T>>(ilist, std::forward<Args>(args)...)};
error_ = error_code::no_error;
return val;
}