#include <optional.hpp>

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

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

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (const optional &rhs) &&

constexpr optional	disjunction (const optional &rhs) const &

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

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (optional &&rhs) &

TL_OPTIONAL_11_CONSTEXPR optional	disjunction (optional &&rhs) &&

constexpr optional	disjunction (optional &&rhs) const &

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

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)

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

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`. More...

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 &&

constexpr	operator bool () const noexcept

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

TL_OPTIONAL_11_CONSTEXPR T &&	operator* () &&

constexpr const T &	operator* () const &

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

TL_OPTIONAL_11_CONSTEXPR T *	operator-> ()

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

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

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

optional &	operator= (nullopt_t) noexcept

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

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

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

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

TL_OPTIONAL_11_CONSTEXPR	optional (const optional &rhs)=default

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. More...

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... 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. More...

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)

constexpr	optional (nullopt_t) noexcept

TL_OPTIONAL_11_CONSTEXPR	optional (optional &&rhs)=default

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. More...

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)

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`. More...

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 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. More...

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 &&

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

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

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

TL_OPTIONAL_11_CONSTEXPR T &	value () &
	Returns the contained value if there is one, otherwise throws bad_optional_access. More...

TL_OPTIONAL_11_CONSTEXPR T &&	value () &&

const TL_OPTIONAL_11_CONSTEXPR T &	value () const &

const TL_OPTIONAL_11_CONSTEXPR T &&	value () const &&

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

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

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

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

template<class F >
decltype(optional_map_impl(std::declval< optional && >(), std::declval< F && >())) TL_OPTIONAL_11_CONSTEXPR	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 >
decltype(optional_map_impl(std::declval< optional & >(), std::declval< F && >())) TL_OPTIONAL_11_CONSTEXPR	transform (F &&f) &
	Carries out some operation on the stored object if there is one. More...

template<class F >
decltype(optional_map_impl(std::declval< optional && >(), std::declval< F && >())) TL_OPTIONAL_11_CONSTEXPR	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 &&

Private Types
using	base = detail::optional_move_assign_base< T >

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 120 of file 3rdparty/tl/optional.hpp.

Member Typedef Documentation

◆ base

template<class T >

using tl::optional< T >::base = detail::optional_move_assign_base<T>

private

Definition at line 682 of file 3rdparty/tl/optional.hpp.

◆ value_type

template<class T >

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

Definition at line 1044 of file 3rdparty/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 1049 of file 3rdparty/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 1065 of file 3rdparty/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 1071 of file 3rdparty/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 1084 of file 3rdparty/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 1090 of file 3rdparty/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 1096 of file 3rdparty/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 1105 of file 3rdparty/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 1115 of file 3rdparty/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 1124 of file 3rdparty/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 739 of file 3rdparty/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 749 of file 3rdparty/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 759 of file 3rdparty/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 770 of file 3rdparty/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 995 of file 3rdparty/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 1001 of file 3rdparty/tl/optional.hpp.

◆ disjunction() [2/8]

template<class T >

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

inline

Definition at line 1009 of file 3rdparty/tl/optional.hpp.

◆ disjunction() [3/8]

template<class T >

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

inlineconstexpr

Definition at line 1005 of file 3rdparty/tl/optional.hpp.

◆ disjunction() [4/8]

template<class T >

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

inlineconstexpr

Definition at line 1014 of file 3rdparty/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 1019 of file 3rdparty/tl/optional.hpp.

◆ disjunction() [6/8]

template<class T >

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

inline

Definition at line 1027 of file 3rdparty/tl/optional.hpp.

◆ disjunction() [7/8]

template<class T >

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

inlineconstexpr

Definition at line 1023 of file 3rdparty/tl/optional.hpp.

◆ disjunction() [8/8]

template<class T >

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

inlineconstexpr

Definition at line 1032 of file 3rdparty/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 1216 of file 3rdparty/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 1229 of file 3rdparty/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 1282 of file 3rdparty/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 943 of file 3rdparty/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 948 of file 3rdparty/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 953 of file 3rdparty/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 959 of file 3rdparty/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 968 of file 3rdparty/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 974 of file 3rdparty/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 980 of file 3rdparty/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 987 of file 3rdparty/tl/optional.hpp.

◆ operator bool()

template<class T >

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

inlineexplicitconstexprnoexcept

Definition at line 1284 of file 3rdparty/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 1269 of file 3rdparty/tl/optional.hpp.

◆ operator*() [2/4]

template<class T >

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

inline

Definition at line 1273 of file 3rdparty/tl/optional.hpp.

◆ operator*() [3/4]

template<class T >

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

inlineconstexpr

Definition at line 1271 of file 3rdparty/tl/optional.hpp.

◆ operator*() [4/4]

template<class T >

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

inlineconstexpr

Definition at line 1278 of file 3rdparty/tl/optional.hpp.

◆ operator->() [1/2]

template<class T >

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

inline

Definition at line 1264 of file 3rdparty/tl/optional.hpp.

◆ operator->() [2/2]

template<class T >

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

inlineconstexpr

Returns a pointer to the stored value.

Definition at line 1260 of file 3rdparty/tl/optional.hpp.

◆ operator=() [1/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=() [2/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 1176 of file 3rdparty/tl/optional.hpp.

◆ operator=() [3/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 1136 of file 3rdparty/tl/optional.hpp.

◆ operator=() [4/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=() [5/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 1198 of file 3rdparty/tl/optional.hpp.

◆ operator=() [6/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 1160 of file 3rdparty/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 885 of file 3rdparty/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 894 of file 3rdparty/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 899 of file 3rdparty/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 908 of file 3rdparty/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 913 of file 3rdparty/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 922 of file 3rdparty/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 928 of file 3rdparty/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 937 of file 3rdparty/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 1329 of file 3rdparty/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 1242 of file 3rdparty/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 1038 of file 3rdparty/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 1289 of file 3rdparty/tl/optional.hpp.

◆ value() [2/4]

template<class T >

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

inline

Definition at line 1299 of file 3rdparty/tl/optional.hpp.

◆ value() [3/4]

template<class T >

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

inline

Definition at line 1294 of file 3rdparty/tl/optional.hpp.

◆ value() [4/4]

template<class T >

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

inline

Definition at line 1306 of file 3rdparty/tl/optional.hpp.

◆ value_or() [1/2]

template<class T >

template<class U >

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

inline

Definition at line 1321 of file 3rdparty/tl/optional.hpp.

◆ value_or() [2/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 1314 of file 3rdparty/tl/optional.hpp.

Member Data Documentation

◆ map [1/4]

template<class T >

template<class F >

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

inline

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

Definition at line 804 of file 3rdparty/tl/optional.hpp.

◆ map [2/4]

template<class T >

template<class F >

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

inline

Definition at line 811 of file 3rdparty/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 818 of file 3rdparty/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 826 of file 3rdparty/tl/optional.hpp.

◆ transform [1/4]

template<class T >

template<class F >

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

inline

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

Definition at line 855 of file 3rdparty/tl/optional.hpp.

◆ transform [2/4]

template<class T >

template<class F >

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

inline

Definition at line 862 of file 3rdparty/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 869 of file 3rdparty/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 877 of file 3rdparty/tl/optional.hpp.

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

3rdparty/tl/optional.hpp

Public Types

Public Member Functions

Public Attributes

Private Types

Detailed Description

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

Member Typedef Documentation

◆ base

◆ 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]

◆ 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]

◆ emplace() [1/2]

◆ emplace() [2/2]

◆ has_value()

◆ 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]

◆ operator bool()

◆ operator*() [1/4]

◆ operator*() [2/4]

◆ operator*() [3/4]

◆ operator*() [4/4]

◆ operator->() [1/2]

◆ operator->() [2/2]

◆ operator=() [1/6]

◆ operator=() [2/6]

◆ operator=() [3/6]

◆ operator=() [4/6]

◆ operator=() [5/6]

◆ operator=() [6/6]

◆ 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]

◆ reset()

◆ swap()

◆ take()

◆ value() [1/4]

◆ value() [2/4]

◆ value() [3/4]

◆ value() [4/4]

◆ value_or() [1/2]

◆ value_or() [2/2]

Member Data Documentation

◆ map [1/4]

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