clev::expected< value_t > Struct Template Reference

#include <err.h>

Inheritance diagram for clev::expected< value_t >:

Collaboration diagram for clev::expected< value_t >:

Public Member Functions
expected::value_type &	value_or_abort () &noexcept(clev_exception_disabled_v)
expected::value_type &&	value_or_abort () &&noexcept(clev_exception_disabled_v)
constexpr const expected::value_type &	value_or_abort () const &noexcept(clev_exception_disabled_v)
constexpr const expected::value_type &&	value_or_abort () const &&noexcept(clev_exception_disabled_v)
expected< std::reference_wrapper< value_t > >	and_assign_to (value_t &dest) &&noexcept
template<typename fn_t> requires std::is_constructible_v<error_type, error_type&>
auto	and_then (fn_t &&f) &&noexcept
template<typename to_value_t>
auto	transform_to () &&noexcept
template<typename to_value_t>
auto	transform_to (to_value_t &&v) &&noexcept
auto	discard_value () &&noexcept

Detailed Description

template<typename value_t>
struct clev::expected< value_t >

Definition at line 129 of file err.h.

Member Function Documentation

and_assign_to()

template<typename value_t>

expected< std::reference_wrapper< value_t > > clev::expected< value_t >::and_assign_to ( value_t & dest ) &&

inlinenodiscardnoexcept

Definition at line 178 of file err.h.

  {
    if (*this)
    {
      dest = std::move(expected::value());
 
      return std::ref(dest);
    }
 
    return unexpected{std::move(expected::error())};
  }

and_then()

template<typename value_t>

template<typename fn_t>
requires std::is_constructible_v<error_type, error_type&>

auto clev::expected< value_t >::and_then ( fn_t && f ) &&

inlinenodiscardnoexcept

Definition at line 192 of file err.h.

  {
    using exp_t = std::remove_cvref_t<
      std::invoke_result_t<fn_t, decltype(std::move(expected::value()))>>;
 
    static_assert(is_expected_specialization_v<exp_t>,
                  "expected<value_t>::and_then(fn_t) must specialize");
 
    static_assert(std::is_same_v<typename exp_t::error_type, error_type>,
                  "expected<value_t>::and_then(fn_t) requires same error");
 
    if (*this)
      return std::invoke(std::forward<fn_t>(f), std::move(expected::value()));
    else
      return exp_t{std::unexpect, std::move(expected::error())};
  }

References clev::is_expected_specialization_v.

discard_value()

template<typename value_t>

auto clev::expected< value_t >::discard_value ( ) &&

inlinenodiscardnoexcept

Definition at line 227 of file err.h.

  {
    if (*this)
      return expected<void>{};
    else
      return expected<void>{std::unexpect, expected::error()};
  }

transform_to() [1/2]

template<typename value_t>

template<typename to_value_t>

auto clev::expected< value_t >::transform_to ( ) &&

inlinenodiscardnoexcept

Definition at line 210 of file err.h.

  {
    if (*this)
      return expected<to_value_t>(std::move(parent::value()));
    else
      return expected<to_value_t>(unexpected(std::move(parent::error())));
  }

References clev::expected().

Here is the call graph for this function:

transform_to() [2/2]

template<typename value_t>

template<typename to_value_t>

auto clev::expected< value_t >::transform_to ( to_value_t && v ) &&

inlinenodiscardnoexcept

Definition at line 219 of file err.h.

  {
    if (*this)
      return expected<value_t>(std::move(v));
    else
      return std::move(*this);
  }

References clev::expected().

Here is the call graph for this function:

value_or_abort() [1/4]

template<typename value_t>

expected::value_type && clev::expected< value_t >::value_or_abort ( ) &&

inlinenodiscardnoexcept

Definition at line 151 of file err.h.

  {
    if (!*this)
      abort_now(expected::error());
 
    return std::move(expected::value());
  }

value_or_abort() [2/4]

template<typename value_t>

expected::value_type & clev::expected< value_t >::value_or_abort ( ) &

inlinenodiscardnoexcept

Definition at line 142 of file err.h.

  {
    if (!*this)
      abort_now(expected::error());
 
    return expected::value();
  }

value_or_abort() [3/4]

template<typename value_t>

const expected::value_type && clev::expected< value_t >::value_or_abort ( ) const &&

inlinenodiscardconstexprnoexcept

Definition at line 169 of file err.h.

  {
    if (!*this)
      abort_now(expected::error());
 
    return std::move(expected::value());
  }

value_or_abort() [4/4]

template<typename value_t>

const expected::value_type & clev::expected< value_t >::value_or_abort ( ) const &

inlinenodiscardconstexprnoexcept

Definition at line 160 of file err.h.

  {
    if (!*this)
      abort_now(expected::error());
 
    return expected::value();
  }

---

The documentation for this struct was generated from the following file:

• /home/runner/work/pars-cxx/pars-cxx/lib/include/clev/err.h