#include <proxsuite/helpers/tl-optional.hpp>

Inheritance diagram for tl::optional< T & >:

Collaboration diagram for tl::optional< T & >:

Public Types
using	value_type = T&

using	value_type

Public Member Functions
template<class F>
TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T & >	and_then (F &&f) &

template<class F>
TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T & >	and_then (F &&f) &&

template<class F>
constexpr detail::invoke_result_t< F, const T & >	and_then (F &&f) const &

template<class F>
constexpr detail::invoke_result_t< F, const T & >	and_then (F &&f) const &&

template<class F>
TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl(std::declval< optional & >(), std::declval< F && >()))	map (F &&f) &
	Carries out some operation on the stored object if there is one.

template<class F>
TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl(std::declval< optional && >(), std::declval< F && >()))	map (F &&f) &&

template<class F>
constexpr decltype(detail::optional_map_impl(std::declval< const optional & >(), std::declval< F && >()))	map (F &&f) const &

template<class F>
constexpr decltype(detail::optional_map_impl(std::declval< const optional && >(), std::declval< F && >()))	map (F &&f) const &&

template<class F>
TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl(std::declval< optional & >(), std::declval< F && >()))	transform (F &&f) &
	Carries out some operation on the stored object if there is one.

template<class F>
TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl(std::declval< optional && >(), std::declval< F && >()))	transform (F &&f) &&

template<class F>
constexpr decltype(detail::optional_map_impl(std::declval< const optional & >(), std::declval< F && >()))	transform (F &&f) const &

template<class F>
constexpr decltype(detail::optional_map_impl(std::declval< const optional && >(), std::declval< F && >()))	transform (F &&f) const &&

template<class F, detail::enable_if_ret_void< F > * = nullptr>
optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) &
	Calls `f` if the optional is empty.

template<class F, detail::disable_if_ret_void< F > * = nullptr>
optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) &

template<class F, detail::enable_if_ret_void< F > * = nullptr>
optional< T >	or_else (F &&f) &&

template<class F, detail::disable_if_ret_void< F > * = nullptr>
optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) &&

template<class F, detail::enable_if_ret_void< F > * = nullptr>
optional< T >	or_else (F &&f) const &

template<class F, detail::disable_if_ret_void< F > * = nullptr>
optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) const &

template<class F, detail::enable_if_ret_void< F > * = nullptr>
optional< T >	or_else (F &&f) const &&

template<class F, detail::disable_if_ret_void< F > * = nullptr>
optional< T >	or_else (F &&f) const &&

template<class F, class U>
U	map_or (F &&f, U &&u) &
	Maps the stored value with `f` if there is one, otherwise returns `u`

template<class F, class U>
U	map_or (F &&f, U &&u) &&

template<class F, class U>
U	map_or (F &&f, U &&u) const &

template<class F, class U>
U	map_or (F &&f, U &&u) const &&

template<class F, class U>
detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) &

template<class F, class U>
detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) &&

template<class F, class U>
detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) const &

template<class F, class U>
detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) const &&

template<class U>
constexpr optional< typename std::decay< U >::type >	conjunction (U &&u) const
	Returns `u` if `*this` has a value, otherwise an empty optional.

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (const optional &rhs) &
	Returns `rhs` if `*this` is empty, otherwise the current value.

constexpr optional	disjunction (const optional &rhs) const &

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (const optional &rhs) &&

constexpr optional	disjunction (const optional &rhs) const &&

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (optional &&rhs) &

constexpr optional	disjunction (optional &&rhs) const &

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (optional &&rhs) &&

constexpr optional	disjunction (optional &&rhs) const &&

optional	take ()
	Takes the value out of the optional, leaving it empty.

constexpr	optional () noexcept
	Constructs an optional that does not contain a value.

constexpr	optional (nullopt_t) noexcept

TL_OPTIONAL_11_CONSTEXPR	optional (const optional &rhs) noexcept=default

TL_OPTIONAL_11_CONSTEXPR	optional (optional &&rhs)=default

template<class U = T, detail::enable_if_t< !detail::is_optional< detail::decay_t< U > >::value > * = nullptr>
constexpr	optional (U &&u) noexcept
	Constructs the stored value with `u`.

template<class U>
constexpr	optional (const optional< U > &rhs) noexcept

	~optional ()=default
	No-op.

optional &	operator= (nullopt_t) noexcept

optional &	operator= (const optional &rhs)=default

template<class U = T, detail::enable_if_t< !detail::is_optional< detail::decay_t< U > >::value > * = nullptr>
optional &	operator= (U &&u)
	Rebinds this optional to `u`.

template<class U>
optional &	operator= (const optional< U > &rhs) noexcept

template<class U = T, detail::enable_if_t< !detail::is_optional< detail::decay_t< U > >::value > * = nullptr>
optional &	emplace (U &&u) noexcept
	Rebinds this optional to `u`.

void	swap (optional &rhs) noexcept

constexpr const T *	operator-> () const noexcept
	Returns a pointer to the stored value.

TL_OPTIONAL_11_CONSTEXPR T *	operator-> () noexcept

TL_OPTIONAL_11_CONSTEXPR T &	operator* () noexcept
	Returns the stored value.

constexpr const T &	operator* () const noexcept

constexpr bool	has_value () const noexcept

constexpr	operator bool () const noexcept

TL_OPTIONAL_11_CONSTEXPR T &	value ()

TL_OPTIONAL_11_CONSTEXPR const T &	value () const

template<class U>
constexpr T	value_or (U &&u) const &noexcept
	Returns the stored value if there is one, otherwise returns `u`

template<class U>
TL_OPTIONAL_11_CONSTEXPR T	value_or (U &&u) &&noexcept
	\group value_or

void	reset () noexcept
	Destroys the stored value if one exists, making the optional empty.

TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T & >	and_then (F &&f) &

TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T && >	and_then (F &&f) &&

constexpr detail::invoke_result_t< F, const T & >	and_then (F &&f) const &

constexpr detail::invoke_result_t< F, const T && >	and_then (F &&f) const &&

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl(std::declval< optional & >(), std::declval< F && >()))	map (F &&f) &
	Carries out some operation on the stored object if there is one.

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl(std::declval< optional && >(), std::declval< F && >()))	map (F &&f) &&

constexpr decltype(optional_map_impl(std::declval< const optional & >(), std::declval< F && >()))	map (F &&f) const &

constexpr decltype(optional_map_impl(std::declval< const optional && >(), std::declval< F && >()))	map (F &&f) const &&

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl(std::declval< optional & >(), std::declval< F && >()))	transform (F &&f) &
	Carries out some operation on the stored object if there is one.

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl(std::declval< optional && >(), std::declval< F && >()))	transform (F &&f) &&

constexpr decltype(optional_map_impl(std::declval< const optional & >(), std::declval< F && >()))	transform (F &&f) const &

constexpr decltype(optional_map_impl(std::declval< const optional && >(), std::declval< F && >()))	transform (F &&f) const &&

optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) &
	Calls `f` if the optional is empty.

optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) &

optional< T >	or_else (F &&f) &&

optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) &&

optional< T >	or_else (F &&f) const &

optional< T > TL_OPTIONAL_11_CONSTEXPR	or_else (F &&f) const &

optional< T >	or_else (F &&f) const &&

optional< T >	or_else (F &&f) const &&

U	map_or (F &&f, U &&u) &
	Maps the stored value with `f` if there is one, otherwise returns `u`.

U	map_or (F &&f, U &&u) &&

U	map_or (F &&f, U &&u) const &

U	map_or (F &&f, U &&u) const &&

detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) &

detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) &&

detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) const &

detail::invoke_result_t< U >	map_or_else (F &&f, U &&u) const &&

constexpr optional< typename std::decay< U >::type >	conjunction (U &&u) const
	Returns `u` if `*this` has a value, otherwise an empty optional.

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (const optional &rhs) &
	Returns `rhs` if `*this` is empty, otherwise the current value.

constexpr optional	disjunction (const optional &rhs) const &

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (const optional &rhs) &&

constexpr optional	disjunction (const optional &rhs) const &&

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (optional &&rhs) &

constexpr optional	disjunction (optional &&rhs) const &

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (optional &&rhs) &&

constexpr optional	disjunction (optional &&rhs) const &&

optional	take ()
	Takes the value out of the optional, leaving it empty.

constexpr	optional () noexcept=default
	Constructs an optional that does not contain a value.

constexpr	optional (nullopt_t) noexcept

TL_OPTIONAL_11_CONSTEXPR	optional (const optional &rhs)=default

TL_OPTIONAL_11_CONSTEXPR	optional (optional &&rhs)=default

constexpr	optional (detail::enable_if_t< std::is_constructible< T, Args... >::value, in_place_t >, Args &&... args)
	Constructs the stored value in-place using the given arguments.

TL_OPTIONAL_11_CONSTEXPR	optional (detail::enable_if_t< std::is_constructible< T, std::initializer_list< U > &, Args &&... >::value, in_place_t >, std::initializer_list< U > il, Args &&... args)

constexpr	optional (U &&u)
	Constructs the stored value with `u`.

constexpr	optional (U &&u)

	optional (const optional< U > &rhs)
	Converting copy constructor.

	optional (const optional< U > &rhs)

	optional (optional< U > &&rhs)
	Converting move constructor.

	optional (optional< U > &&rhs)

	~optional ()=default
	Destroys the stored value if there is one.

optional &	operator= (nullopt_t) noexcept

optional &	operator= (const optional &rhs)=default

optional &	operator= (optional &&rhs)=default

optional &	operator= (U &&u)

optional &	operator= (const optional< U > &rhs)

optional &	operator= (optional< U > &&rhs)

T &	emplace (Args &&... args)

detail::enable_if_t< std::is_constructible< T, std::initializer_list< U > &, Args &&... >::value, T & >	emplace (std::initializer_list< U > il, Args &&... args)

void	swap (optional &rhs) noexcept(std::is_nothrow_move_constructible< T >::value &&detail::is_nothrow_swappable< T >::value)

constexpr const T *	operator-> () const
	Returns a pointer to the stored value.

TL_OPTIONAL_11_CONSTEXPR T *	operator-> ()

TL_OPTIONAL_11_CONSTEXPR T &	operator* () &
	Returns the stored value.

constexpr const T &	operator* () const &

TL_OPTIONAL_11_CONSTEXPR T &&	operator* () &&

constexpr const T &&	operator* () const &&

constexpr bool	has_value () const noexcept
	Returns whether or not the optional has a value.

constexpr	operator bool () const noexcept

TL_OPTIONAL_11_CONSTEXPR T &	value () &

TL_OPTIONAL_11_CONSTEXPR const T &	value () const &

TL_OPTIONAL_11_CONSTEXPR T &&	value () &&

TL_OPTIONAL_11_CONSTEXPR const T &&	value () const &&

constexpr T	value_or (U &&u) const &
	Returns the stored value if there is one, otherwise returns `u`

TL_OPTIONAL_11_CONSTEXPR T	value_or (U &&u) &&

void	reset () noexcept
	Destroys the stored value if one exists, making the optional empty.

Detailed Description

template<class T>
class tl::optional< T & >

Specialization for when T is a reference. optional<T&> acts similarly to a T*, but provides more operations and shows intent more clearly.

Definition at line 1874 of file tl-optional.hpp.

Member Typedef Documentation

◆ value_type [1/2]

template<class T>

using tl::optional< T & >::value_type = T&

Definition at line 2304 of file tl-optional.hpp.

◆ value_type [2/2]

using tl::optional< T >::value_type

Definition at line 1246 of file tl-optional.hpp.

Constructor & Destructor Documentation

◆ optional() [1/18]

template<class T>

tl::optional< T & >::optional ( )

inlineconstexprnoexcept

Constructs an optional that does not contain a value.

Definition at line 2307 of file tl-optional.hpp.

◆ optional() [2/18]

template<class T>

tl::optional< T & >::optional ( nullopt_t )

inlineconstexprnoexcept

Definition at line 2312 of file tl-optional.hpp.

◆ optional() [3/18]

template<class T>

TL_OPTIONAL_11_CONSTEXPR tl::optional< T & >::optional ( const optional< T & > & rhs )

defaultnoexcept

Copy constructor

If rhs contains a value, the stored value is direct-initialized with it. Otherwise, the constructed optional is empty.

◆ optional() [4/18]

template<class T>

TL_OPTIONAL_11_CONSTEXPR tl::optional< T & >::optional ( optional< T & > && rhs )

default

Move constructor

If rhs contains a value, the stored value is direct-initialized with it. Otherwise, the constructed optional is empty.

◆ optional() [5/18]

template<class T>

template<class U = T, detail::enable_if_t< !detail::is_optional< detail::decay_t >::value > * = nullptr>

tl::optional< T & >::optional ( U && u )

inlineconstexprnoexcept

Constructs the stored value with u.

Definition at line 2333 of file tl-optional.hpp.

◆ optional() [6/18]

template<class T>

template<class U>

tl::optional< T & >::optional ( const optional & rhs )

inlineexplicitconstexprnoexcept

Definition at line 2340 of file tl-optional.hpp.

◆ ~optional() [1/2]

template<class T>

tl::optional< T & >::~optional ( )

default

No-op.

◆ optional() [7/18]

tl::optional< T >::optional ( )

constexprdefaultnoexcept

Constructs an optional that does not contain a value.

◆ optional() [8/18]

tl::optional< T >::optional ( nullopt_t )

inlineconstexprnoexcept

Definition at line 1251 of file tl-optional.hpp.

◆ optional() [9/18]

TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::optional ( const optional< T & > & rhs )

default

Copy constructor

If rhs contains a value, the stored value is direct-initialized with it. Otherwise, the constructed optional is empty.

◆ optional() [10/18]

TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::optional ( optional< T & > && rhs )

default

Move constructor

If rhs contains a value, the stored value is direct-initialized with it. Otherwise, the constructed optional is empty.

◆ optional() [11/18]

tl::optional< T >::optional	(	detail::enable_if_t< std::is_constructible< T, Args... >::value, in_place_t >	,
		Args &&...	args )

inlineexplicitconstexpr

Constructs the stored value in-place using the given arguments.

Definition at line 1267 of file tl-optional.hpp.

◆ optional() [12/18]

TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::optional	(	detail::enable_if_t< std::is_constructible< T, std::initializer_list< U > &, Args &&... >::value, in_place_t >	,
		std::initializer_list< U >	il,
		Args &&...	args )

inlineexplicit

Definition at line 1275 of file tl-optional.hpp.

◆ optional() [13/18]

tl::optional< T >::optional ( U && u )

inlineconstexpr

Constructs the stored value with u.

Definition at line 1289 of file tl-optional.hpp.

◆ optional() [14/18]

tl::optional< T >::optional ( U && u )

inlineexplicitconstexpr

Definition at line 1297 of file tl-optional.hpp.

◆ optional() [15/18]

tl::optional< T >::optional ( const optional & rhs )

inline

Converting copy constructor.

Definition at line 1307 of file tl-optional.hpp.

◆ optional() [16/18]

tl::optional< T >::optional ( const optional & rhs )

inlineexplicit

Definition at line 1318 of file tl-optional.hpp.

◆ optional() [17/18]

tl::optional< T >::optional ( optional && rhs )

inline

Converting move constructor.

Definition at line 1329 of file tl-optional.hpp.

◆ optional() [18/18]

tl::optional< T >::optional ( optional && rhs )

inlineexplicit

Definition at line 1339 of file tl-optional.hpp.

◆ ~optional() [2/2]

tl::optional< T >::~optional ( )

default

Destroys the stored value if there is one.

Member Function Documentation

◆ and_then() [1/8]

template<class T>

template<class F>

TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T & > tl::optional< T & >::and_then ( F && f ) &

inline

Carries out some operation which returns an optional on the stored object if there is one.

Definition at line 1935 of file tl-optional.hpp.

◆ and_then() [2/8]

template<class T>

template<class F>

TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T & > tl::optional< T & >::and_then ( F && f ) &&

inline

Definition at line 1946 of file tl-optional.hpp.

◆ and_then() [3/8]

template<class T>

template<class F>

detail::invoke_result_t< F, const T & > tl::optional< T & >::and_then ( F && f ) const &

inlineconstexpr

Definition at line 1957 of file tl-optional.hpp.

◆ and_then() [4/8]

template<class T>

template<class F>

detail::invoke_result_t< F, const T & > tl::optional< T & >::and_then ( F && f ) const &&

inlineconstexpr

Definition at line 1969 of file tl-optional.hpp.

◆ map() [1/8]

template<class T>

template<class F>

TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl( std::declval< optional & >(), std::declval< F && >())) tl::optional< T & >::map ( F && f ) &

inline

Carries out some operation on the stored object if there is one.

Definition at line 2013 of file tl-optional.hpp.

◆ map() [2/8]

template<class T>

template<class F>

TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl( std::declval< optional && >(), std::declval< F && >())) tl::optional< T & >::map ( F && f ) &&

inline

Definition at line 2022 of file tl-optional.hpp.

◆ map() [3/8]

template<class T>

template<class F>

decltype(detail::optional_map_impl(std::declval< const optional & >(), std::declval< F && >())) tl::optional< T & >::map ( F && f ) const &

inlineconstexpr

Definition at line 2030 of file tl-optional.hpp.

◆ map() [4/8]

template<class T>

template<class F>

decltype(detail::optional_map_impl(std::declval< const optional && >(), std::declval< F && >())) tl::optional< T & >::map ( F && f ) const &&

inlineconstexpr

Definition at line 2039 of file tl-optional.hpp.

◆ transform() [1/8]

template<class T>

template<class F>

TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl( std::declval< optional & >(), std::declval< F && >())) tl::optional< T & >::transform ( F && f ) &

inline

Carries out some operation on the stored object if there is one.

Definition at line 2078 of file tl-optional.hpp.

◆ transform() [2/8]

template<class T>

template<class F>

TL_OPTIONAL_11_CONSTEXPR decltype(detail::optional_map_impl( std::declval< optional && >(), std::declval< F && >())) tl::optional< T & >::transform ( F && f ) &&

inline

\group map \synopsis template <class F> auto transform(F &&f) &&;

Definition at line 2089 of file tl-optional.hpp.

◆ transform() [3/8]

template<class T>

template<class F>

decltype(detail::optional_map_impl(std::declval< const optional & >(), std::declval< F && >())) tl::optional< T & >::transform ( F && f ) const &

inlineconstexpr

Definition at line 2097 of file tl-optional.hpp.

◆ transform() [4/8]

template<class T>

template<class F>

decltype(detail::optional_map_impl(std::declval< const optional && >(), std::declval< F && >())) tl::optional< T & >::transform ( F && f ) const &&

inlineconstexpr

Definition at line 2106 of file tl-optional.hpp.

◆ or_else() [1/16]

template<class T>

template<class F, detail::enable_if_ret_void< F > * = nullptr>

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T & >::or_else ( F && f ) &

inline

Calls f if the optional is empty.

Definition at line 2115 of file tl-optional.hpp.

◆ or_else() [2/16]

template<class T>

template<class F, detail::disable_if_ret_void< F > * = nullptr>

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T & >::or_else ( F && f ) &

inline

Definition at line 2125 of file tl-optional.hpp.

◆ or_else() [3/16]

template<class T>

template<class F, detail::enable_if_ret_void< F > * = nullptr>

optional< T > tl::optional< T & >::or_else ( F && f ) &&

inline

Definition at line 2131 of file tl-optional.hpp.

◆ or_else() [4/16]

template<class T>

template<class F, detail::disable_if_ret_void< F > * = nullptr>

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T & >::or_else ( F && f ) &&

inline

Definition at line 2141 of file tl-optional.hpp.

◆ or_else() [5/16]

template<class T>

template<class F, detail::enable_if_ret_void< F > * = nullptr>

optional< T > tl::optional< T & >::or_else ( F && f ) const &

inline

Definition at line 2147 of file tl-optional.hpp.

◆ or_else() [6/16]

template<class T>

template<class F, detail::disable_if_ret_void< F > * = nullptr>

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T & >::or_else ( F && f ) const &

inline

Definition at line 2157 of file tl-optional.hpp.

◆ or_else() [7/16]

template<class T>

template<class F, detail::enable_if_ret_void< F > * = nullptr>

optional< T > tl::optional< T & >::or_else ( F && f ) const &&

inline

Definition at line 2164 of file tl-optional.hpp.

◆ or_else() [8/16]

template<class T>

template<class F, detail::disable_if_ret_void< F > * = nullptr>

optional< T > tl::optional< T & >::or_else ( F && f ) const &&

inline

Definition at line 2174 of file tl-optional.hpp.

◆ map_or() [1/8]

template<class T>

template<class F, class U>

U tl::optional< T & >::map_or	(	F &&	f,
		U &&	u ) &

inline

Maps the stored value with f if there is one, otherwise returns u

Definition at line 2182 of file tl-optional.hpp.

◆ map_or() [2/8]

template<class T>

template<class F, class U>

U tl::optional< T & >::map_or	(	F &&	f,
		U &&	u ) &&

inline

Definition at line 2189 of file tl-optional.hpp.

◆ map_or() [3/8]

template<class T>

template<class F, class U>

U tl::optional< T & >::map_or	(	F &&	f,
		U &&	u ) const &

inline

Definition at line 2196 of file tl-optional.hpp.

◆ map_or() [4/8]

template<class T>

template<class F, class U>

U tl::optional< T & >::map_or	(	F &&	f,
		U &&	u ) const &&

inline

Definition at line 2204 of file tl-optional.hpp.

◆ map_or_else() [1/8]

template<class T>

template<class F, class U>

detail::invoke_result_t< U > tl::optional< T & >::map_or_else	(	F &&	f,
		U &&	u ) &

inline

Maps the stored value with f if there is one, otherwise calls u and returns the result.

Definition at line 2214 of file tl-optional.hpp.

◆ map_or_else() [2/8]

template<class T>

template<class F, class U>

detail::invoke_result_t< U > tl::optional< T & >::map_or_else	(	F &&	f,
		U &&	u ) &&

inline

Definition at line 2221 of file tl-optional.hpp.

◆ map_or_else() [3/8]

template<class T>

template<class F, class U>

detail::invoke_result_t< U > tl::optional< T & >::map_or_else	(	F &&	f,
		U &&	u ) const &

inline

Definition at line 2228 of file tl-optional.hpp.

◆ map_or_else() [4/8]

template<class T>

template<class F, class U>

detail::invoke_result_t< U > tl::optional< T & >::map_or_else	(	F &&	f,
		U &&	u ) const &&

inline

Definition at line 2236 of file tl-optional.hpp.

◆ conjunction() [1/2]

template<class T>

template<class U>

optional< typename std::decay::type > tl::optional< T & >::conjunction ( U && u ) const

inlineconstexpr

Returns u if *this has a value, otherwise an empty optional.

Definition at line 2245 of file tl-optional.hpp.

◆ disjunction() [1/16]

template<class T>

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T & >::disjunction ( const optional< T & > & rhs ) &

inline

Returns rhs if *this is empty, otherwise the current value.

Definition at line 2252 of file tl-optional.hpp.

◆ disjunction() [2/16]

template<class T>

optional tl::optional< T & >::disjunction ( const optional< T & > & rhs ) const &

inlineconstexpr

Definition at line 2257 of file tl-optional.hpp.

◆ disjunction() [3/16]

template<class T>

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T & >::disjunction ( const optional< T & > & rhs ) &&

inline

Definition at line 2262 of file tl-optional.hpp.

◆ disjunction() [4/16]

template<class T>

optional tl::optional< T & >::disjunction ( const optional< T & > & rhs ) const &&

inlineconstexpr

Definition at line 2268 of file tl-optional.hpp.

◆ disjunction() [5/16]

template<class T>

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T & >::disjunction ( optional< T & > && rhs ) &

inline

Definition at line 2274 of file tl-optional.hpp.

◆ disjunction() [6/16]

template<class T>

optional tl::optional< T & >::disjunction ( optional< T & > && rhs ) const &

inlineconstexpr

Definition at line 2279 of file tl-optional.hpp.

◆ disjunction() [7/16]

template<class T>

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T & >::disjunction ( optional< T & > && rhs ) &&

inline

Definition at line 2284 of file tl-optional.hpp.

◆ disjunction() [8/16]

template<class T>

optional tl::optional< T & >::disjunction ( optional< T & > && rhs ) const &&

inlineconstexpr

Definition at line 2290 of file tl-optional.hpp.

◆ take() [1/2]

template<class T>

optional tl::optional< T & >::take ( )

inline

Takes the value out of the optional, leaving it empty.

Definition at line 2297 of file tl-optional.hpp.

◆ operator=() [1/10]

template<class T>

optional & tl::optional< T & >::operator= ( nullopt_t )

inlinenoexcept

Assignment to empty.

Destroys the current value if there is one.

Definition at line 2351 of file tl-optional.hpp.

◆ operator=() [2/10]

template<class T>

optional & tl::optional< T & >::operator= ( const optional< T & > & rhs )

default

Copy assignment.

Rebinds this optional to the referee of rhs if there is one. Otherwise resets the stored value in *this.

◆ operator=() [3/10]

template<class T>

template<class U = T, detail::enable_if_t< !detail::is_optional< detail::decay_t >::value > * = nullptr>

optional & tl::optional< T & >::operator= ( U && u )

inline

Rebinds this optional to u.

Definition at line 2367 of file tl-optional.hpp.

◆ operator=() [4/10]

template<class T>

template<class U>

optional & tl::optional< T & >::operator= ( const optional & rhs )

inlinenoexcept

Converting copy assignment operator.

Rebinds this optional to the referee of rhs if there is one. Otherwise resets the stored value in *this.

Definition at line 2379 of file tl-optional.hpp.

◆ emplace() [1/3]

template<class T>

template<class U = T, detail::enable_if_t< !detail::is_optional< detail::decay_t >::value > * = nullptr>

optional & tl::optional< T & >::emplace ( U && u )

inlinenoexcept

Rebinds this optional to u.

Definition at line 2389 of file tl-optional.hpp.

◆ swap() [1/2]

template<class T>

void tl::optional< T & >::swap ( optional< T & > & rhs )

inlinenoexcept

Definition at line 2394 of file tl-optional.hpp.

◆ operator->() [1/4]

template<class T>

const T * tl::optional< T & >::operator-> ( ) const

inlineconstexprnoexcept

Returns a pointer to the stored value.

Definition at line 2397 of file tl-optional.hpp.

◆ operator->() [2/4]

template<class T>

TL_OPTIONAL_11_CONSTEXPR T * tl::optional< T & >::operator-> ( )

inlinenoexcept

Definition at line 2399 of file tl-optional.hpp.

◆ operator*() [1/6]

template<class T>

TL_OPTIONAL_11_CONSTEXPR T & tl::optional< T & >::operator* ( )

inlinenoexcept

Returns the stored value.

Definition at line 2402 of file tl-optional.hpp.

◆ operator*() [2/6]

template<class T>

const T & tl::optional< T & >::operator* ( ) const

inlineconstexprnoexcept

Definition at line 2404 of file tl-optional.hpp.

◆ has_value() [1/2]

template<class T>

bool tl::optional< T & >::has_value ( ) const

inlineconstexprnoexcept

Definition at line 2406 of file tl-optional.hpp.

◆ operator bool() [1/2]

template<class T>

tl::optional< T & >::operator bool ( ) const

inlineexplicitconstexprnoexcept

Definition at line 2408 of file tl-optional.hpp.

◆ value() [1/6]

template<class T>

TL_OPTIONAL_11_CONSTEXPR T & tl::optional< T & >::value ( )

inline

Returns the contained value if there is one, otherwise throws bad_optional_access

Definition at line 2415 of file tl-optional.hpp.

◆ value() [2/6]

template<class T>

TL_OPTIONAL_11_CONSTEXPR const T & tl::optional< T & >::value ( ) const

inline

Definition at line 2421 of file tl-optional.hpp.

◆ value_or() [1/4]

template<class T>

template<class U>

T tl::optional< T & >::value_or ( U && u ) const &

inlineconstexprnoexcept

Returns the stored value if there is one, otherwise returns u

Definition at line 2430 of file tl-optional.hpp.

◆ value_or() [2/4]

template<class T>

template<class U>

TL_OPTIONAL_11_CONSTEXPR T tl::optional< T & >::value_or ( U && u ) &&

inlinenoexcept

\group value_or

Definition at line 2440 of file tl-optional.hpp.

◆ reset() [1/2]

template<class T>

void tl::optional< T & >::reset ( )

inlinenoexcept

Destroys the stored value if one exists, making the optional empty.

Definition at line 2449 of file tl-optional.hpp.

◆ and_then() [5/8]

TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T & > tl::optional< T >::and_then ( F && f ) &

inline

Carries out some operation which returns an optional on the stored object if there is one.

Definition at line 881 of file tl-optional.hpp.

◆ and_then() [6/8]

TL_OPTIONAL_11_CONSTEXPR detail::invoke_result_t< F, T && > tl::optional< T >::and_then ( F && f ) &&

inline

Definition at line 892 of file tl-optional.hpp.

◆ and_then() [7/8]

detail::invoke_result_t< F, const T & > tl::optional< T >::and_then ( F && f ) const &

inlineconstexpr

Definition at line 903 of file tl-optional.hpp.

◆ and_then() [8/8]

detail::invoke_result_t< F, const T && > tl::optional< T >::and_then ( F && f ) const &&

inlineconstexpr

Definition at line 915 of file tl-optional.hpp.

◆ map() [5/8]

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl(std::declval< optional & >(), std::declval< F && >())) tl::optional< T >::map ( F && f ) &

inline

Carries out some operation on the stored object if there is one.

Definition at line 958 of file tl-optional.hpp.

◆ map() [6/8]

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl( std::declval< optional && >(), std::declval< F && >())) tl::optional< T >::map ( F && f ) &&

inline

Definition at line 967 of file tl-optional.hpp.

◆ map() [7/8]

decltype(optional_map_impl(std::declval< const optional & >(), std::declval< F && >())) tl::optional< T >::map ( F && f ) const &

inlineconstexpr

Definition at line 975 of file tl-optional.hpp.

◆ map() [8/8]

decltype(optional_map_impl(std::declval< const optional && >(), std::declval< F && >())) tl::optional< T >::map ( F && f ) const &&

inlineconstexpr

Definition at line 984 of file tl-optional.hpp.

◆ transform() [5/8]

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl(std::declval< optional & >(), std::declval< F && >())) tl::optional< T >::transform ( F && f ) &

inline

Carries out some operation on the stored object if there is one.

Definition at line 1022 of file tl-optional.hpp.

◆ transform() [6/8]

TL_OPTIONAL_11_CONSTEXPR decltype(optional_map_impl( std::declval< optional && >(), std::declval< F && >())) tl::optional< T >::transform ( F && f ) &&

inline

Definition at line 1031 of file tl-optional.hpp.

◆ transform() [7/8]

decltype(optional_map_impl(std::declval< const optional & >(), std::declval< F && >())) tl::optional< T >::transform ( F && f ) const &

inlineconstexpr

Definition at line 1039 of file tl-optional.hpp.

◆ transform() [8/8]

decltype(optional_map_impl(std::declval< const optional && >(), std::declval< F && >())) tl::optional< T >::transform ( F && f ) const &&

inlineconstexpr

Definition at line 1048 of file tl-optional.hpp.

◆ or_else() [9/16]

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::or_else ( F && f ) &

inline

Calls f if the optional is empty.

Definition at line 1057 of file tl-optional.hpp.

◆ or_else() [10/16]

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::or_else ( F && f ) &

inline

Definition at line 1067 of file tl-optional.hpp.

◆ or_else() [11/16]

optional< T > tl::optional< T >::or_else ( F && f ) &&

inline

Definition at line 1073 of file tl-optional.hpp.

◆ or_else() [12/16]

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::or_else ( F && f ) &&

inline

Definition at line 1083 of file tl-optional.hpp.

◆ or_else() [13/16]

optional< T > tl::optional< T >::or_else ( F && f ) const &

inline

Definition at line 1089 of file tl-optional.hpp.

◆ or_else() [14/16]

optional< T > TL_OPTIONAL_11_CONSTEXPR tl::optional< T >::or_else ( F && f ) const &

inline

Definition at line 1099 of file tl-optional.hpp.

◆ or_else() [15/16]

optional< T > tl::optional< T >::or_else ( F && f ) const &&

inline

Definition at line 1106 of file tl-optional.hpp.

◆ or_else() [16/16]

optional< T > tl::optional< T >::or_else ( F && f ) const &&

inline

Definition at line 1116 of file tl-optional.hpp.

◆ map_or() [5/8]

U tl::optional< T >::map_or	(	F &&	f,
		U &&	u ) &

inline

Maps the stored value with f if there is one, otherwise returns u.

Definition at line 1124 of file tl-optional.hpp.

◆ map_or() [6/8]

U tl::optional< T >::map_or	(	F &&	f,
		U &&	u ) &&

inline

Definition at line 1131 of file tl-optional.hpp.

◆ map_or() [7/8]

U tl::optional< T >::map_or	(	F &&	f,
		U &&	u ) const &

inline

Definition at line 1138 of file tl-optional.hpp.

◆ map_or() [8/8]

U tl::optional< T >::map_or	(	F &&	f,
		U &&	u ) const &&

inline

Definition at line 1146 of file tl-optional.hpp.

◆ map_or_else() [5/8]

detail::invoke_result_t< U > tl::optional< T >::map_or_else	(	F &&	f,
		U &&	u ) &

inline

Maps the stored value with f if there is one, otherwise calls u and returns the result.

Definition at line 1156 of file tl-optional.hpp.

◆ map_or_else() [6/8]

detail::invoke_result_t< U > tl::optional< T >::map_or_else	(	F &&	f,
		U &&	u ) &&

inline

Definition at line 1163 of file tl-optional.hpp.

◆ map_or_else() [7/8]

detail::invoke_result_t< U > tl::optional< T >::map_or_else	(	F &&	f,
		U &&	u ) const &

inline

Definition at line 1170 of file tl-optional.hpp.

◆ map_or_else() [8/8]

detail::invoke_result_t< U > tl::optional< T >::map_or_else	(	F &&	f,
		U &&	u ) const &&

inline

Definition at line 1178 of file tl-optional.hpp.

◆ conjunction() [2/2]

optional< typename std::decay::type > tl::optional< T >::conjunction ( U && u ) const

inlineconstexpr

Returns u if *this has a value, otherwise an empty optional.

Definition at line 1187 of file tl-optional.hpp.

◆ disjunction() [9/16]

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T >::disjunction ( const optional< T & > & rhs ) &

inline

Returns rhs if *this is empty, otherwise the current value.

Definition at line 1194 of file tl-optional.hpp.

◆ disjunction() [10/16]

optional tl::optional< T >::disjunction ( const optional< T & > & rhs ) const &

inlineconstexpr

Definition at line 1199 of file tl-optional.hpp.

◆ disjunction() [11/16]

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T >::disjunction ( const optional< T & > & rhs ) &&

inline

Definition at line 1204 of file tl-optional.hpp.

◆ disjunction() [12/16]

optional tl::optional< T >::disjunction ( const optional< T & > & rhs ) const &&

inlineconstexpr

Definition at line 1210 of file tl-optional.hpp.

◆ disjunction() [13/16]

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T >::disjunction ( optional< T & > && rhs ) &

inline

Definition at line 1216 of file tl-optional.hpp.

◆ disjunction() [14/16]

optional tl::optional< T >::disjunction ( optional< T & > && rhs ) const &

inlineconstexpr

Definition at line 1221 of file tl-optional.hpp.

◆ disjunction() [15/16]

TL_OPTIONAL_11_CONSTEXPR optional tl::optional< T >::disjunction ( optional< T & > && rhs ) &&

inline

Definition at line 1226 of file tl-optional.hpp.

◆ disjunction() [16/16]

optional tl::optional< T >::disjunction ( optional< T & > && rhs ) const &&

inlineconstexpr

Definition at line 1232 of file tl-optional.hpp.

◆ take() [2/2]

optional tl::optional< T >::take ( )

inline

Takes the value out of the optional, leaving it empty.

Definition at line 1239 of file tl-optional.hpp.

◆ operator=() [5/10]

optional & tl::optional< T >::operator= ( nullopt_t )

inlinenoexcept

Assignment to empty.

Destroys the current value if there is one.

Definition at line 1352 of file tl-optional.hpp.

◆ operator=() [6/10]

optional & tl::optional< T >::operator= ( const optional< T & > & rhs )

default

Copy assignment.

Copies the value from rhs if there is one. Otherwise resets the stored value in *this.

◆ operator=() [7/10]

optional & tl::optional< T >::operator= ( optional< T & > && rhs )

default

Move assignment.

Moves the value from rhs if there is one. Otherwise resets the stored value in *this.

◆ operator=() [8/10]

optional & tl::optional< T >::operator= ( U && u )

inline

Assigns the stored value from u, destroying the old value if there was one.

Definition at line 1377 of file tl-optional.hpp.

◆ operator=() [9/10]

optional & tl::optional< T >::operator= ( const optional & rhs )

inline

Converting copy assignment operator.

Copies the value from rhs if there is one. Otherwise resets the stored value in *this.

Definition at line 1393 of file tl-optional.hpp.

◆ operator=() [10/10]

optional & tl::optional< T >::operator= ( optional && rhs )

inline

Converting move assignment operator.

Moves the value from rhs if there is one. Otherwise resets the stored value in *this.

Definition at line 1416 of file tl-optional.hpp.

◆ emplace() [2/3]

T & tl::optional< T >::emplace ( Args &&... args )

inline

Constructs the value in-place, destroying the current one if there is one.

Definition at line 1436 of file tl-optional.hpp.

◆ emplace() [3/3]

detail::enable_if_t< std::is_constructible< T, std::initializer_list< U > &, Args &&... >::value, T & > tl::optional< T >::emplace	(	std::initializer_list< U >	il,
		Args &&...	args )

inline

Definition at line 1450 of file tl-optional.hpp.

◆ swap() [2/2]

void tl::optional< T >::swap ( optional< T & > & rhs )

inlinenoexcept

Swaps this optional with the other.

If neither optionals have a value, nothing happens. If both have a value, the values are swapped. If one has a value, it is moved to the other and the movee is left valueless.

Definition at line 1463 of file tl-optional.hpp.

◆ operator->() [3/4]

const T * tl::optional< T >::operator-> ( ) const

inlineconstexpr

Returns a pointer to the stored value.

Definition at line 1483 of file tl-optional.hpp.

◆ operator->() [4/4]

TL_OPTIONAL_11_CONSTEXPR T * tl::optional< T >::operator-> ( )

inline

Definition at line 1488 of file tl-optional.hpp.

◆ operator*() [3/6]

TL_OPTIONAL_11_CONSTEXPR T & tl::optional< T >::operator* ( ) &

inline

Returns the stored value.

Definition at line 1494 of file tl-optional.hpp.

◆ operator*() [4/6]

const T & tl::optional< T >::operator* ( ) const &

inlineconstexpr

Definition at line 1496 of file tl-optional.hpp.

◆ operator*() [5/6]

TL_OPTIONAL_11_CONSTEXPR T && tl::optional< T >::operator* ( ) &&

inline

Definition at line 1498 of file tl-optional.hpp.

◆ operator*() [6/6]

const T && tl::optional< T >::operator* ( ) const &&

inlineconstexpr

Definition at line 1504 of file tl-optional.hpp.

◆ has_value() [2/2]

bool tl::optional< T >::has_value ( ) const

inlineconstexprnoexcept

Returns whether or not the optional has a value.

Definition at line 1508 of file tl-optional.hpp.

◆ operator bool() [2/2]

tl::optional< T >::operator bool ( ) const

inlineexplicitconstexprnoexcept

Definition at line 1510 of file tl-optional.hpp.

◆ value() [3/6]

TL_OPTIONAL_11_CONSTEXPR T & tl::optional< T >::value ( ) &

inline

Returns the contained value if there is one, otherwise throws bad_optional_access

Definition at line 1517 of file tl-optional.hpp.

◆ value() [4/6]

TL_OPTIONAL_11_CONSTEXPR const T & tl::optional< T >::value ( ) const &

inline

Definition at line 1523 of file tl-optional.hpp.

◆ value() [5/6]

TL_OPTIONAL_11_CONSTEXPR T && tl::optional< T >::value ( ) &&

inline

Definition at line 1529 of file tl-optional.hpp.

◆ value() [6/6]

TL_OPTIONAL_11_CONSTEXPR const T && tl::optional< T >::value ( ) const &&

inline

Definition at line 1537 of file tl-optional.hpp.

◆ value_or() [3/4]

T tl::optional< T >::value_or ( U && u ) const &

inlineconstexpr

Returns the stored value if there is one, otherwise returns u

Definition at line 1547 of file tl-optional.hpp.

◆ value_or() [4/4]

TL_OPTIONAL_11_CONSTEXPR T tl::optional< T >::value_or ( U && u ) &&

inline

Definition at line 1556 of file tl-optional.hpp.

◆ reset() [2/2]

void tl::optional< T >::reset ( )

inlinenoexcept

Destroys the stored value if one exists, making the optional empty.

Definition at line 1565 of file tl-optional.hpp.

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

include/proxsuite/helpers/tl-optional.hpp

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ value_type [1/2]

◆ value_type [2/2]

Constructor & Destructor Documentation

◆ optional() [1/18]

◆ optional() [2/18]

◆ optional() [3/18]

◆ optional() [4/18]

◆ optional() [5/18]

◆ optional() [6/18]

◆ ~optional() [1/2]

◆ optional() [7/18]

◆ optional() [8/18]

◆ optional() [9/18]

◆ optional() [10/18]

◆ optional() [11/18]

◆ optional() [12/18]

◆ optional() [13/18]

◆ optional() [14/18]

◆ optional() [15/18]

◆ optional() [16/18]

◆ optional() [17/18]

◆ optional() [18/18]

◆ ~optional() [2/2]

Member Function Documentation

◆ and_then() [1/8]

◆ and_then() [2/8]

◆ and_then() [3/8]

◆ and_then() [4/8]

◆ map() [1/8]

◆ map() [2/8]

◆ map() [3/8]

◆ map() [4/8]

◆ transform() [1/8]

◆ transform() [2/8]

◆ transform() [3/8]

◆ transform() [4/8]

◆ or_else() [1/16]

◆ or_else() [2/16]

◆ or_else() [3/16]

◆ or_else() [4/16]

◆ or_else() [5/16]

◆ or_else() [6/16]

◆ or_else() [7/16]

◆ or_else() [8/16]

◆ map_or() [1/8]

◆ map_or() [2/8]

◆ map_or() [3/8]

◆ map_or() [4/8]

◆ map_or_else() [1/8]

◆ map_or_else() [2/8]

◆ map_or_else() [3/8]

◆ map_or_else() [4/8]

◆ conjunction() [1/2]

◆ disjunction() [1/16]

◆ disjunction() [2/16]

◆ disjunction() [3/16]

◆ disjunction() [4/16]

◆ disjunction() [5/16]

◆ disjunction() [6/16]

◆ disjunction() [7/16]

◆ disjunction() [8/16]

◆ take() [1/2]

◆ operator=() [1/10]

◆ operator=() [2/10]

◆ operator=() [3/10]

◆ operator=() [4/10]

◆ emplace() [1/3]

◆ swap() [1/2]

◆ operator->() [1/4]

◆ operator->() [2/4]

◆ operator*() [1/6]

◆ operator*() [2/6]

◆ has_value() [1/2]

◆ operator bool() [1/2]

◆ value() [1/6]

◆ value() [2/6]