di::vocab::detail::TryInfallibleFunction Struct Reference

#include <di/vocab/expected/try_infallible.h>

Inheritance diagram for di::vocab::detail::TryInfallibleFunction:

Public Member Functions
template<concepts::Expected T> requires (concepts::LanguageVoid<meta::ExpectedError<T>> && concepts::ConstructibleFrom<meta::ExpectedValue<T>, meta::Like<T, meta::ExpectedValue<T>>>)
constexpr auto	operator() (T &&value) const -> meta::ExpectedValue< T >
constexpr void	operator() (Expected< void, void >) const
template<concepts::Expected T> requires (!concepts::LanguageVoid<meta::ExpectedError<T>> && concepts::ConstructibleFrom<meta::Decay<T>, T>)
constexpr auto	operator() (T &&value) const -> meta::Decay< T >

Member Function Documentation

operator()() [1/3]

void di::vocab::detail::TryInfallibleFunction::operator() ( Expected< void, void > ) const

inlineconstexpr

operator()() [2/3]

template<concepts::Expected T>
requires (!concepts::LanguageVoid<meta::ExpectedError<T>> && concepts::ConstructibleFrom<meta::Decay<T>, T>)

auto di::vocab::detail::TryInfallibleFunction::operator() ( T && value ) const -> meta::Decay<T>

inlineconstexpr

operator()() [3/3]

template<concepts::Expected T>
requires (concepts::LanguageVoid<meta::ExpectedError<T>> && concepts::ConstructibleFrom<meta::ExpectedValue<T>, meta::Like<T, meta::ExpectedValue<T>>>)

auto di::vocab::detail::TryInfallibleFunction::operator() ( T && value ) const -> meta::ExpectedValue<T>

inlineconstexpr

---

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

• libs/di/include/di/vocab/expected/try_infallible.h