basic_valid_if() noexcept | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if(T val) noexcept | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if(T val, P plcy) noexcept | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if(const basic_valid_if &that) | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if(basic_valid_if &&that) noexcept(std::is_nothrow_move_constructible_v< T >) | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if_value(T value) noexcept(noexcept(T(std::declval< T && >()))) | eagine::basic_valid_if_value< T > | inline |
basic_valid_if_value() noexcept(std::is_nothrow_default_constructible_v< T >)=default | eagine::basic_valid_if_value< T > | |
basic_valid_if_value(basic_valid_if_value &&) noexcept(std::is_nothrow_move_constructible_v< T >)=default | eagine::basic_valid_if_value< T > | |
basic_valid_if_value(const basic_valid_if_value &) noexcept(std::is_nothrow_copy_constructible_v< T >)=default | eagine::basic_valid_if_value< T > | |
call_if_invalid(Func func, P... p) -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
fallback() const noexcept -> const F & | eagine::valid_if_or_fallback< T, P, F > | inline |
fallback() noexcept -> F & | eagine::valid_if_or_fallback< T, P, F > | inline |
has_value(P... p) const noexcept | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
is_valid(const T &val, P... p) const noexcept -> bool | eagine::valid_if< T, P > | inline |
is_valid(P... p) const noexcept | eagine::valid_if< T, P > | inline |
basic_valid_if< T, P, typename P ::do_log >::is_valid(const T &val, P... p) const noexcept -> bool | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if< T, P, typename P ::do_log >::is_valid(P... p) const noexcept | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
operator bool() const noexcept | eagine::valid_if< T, P > | inlineexplicit |
operator!=(const T &v) const -> tribool | eagine::valid_if< T, P > | inline |
operator*() const noexcept -> const T & | eagine::valid_if< T, P > | inline |
operator->() const noexcept -> const T * | eagine::valid_if< T, P > | inline |
operator/(const T &fallback) const noexcept -> const T & | eagine::valid_if< T, P > | inline |
operator<(const T &v) const -> tribool | eagine::valid_if< T, P > | inline |
operator<=(const T &v) const -> tribool | eagine::valid_if< T, P > | inline |
operator=(const T &v) -> auto & | eagine::valid_if< T, P > | inline |
operator=(T &&v) -> auto & | eagine::valid_if< T, P > | inline |
basic_valid_if< T, P, typename P ::do_log >::operator=(const basic_valid_if &that) -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if< T, P, typename P ::do_log >::operator=(basic_valid_if &&that) noexcept(std::is_nothrow_move_assignable_v< T >) -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
eagine::basic_valid_if_value::operator=(basic_valid_if_value &&) noexcept(std::is_nothrow_move_assignable_v< T >) -> basic_valid_if_value &=default | eagine::basic_valid_if_value< T > | |
eagine::basic_valid_if_value::operator=(const basic_valid_if_value &) noexcept(std::is_nothrow_copy_assignable_v< T >) -> basic_valid_if_value &=default | eagine::basic_valid_if_value< T > | |
operator==(const T &v) const -> tribool | eagine::valid_if< T, P > | inline |
operator>(const T &v) const -> tribool | eagine::valid_if< T, P > | inline |
operator>=(const T &v) const -> tribool | eagine::valid_if< T, P > | inline |
operator|(const Func &func) const | eagine::valid_if< T, P > | inline |
policy() const noexcept -> const P & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
then(const Func &func) const -> std::enable_if_t< !std::is_same_v< std::result_of_t< Func(T)>, void >, valid_if< std::result_of_t< Func(T)>, valid_flag_policy >> | eagine::valid_if< T, P > | inline |
basic_valid_if< T, P, typename P ::do_log >::then(const Func &func, P... p) const -> std::enable_if_t< std::is_same_v< std::result_of_t< Func(T)>, void >> | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
throw_if_invalid(P... p) const | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
transformed(Func func, P... p) const noexcept | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
valid_if_or_fallback(valid_if< T, P > vi, F fallback) noexcept(noexcept(valid_if< T, P >(std::declval< valid_if< T, P > && >())) &&noexcept(F(std::declval< F && >()))) | eagine::valid_if_or_fallback< T, P, F > | inline |
value(P... p) -> T & | eagine::valid_if< T, P > | inline |
value(P... p) const -> const T & | eagine::valid_if< T, P > | inline |
basic_valid_if< T, P, typename P ::do_log >::value(P... p) -> T & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if< T, P, typename P ::do_log >::value(P... p) const -> const T & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
value_anyway(P...) const noexcept -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
value_anyway(P...) noexcept -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
value_or(T &fallback, P... p) noexcept -> auto & | eagine::valid_if< T, P > | inline |
value_or(const T &fallback, P... p) const noexcept -> auto & | eagine::valid_if< T, P > | inline |
basic_valid_if< T, P, typename P ::do_log >::value_or(T &fallback, P... p) noexcept -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
basic_valid_if< T, P, typename P ::do_log >::value_or(const T &fallback, P... p) const noexcept -> auto & | eagine::basic_valid_if< T, P, typename P ::do_log > | inline |
~basic_valid_if() noexcept=default | eagine::basic_valid_if< T, P, typename P ::do_log > | |
~basic_valid_if_value() noexcept=default | eagine::basic_valid_if_value< T > | |