purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
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 Expectedoperator= (const Expected &)=default
 
constexpr Expectedoperator= (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 &&
 

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 >
constexpr purify::Expected< void, E >::Expected ( )
constexprdefaultnoexcept

◆ Expected() [2/5]

template<typename E >
constexpr purify::Expected< void, E >::Expected ( const Unexpected< E > &  error)
inlineconstexpr

Definition at line 325 of file expected.hpp.

◆ Expected() [3/5]

template<typename E >
constexpr purify::Expected< void, E >::Expected ( Unexpected< E > &&  error)
inlineconstexpr

Definition at line 326 of file expected.hpp.

◆ Expected() [4/5]

template<typename E >
constexpr purify::Expected< void, E >::Expected ( const Expected< void, E > &  )
constexprdefault

◆ Expected() [5/5]

template<typename E >
constexpr purify::Expected< void, E >::Expected ( Expected< void, E > &&  )
constexprdefaultnoexcept

◆ ~Expected()

template<typename E >
purify::Expected< void, E >::~Expected ( )
default

Member Function Documentation

◆ error() [1/4]

template<typename E >
constexpr E & purify::Expected< void, E >::error ( ) &
inlineconstexpr

Definition at line 348 of file expected.hpp.

◆ error() [2/4]

template<typename E >
constexpr E && purify::Expected< void, E >::error ( ) &&
inlineconstexpr

Definition at line 362 of file expected.hpp.

◆ error() [3/4]

template<typename E >
constexpr const E & purify::Expected< void, E >::error ( ) const &
inlineconstexpr

Definition at line 355 of file expected.hpp.

◆ error() [4/4]

template<typename E >
constexpr const E && purify::Expected< void, E >::error ( ) const &&
inlineconstexpr

Definition at line 369 of file expected.hpp.

◆ has_value()

template<typename E >
constexpr bool purify::Expected< void, E >::has_value ( ) const
inlineconstexprnoexcept

Definition at line 334 of file expected.hpp.

◆ operator bool()

template<typename E >
constexpr purify::Expected< void, E >::operator bool ( ) const
inlineexplicitconstexprnoexcept

Definition at line 338 of file expected.hpp.

◆ operator=() [1/2]

template<typename E >
constexpr Expected & purify::Expected< void, E >::operator= ( const Expected< void, E > &  )
constexprdefault

◆ operator=() [2/2]

template<typename E >
constexpr Expected & purify::Expected< void, E >::operator= ( Expected< void, E > &&  )
constexprdefaultnoexcept

◆ value()

template<typename E >
constexpr 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: