di::concepts::detail::ExpectedCanConvertConstructor Concept Reference

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

Concept definition

template<typename T, typename E, typename U, typename G>
concept di::concepts::detail::ExpectedCanConvertConstructor = 
    (!ConstructibleFrom<T, vocab::Expected<U, G>> && !ConstructibleFrom<T, vocab::Expected<U, G> const> &&
     !ConstructibleFrom<T, vocab::Expected<U, G>&> && !ConstructibleFrom<T, vocab::Expected<U, G> const&> &&
     !ConvertibleTo<vocab::Expected<U, G>, T> && !ConvertibleTo<vocab::Expected<U, G> const, T> &&
     !ConvertibleTo<vocab::Expected<U, G>&, T> && !ConvertibleTo<vocab::Expected<U, G> const&, T> &&
     (concepts::LanguageVoid<E> || (!ConstructibleFrom<vocab::Unexpected<E>, vocab::Expected<U, G>> &&
                                    !ConstructibleFrom<vocab::Unexpected<E>, vocab::Expected<U, G> const> &&
                                    !ConstructibleFrom<vocab::Unexpected<E>, vocab::Expected<U, G>&> &&
                                    !ConstructibleFrom<vocab::Unexpected<E>, vocab::Expected<U, G> const&>) ))