validate.hpp File Reference

#include <tuple>
#include <type_traits>
#include "common.hpp"
#include "../traits.hpp"

Include dependency graph for validate.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	yorch
namespace	yorch::detail

Enumerations
enum class	yorch::detail::bind_error { yorch::detail::ok , yorch::detail::member_callable_not_supported , yorch::detail::callable_shape_invalid , yorch::detail::arity_mismatch }
enum class	yorch::detail::bind_into_error {   yorch::detail::ok , yorch::detail::invalid_output_type , yorch::detail::member_callable_not_supported , yorch::detail::callable_shape_invalid ,   yorch::detail::missing_output_parameter , yorch::detail::arity_mismatch , yorch::detail::last_parameter_not_direct_out }
enum class	yorch::detail::bind_member_error { yorch::detail::ok , yorch::detail::callable_not_member , yorch::detail::direct_output_member_not_supported , yorch::detail::arity_mismatch }
enum class	yorch::detail::bind_into_member_error {   yorch::detail::ok , yorch::detail::invalid_output_type , yorch::detail::callable_not_member , yorch::detail::missing_output_parameter ,   yorch::detail::arity_mismatch , yorch::detail::last_parameter_not_direct_out }

Functions
template<typename F , typename... Specs>
consteval bind_error	yorch::detail::validate_bind ()
template<typename F , typename... Specs>
consteval void	yorch::detail::emit_bind_diagnostic ()
template<typename T , typename F , typename... Specs>
consteval bind_into_error	yorch::detail::validate_bind_into ()
template<typename T , typename F , typename... Specs>
consteval void	yorch::detail::emit_bind_into_diagnostic ()
template<typename F , typename ReceiverSpec , typename... Specs>
consteval bind_member_error	yorch::detail::validate_bind_member ()
template<typename F , typename ReceiverSpec , typename... Specs>
consteval void	yorch::detail::emit_bind_member_diagnostic ()
template<typename T , typename F , typename ReceiverSpec , typename... Specs>
consteval bind_into_member_error	yorch::detail::validate_bind_into_member ()
template<typename T , typename F , typename ReceiverSpec , typename... Specs>
consteval void	yorch::detail::emit_bind_into_member_diagnostic ()