purify::Expected< void, E > Class Template Reference

#include <expected.hpp>

Public Types
using	value_type = void
using	error_type = E
using	unexpected_type = Unexpected<E>

Public Member Functions
constexpr	Expected () noexcept=default
constexpr	Expected (const Unexpected< E > &error)
constexpr	Expected (Unexpected< E > &&error)
constexpr	Expected (const Expected &)=default
constexpr	Expected (Expected &&) noexcept=default
constexpr Expected &	operator= (const Expected &)=default
constexpr Expected &	operator= (Expected &&) noexcept=default
	~Expected ()=default
constexpr bool	has_value () const noexcept
constexpr	operator bool () const noexcept
constexpr void	value () const
constexpr E &	error () &
constexpr const E &	error () const &
constexpr E &&	error () &&
constexpr const E &&	error () const &&
void &	operator* () &
void *	operator-> ()

Detailed Description

template<typename E>
class purify::Expected< void, E >

Definition at line 318 of file expected.hpp.

Member Typedef Documentation

error_type

template<typename E>

using purify::Expected< void, E >::error_type = E

Definition at line 321 of file expected.hpp.

unexpected_type

template<typename E>

using purify::Expected< void, E >::unexpected_type = Unexpected<E>

Definition at line 322 of file expected.hpp.

value_type

template<typename E>

using purify::Expected< void, E >::value_type = void

Definition at line 320 of file expected.hpp.

Constructor & Destructor Documentation

Expected() [1/5]

template<typename E>

purify::Expected< void, E >::Expected ( )

constexprdefaultnoexcept

Referenced by Expected(), Expected(), Expected(), operator=(), operator=(), and ~Expected().

Expected() [2/5]

template<typename E>

purify::Expected< void, E >::Expected ( const Unexpected< E > & error )

inlineconstexpr

Definition at line 325 of file expected.hpp.

References error(), and Expected().

Expected() [3/5]

template<typename E>

purify::Expected< void, E >::Expected ( Unexpected< E > && error )

inlineconstexpr

Definition at line 326 of file expected.hpp.

References error().

Expected() [4/5]

template<typename E>

purify::Expected< void, E >::Expected ( const Expected< void, E > & )

constexprdefault

References Expected().

Expected() [5/5]

template<typename E>

purify::Expected< void, E >::Expected ( Expected< void, E > && )

constexprdefaultnoexcept

References Expected().

~Expected()

template<typename E>

purify::Expected< void, E >::~Expected ( )

default

References Expected().

Member Function Documentation

error() [1/4]

template<typename E>

E & purify::Expected< void, E >::error ( ) &

inlinenodiscardconstexpr

Definition at line 348 of file expected.hpp.

Referenced by Expected(), and Expected().

error() [2/4]

template<typename E>

E && purify::Expected< void, E >::error ( ) &&

inlinenodiscardconstexpr

Definition at line 362 of file expected.hpp.

error() [3/4]

template<typename E>

const E & purify::Expected< void, E >::error ( ) const &

inlinenodiscardconstexpr

Definition at line 355 of file expected.hpp.

error() [4/4]

template<typename E>

const E && purify::Expected< void, E >::error ( ) const &&

inlinenodiscardconstexpr

Definition at line 369 of file expected.hpp.

has_value()

template<typename E>

bool purify::Expected< void, E >::has_value ( ) const

inlinenodiscardconstexprnoexcept

Definition at line 334 of file expected.hpp.

References has_value().

Referenced by has_value(), and operator bool().

operator bool()

template<typename E>

purify::Expected< void, E >::operator bool ( ) const

inlineexplicitnodiscardconstexprnoexcept

Definition at line 338 of file expected.hpp.

References has_value().

operator*()

void & purify::Expected< void, E >::operator* ( ) &

inlinenodiscard

Definition at line 178 of file expected.hpp.

operator->()

void * purify::Expected< void, E >::operator-> ( )

inlinenodiscard

Definition at line 194 of file expected.hpp.

operator=() [1/2]

template<typename E>

Expected & purify::Expected< void, E >::operator= ( const Expected< void, E > & )

constexprdefault

References Expected().

operator=() [2/2]

template<typename E>

Expected & purify::Expected< void, E >::operator= ( Expected< void, E > && )

constexprdefaultnoexcept

References Expected().

value()

template<typename E>

void purify::Expected< void, E >::value ( ) const

inlineconstexpr

Definition at line 342 of file expected.hpp.

---

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

• include/purify/expected.hpp