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

Inheritance diagram for tl::optional< T >:

Collaboration diagram for tl::optional< T >:

Public Types
using	value_type = T

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(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(optional_map_impl(std::declval< optional && >(), std::declval< F && >()))	map (F &&f) &&

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

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

template<class F >
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.

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

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

template<class F >
constexpr decltype(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=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

template<class... Args>
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.

template<class U , class... Args>
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)

template<class U = T, detail::enable_if_t< std::is_convertible< U &&, T >::value > * = nullptr, detail::enable_forward_value< T, U > * = nullptr>
constexpr	optional (U &&u)
	Constructs the stored value with `u`.

template<class U = T, detail::enable_if_t<!std::is_convertible< U &&, T >::value > * = nullptr, detail::enable_forward_value< T, U > * = nullptr>
constexpr	optional (U &&u)

template<class U , detail::enable_from_other< T, U, const U & > * = nullptr, detail::enable_if_t< std::is_convertible< const U &, T >::value > * = nullptr>
	optional (const optional< U > &rhs)
	Converting copy constructor.

template<class U , detail::enable_from_other< T, U, const U & > * = nullptr, detail::enable_if_t<!std::is_convertible< const U &, T >::value > * = nullptr>
	optional (const optional< U > &rhs)

template<class U , detail::enable_from_other< T, U, U && > * = nullptr, detail::enable_if_t< std::is_convertible< U &&, T >::value > * = nullptr>
	optional (optional< U > &&rhs)
	Converting move constructor.

template<class U , detail::enable_from_other< T, U, U && > * = nullptr, detail::enable_if_t<!std::is_convertible< U &&, T >::value > * = nullptr>
	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

template<class U = T, detail::enable_assign_forward< T, U > * = nullptr>
optional &	operator= (U &&u)

template<class U , detail::enable_assign_from_other< T, U, const U & > * = nullptr>
optional &	operator= (const optional< U > &rhs)

template<class U , detail::enable_assign_from_other< T, U, U > * = nullptr>
optional &	operator= (optional< U > &&rhs)

template<class... Args>
T &	emplace (Args &&... args)

template<class U , class... 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 &&

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

template<class 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 >

An optional object is an object that contains the storage for another object and manages the lifetime of this contained object, if any. The contained object may be initialized after the optional object has been initialized, and may be destroyed before the optional object has been destroyed. The initialization state of the contained object is tracked by the optional object.

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

Member Typedef Documentation

◆ value_type

template<class T >

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

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

Constructor & Destructor Documentation

◆ optional() [1/12]

template<class T >

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

constexprdefaultnoexcept

Constructs an optional that does not contain a value.

◆ optional() [2/12]

template<class T >

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

inlineconstexprnoexcept

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

◆ optional() [3/12]

template<class T >

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() [4/12]

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/12]

template<class T >

template<class... Args>

constexpr 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() [6/12]

template<class T >

template<class U , class... Args>

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() [7/12]

template<class T >

template<class U = T, detail::enable_if_t< std::is_convertible::value > * = nullptr, detail::enable_forward_value< T, U > * = nullptr>

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

inlineconstexpr

Constructs the stored value with u.

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

◆ optional() [8/12]

template<class T >

template<class U = T, detail::enable_if_t<!std::is_convertible::value > * = nullptr, detail::enable_forward_value< T, U > * = nullptr>

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

inlineexplicitconstexpr

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

◆ optional() [9/12]

template<class T >

template<class U , detail::enable_from_other< T, U, const U & > * = nullptr, detail::enable_if_t< std::is_convertible< const U &, T >::value > * = nullptr>

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

inline

Converting copy constructor.

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

◆ optional() [10/12]

template<class T >

template<class U , detail::enable_from_other< T, U, const U & > * = nullptr, detail::enable_if_t<!std::is_convertible< const U &, T >::value > * = nullptr>

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

inlineexplicit

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

◆ optional() [11/12]

template<class T >

template<class U , detail::enable_from_other< T, U, U && > * = nullptr, detail::enable_if_t< std::is_convertible::value > * = nullptr>

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

inline

Converting move constructor.

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

◆ optional() [12/12]

template<class T >

template<class U , detail::enable_from_other< T, U, U && > * = nullptr, detail::enable_if_t<!std::is_convertible::value > * = nullptr>

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

inlineexplicit

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

◆ ~optional()

template<class T >

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

default

Destroys the stored value if there is one.

Member Function Documentation

◆ and_then() [1/4]

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 881 of file tl-optional.hpp.

◆ and_then() [2/4]

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 892 of file tl-optional.hpp.

◆ and_then() [3/4]

template<class T >

template<class F >

constexpr 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() [4/4]

template<class T >

template<class F >

constexpr 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() [1/4]

template<class T >

template<class F >

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() [2/4]

template<class T >

template<class F >

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() [3/4]

template<class T >

template<class F >

constexpr 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() [4/4]

template<class T >

template<class F >

constexpr 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() [1/4]

template<class T >

template<class F >

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() [2/4]

template<class T >

template<class F >

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() [3/4]

template<class T >

template<class F >

constexpr 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() [4/4]

template<class T >

template<class F >

constexpr 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() [1/8]

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 1057 of file tl-optional.hpp.

◆ or_else() [2/8]

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 1067 of file tl-optional.hpp.

◆ or_else() [3/8]

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 1073 of file tl-optional.hpp.

◆ or_else() [4/8]

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 1083 of file tl-optional.hpp.

◆ or_else() [5/8]

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 1089 of file tl-optional.hpp.

◆ or_else() [6/8]

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 1099 of file tl-optional.hpp.

◆ or_else() [7/8]

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 1106 of file tl-optional.hpp.

◆ or_else() [8/8]

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 1116 of file tl-optional.hpp.

◆ map_or() [1/4]

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 1124 of file tl-optional.hpp.

◆ map_or() [2/4]

template<class T >

template<class F , class U >

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

inline

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

◆ map_or() [3/4]

template<class T >

template<class F , class U >

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

inline

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

◆ map_or() [4/4]

template<class T >

template<class F , class U >

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

inline

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

◆ map_or_else() [1/4]

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 1156 of file tl-optional.hpp.

◆ map_or_else() [2/4]

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 1163 of file tl-optional.hpp.

◆ map_or_else() [3/4]

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 1170 of file tl-optional.hpp.

◆ map_or_else() [4/4]

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 1178 of file tl-optional.hpp.

◆ conjunction()

template<class T >

template<class U >

constexpr 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() [1/8]

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 1194 of file tl-optional.hpp.

◆ disjunction() [2/8]

template<class T >

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

inlineconstexpr

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

◆ disjunction() [3/8]

template<class T >

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

inline

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

◆ disjunction() [4/8]

template<class T >

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

inlineconstexpr

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

◆ disjunction() [5/8]

template<class T >

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

inline

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

◆ disjunction() [6/8]

template<class T >

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

inlineconstexpr

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

◆ disjunction() [7/8]

template<class T >

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

inline

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

◆ disjunction() [8/8]

template<class T >

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

inlineconstexpr

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

◆ take()

template<class T >

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=() [1/6]

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 1352 of file tl-optional.hpp.

◆ operator=() [2/6]

template<class T >

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=() [3/6]

template<class T >

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=() [4/6]

template<class T >

template<class U = T, detail::enable_assign_forward< T, U > * = nullptr>

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=() [5/6]

template<class T >

template<class U , detail::enable_assign_from_other< T, U, const U & > * = nullptr>

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=() [6/6]

template<class T >

template<class U , detail::enable_assign_from_other< T, U, U > * = nullptr>

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() [1/2]

template<class T >

template<class... Args>

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() [2/2]

template<class T >

template<class U , class... Args>

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()

template<class T >

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->() [1/2]

template<class T >

constexpr 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->() [2/2]

template<class T >

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

inline

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

◆ operator*() [1/4]

template<class T >

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

inline

Returns the stored value.

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

◆ operator*() [2/4]

template<class T >

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

inlineconstexpr

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

◆ operator*() [3/4]

template<class T >

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

inline

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

◆ operator*() [4/4]

template<class T >

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

inlineconstexpr

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

◆ has_value()

template<class T >

constexpr 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()

template<class T >

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

inlineexplicitconstexprnoexcept

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

◆ value() [1/4]

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 1517 of file tl-optional.hpp.

◆ value() [2/4]

template<class T >

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

inline

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

◆ value() [3/4]

template<class T >

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

inline

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

◆ value() [4/4]

template<class T >

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

inline

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

◆ value_or() [1/2]

template<class T >

template<class U >

constexpr 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() [2/2]

template<class T >

template<class U >

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

inline

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

◆ reset()

template<class T >

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

Constructor & Destructor Documentation

◆ optional() [1/12]

◆ optional() [2/12]

◆ optional() [3/12]

◆ optional() [4/12]

◆ optional() [5/12]

◆ optional() [6/12]

◆ optional() [7/12]

◆ optional() [8/12]

◆ optional() [9/12]

◆ optional() [10/12]

◆ optional() [11/12]

◆ optional() [12/12]

◆ ~optional()

Member Function Documentation

◆ and_then() [1/4]

◆ and_then() [2/4]

◆ and_then() [3/4]

◆ and_then() [4/4]

◆ map() [1/4]

◆ map() [2/4]

◆ map() [3/4]

◆ map() [4/4]

◆ transform() [1/4]

◆ transform() [2/4]

◆ transform() [3/4]

◆ transform() [4/4]

◆ or_else() [1/8]

◆ or_else() [2/8]

◆ or_else() [3/8]

◆ or_else() [4/8]

◆ or_else() [5/8]

◆ or_else() [6/8]

◆ or_else() [7/8]

◆ or_else() [8/8]

◆ map_or() [1/4]

◆ map_or() [2/4]

◆ map_or() [3/4]

◆ map_or() [4/4]

◆ map_or_else() [1/4]

◆ map_or_else() [2/4]

◆ map_or_else() [3/4]

◆ map_or_else() [4/4]

◆ conjunction()

◆ disjunction() [1/8]

◆ disjunction() [2/8]

◆ disjunction() [3/8]

◆ disjunction() [4/8]

◆ disjunction() [5/8]

◆ disjunction() [6/8]

◆ disjunction() [7/8]

◆ disjunction() [8/8]

◆ take()

◆ operator=() [1/6]

◆ operator=() [2/6]

◆ operator=() [3/6]

◆ operator=() [4/6]

◆ operator=() [5/6]

◆ operator=() [6/6]

◆ emplace() [1/2]

◆ emplace() [2/2]

◆ swap()

◆ operator->() [1/2]

◆ operator->() [2/2]

◆ operator*() [1/4]

◆ operator*() [2/4]

◆ operator*() [3/4]

◆ operator*() [4/4]

◆ has_value()

◆ operator bool()

◆ value() [1/4]

◆ value() [2/4]

◆ value() [3/4]

◆ value() [4/4]

◆ value_or() [1/2]