Ada 2.9.2
Fast spec-compliant URL parser
Loading...
Searching...
No Matches
tl Namespace Reference

Namespaces

namespace  detail

Classes

class  bad_expected_access
class  expected
struct  in_place_t
class  monostate
struct  unexpect_t
class  unexpected

Functions

template<class E>
constexpr bool operator== (const unexpected< E > &lhs, const unexpected< E > &rhs)
template<class E>
constexpr bool operator!= (const unexpected< E > &lhs, const unexpected< E > &rhs)
template<class E>
constexpr bool operator< (const unexpected< E > &lhs, const unexpected< E > &rhs)
template<class E>
constexpr bool operator<= (const unexpected< E > &lhs, const unexpected< E > &rhs)
template<class E>
constexpr bool operator> (const unexpected< E > &lhs, const unexpected< E > &rhs)
template<class E>
constexpr bool operator>= (const unexpected< E > &lhs, const unexpected< E > &rhs)
template<class E>
unexpected< typename std::decay< E >::type > make_unexpected (E &&e)
template<class T, class E, class U, class F>
constexpr bool operator== (const expected< T, E > &lhs, const expected< U, F > &rhs)
template<class T, class E, class U, class F>
constexpr bool operator!= (const expected< T, E > &lhs, const expected< U, F > &rhs)
template<class E, class F>
constexpr bool operator== (const expected< void, E > &lhs, const expected< void, F > &rhs)
template<class E, class F>
constexpr bool operator!= (const expected< void, E > &lhs, const expected< void, F > &rhs)
template<class T, class E, class U>
constexpr bool operator== (const expected< T, E > &x, const U &v)
template<class T, class E, class U>
constexpr bool operator== (const U &v, const expected< T, E > &x)
template<class T, class E, class U>
constexpr bool operator!= (const expected< T, E > &x, const U &v)
template<class T, class E, class U>
constexpr bool operator!= (const U &v, const expected< T, E > &x)
template<class T, class E>
constexpr bool operator== (const expected< T, E > &x, const unexpected< E > &e)
template<class T, class E>
constexpr bool operator== (const unexpected< E > &e, const expected< T, E > &x)
template<class T, class E>
constexpr bool operator!= (const expected< T, E > &x, const unexpected< E > &e)
template<class T, class E>
constexpr bool operator!= (const unexpected< E > &e, const expected< T, E > &x)
template<class T, class E, detail::enable_if_t<(std::is_void< T >::value||std::is_move_constructible< T >::value) &&detail::is_swappable< T >::value &&std::is_move_constructible< E >::value &&detail::is_swappable< E >::value > * = nullptr>
void swap (expected< T, E > &lhs, expected< T, E > &rhs) noexcept(noexcept(lhs.swap(rhs)))

Variables

static constexpr in_place_t in_place {}
static constexpr unexpect_t unexpect {}

Function Documentation

◆ make_unexpected()

template<class E>
unexpected< typename std::decay< E >::type > tl::make_unexpected ( E && e)

Definition at line 2082 of file ada.h.

References make_unexpected().

Referenced by make_unexpected().

◆ operator!=() [1/7]

template<class T, class E, class U, class F>
bool tl::operator!= ( const expected< T, E > & lhs,
const expected< U, F > & rhs )
constexpr

◆ operator!=() [2/7]

template<class T, class E, class U>
bool tl::operator!= ( const expected< T, E > & x,
const U & v )
constexpr

Definition at line 4355 of file ada.h.

References tl::expected< T, E >::has_value(), and operator!=().

◆ operator!=() [3/7]

template<class T, class E>
bool tl::operator!= ( const expected< T, E > & x,
const unexpected< E > & e )
constexpr

◆ operator!=() [4/7]

template<class E, class F>
bool tl::operator!= ( const expected< void, E > & lhs,
const expected< void, F > & rhs )
constexpr

◆ operator!=() [5/7]

template<class T, class E, class U>
bool tl::operator!= ( const U & v,
const expected< T, E > & x )
constexpr

Definition at line 4359 of file ada.h.

References tl::expected< T, E >::has_value(), and operator!=().

◆ operator!=() [6/7]

template<class T, class E>
bool tl::operator!= ( const unexpected< E > & e,
const expected< T, E > & x )
constexpr

◆ operator!=() [7/7]

template<class E>
bool tl::operator!= ( const unexpected< E > & lhs,
const unexpected< E > & rhs )
constexpr

◆ operator<()

template<class E>
bool tl::operator< ( const unexpected< E > & lhs,
const unexpected< E > & rhs )
constexpr

Definition at line 2065 of file ada.h.

References operator<(), and tl::unexpected< E >::value().

Referenced by operator<().

◆ operator<=()

template<class E>
bool tl::operator<= ( const unexpected< E > & lhs,
const unexpected< E > & rhs )
constexpr

Definition at line 2069 of file ada.h.

References operator<=(), and tl::unexpected< E >::value().

Referenced by operator<=().

◆ operator==() [1/7]

template<class T, class E, class U, class F>
bool tl::operator== ( const expected< T, E > & lhs,
const expected< U, F > & rhs )
constexpr

◆ operator==() [2/7]

template<class T, class E, class U>
bool tl::operator== ( const expected< T, E > & x,
const U & v )
constexpr

Definition at line 4347 of file ada.h.

References tl::expected< T, E >::has_value(), and operator==().

◆ operator==() [3/7]

template<class T, class E>
bool tl::operator== ( const expected< T, E > & x,
const unexpected< E > & e )
constexpr

◆ operator==() [4/7]

template<class E, class F>
bool tl::operator== ( const expected< void, E > & lhs,
const expected< void, F > & rhs )
constexpr

◆ operator==() [5/7]

template<class T, class E, class U>
bool tl::operator== ( const U & v,
const expected< T, E > & x )
constexpr

Definition at line 4351 of file ada.h.

References tl::expected< T, E >::has_value(), and operator==().

◆ operator==() [6/7]

template<class T, class E>
bool tl::operator== ( const unexpected< E > & e,
const expected< T, E > & x )
constexpr

◆ operator==() [7/7]

template<class E>
bool tl::operator== ( const unexpected< E > & lhs,
const unexpected< E > & rhs )
constexpr

◆ operator>()

template<class E>
bool tl::operator> ( const unexpected< E > & lhs,
const unexpected< E > & rhs )
constexpr

Definition at line 2073 of file ada.h.

References operator>(), and tl::unexpected< E >::value().

Referenced by operator>().

◆ operator>=()

template<class E>
bool tl::operator>= ( const unexpected< E > & lhs,
const unexpected< E > & rhs )
constexpr

Definition at line 2077 of file ada.h.

References operator>=(), and tl::unexpected< E >::value().

Referenced by operator>=().

◆ swap()

template<class T, class E, detail::enable_if_t<(std::is_void< T >::value||std::is_move_constructible< T >::value) &&detail::is_swappable< T >::value &&std::is_move_constructible< E >::value &&detail::is_swappable< E >::value > * = nullptr>
void tl::swap ( expected< T, E > & lhs,
expected< T, E > & rhs )
noexcept

Definition at line 4386 of file ada.h.

References tl::expected< T, E >::swap(), and swap().

Referenced by swap().

Variable Documentation

◆ in_place

◆ unexpect