|
template<class T> |
using | remove_const_t = typename std::remove_const<T>::type |
template<class T> |
using | remove_reference_t = typename std::remove_reference<T>::type |
template<class T> |
using | decay_t = typename std::decay<T>::type |
template<bool E, class T = void> |
using | enable_if_t = typename std::enable_if<E, T>::type |
template<bool B, class T, class F> |
using | conditional_t = typename std::conditional<B, T, F>::type |
template<class F, class... Us> |
using | invoke_result = invoke_result_impl<F, void, Us...> |
template<class F, class... Us> |
using | invoke_result_t = typename invoke_result<F, Us...>::type |
template<class T> |
using | is_expected = is_expected_impl<decay_t<T>> |
template<class T, class E, class U> |
using | expected_enable_forward_value |
template<class T, class E, class U, class G, class UR, class GR> |
using | expected_enable_from_other |
template<class T, class U> |
using | is_void_or = conditional_t<std::is_void<T>::value, std::true_type, U> |
template<class T> |
using | is_copy_constructible_or_void |
template<class T> |
using | is_move_constructible_or_void |
template<class T> |
using | is_copy_assignable_or_void = is_void_or<T, std::is_copy_assignable<T>> |
template<class T> |
using | is_move_assignable_or_void = is_void_or<T, std::is_move_assignable<T>> |
template<class Exp> |
using | exp_t = typename detail::decay_t<Exp>::value_type |
template<class Exp> |
using | err_t = typename detail::decay_t<Exp>::error_type |
template<class Exp, class Ret> |
using | ret_t = expected<Ret, err_t<Exp>> |
|
template<typename E> |
TL_EXPECTED_11_CONSTEXPR void | throw_exception (E &&e) |
template<typename Fn, typename... Args, typename = enable_if_t<std::is_member_pointer<decay_t<Fn>>::value>, int = 0> |
constexpr auto | invoke (Fn &&f, Args &&...args) noexcept(noexcept(std::mem_fn(f)(std::forward< Args >(args)...))) -> decltype(std::mem_fn(f)(std::forward< Args >(args)...)) |
template<typename Fn, typename... Args, typename = enable_if_t<!std::is_member_pointer<decay_t<Fn>>::value>> |
constexpr auto | invoke (Fn &&f, Args &&...args) noexcept(noexcept(std::forward< Fn >(f)(std::forward< Args >(args)...))) -> decltype(std::forward< Fn >(f)(std::forward< Args >(args)...)) |
template<class Exp, class F, class Ret = decltype(detail::invoke(std::declval<F>(), *std::declval<Exp>())), detail::enable_if_t<!std::is_void< exp_t< Exp > >::value > * = nullptr> |
auto | and_then_impl (Exp &&exp, F &&f) -> Ret |
template<class Exp, class F, class Ret = decltype(detail::invoke(std::declval<F>())), detail::enable_if_t< std::is_void< exp_t< Exp > >::value > * = nullptr> |
constexpr auto | and_then_impl (Exp &&exp, F &&f) -> Ret |
template<class Exp, class F, detail::enable_if_t<!std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>(), *std::declval<Exp>())), detail::enable_if_t<!std::is_void< Ret >::value > * = nullptr> |
constexpr auto | expected_map_impl (Exp &&exp, F &&f) -> ret_t< Exp, detail::decay_t< Ret > > |
template<class Exp, class F, detail::enable_if_t<!std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>(), *std::declval<Exp>())), detail::enable_if_t< std::is_void< Ret >::value > * = nullptr> |
auto | expected_map_impl (Exp &&exp, F &&f) -> expected< void, err_t< Exp > > |
template<class Exp, class F, detail::enable_if_t< std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>())), detail::enable_if_t<!std::is_void< Ret >::value > * = nullptr> |
constexpr auto | expected_map_impl (Exp &&exp, F &&f) -> ret_t< Exp, detail::decay_t< Ret > > |
template<class Exp, class F, detail::enable_if_t< std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>())), detail::enable_if_t< std::is_void< Ret >::value > * = nullptr> |
auto | expected_map_impl (Exp &&exp, F &&f) -> expected< void, err_t< Exp > > |
template<class Exp, class F, detail::enable_if_t<!std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>(), std::declval<Exp>().error())), detail::enable_if_t<!std::is_void< Ret >::value > * = nullptr> |
constexpr auto | map_error_impl (Exp &&exp, F &&f) -> expected< exp_t< Exp >, detail::decay_t< Ret > > |
template<class Exp, class F, detail::enable_if_t<!std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>(), std::declval<Exp>().error())), detail::enable_if_t< std::is_void< Ret >::value > * = nullptr> |
auto | map_error_impl (Exp &&exp, F &&f) -> expected< exp_t< Exp >, monostate > |
template<class Exp, class F, detail::enable_if_t< std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>(), std::declval<Exp>().error())), detail::enable_if_t<!std::is_void< Ret >::value > * = nullptr> |
constexpr auto | map_error_impl (Exp &&exp, F &&f) -> expected< exp_t< Exp >, detail::decay_t< Ret > > |
template<class Exp, class F, detail::enable_if_t< std::is_void< exp_t< Exp > >::value > * = nullptr, class Ret = decltype(detail::invoke(std::declval<F>(), std::declval<Exp>().error())), detail::enable_if_t< std::is_void< Ret >::value > * = nullptr> |
auto | map_error_impl (Exp &&exp, F &&f) -> expected< exp_t< Exp >, monostate > |
template<class Exp, class F, class Ret = decltype(detail::invoke(std::declval<F>(), std::declval<Exp>().error())), detail::enable_if_t<!std::is_void< Ret >::value > * = nullptr> |
auto | or_else_impl (Exp &&exp, F &&f) -> Ret |
template<class Exp, class F, class Ret = decltype(detail::invoke(std::declval<F>(), std::declval<Exp>().error())), detail::enable_if_t< std::is_void< Ret >::value > * = nullptr> |
detail::decay_t< Exp > | or_else_impl (Exp &&exp, F &&f) |