Ada 2.9.0
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 2070 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 4343 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 4347 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 2053 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 2057 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 4335 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 4339 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 2061 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 2065 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 4374 of file ada.h.

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

Variable Documentation

◆ in_place

in_place_t tl::in_place {}
staticconstexpr

◆ unexpect