TypeValidation.hpp File Reference

#include <type_traits>
#include <stratax/core/Concepts.hpp>
#include <stratax/core/Exceptions.hpp>

Go to the source code of this file.

Namespaces
namespace	stratax
namespace	stratax::core
namespace	stratax::core::validation

Functions
template<typename Actual, typename Expected>
void	stratax::core::validation::require_type (const char *message)
	Requires a type to exactly match an expected type after cv/ref removal.
template<typename T>
void	stratax::core::validation::require_numeric_type (const char *message)
	Requires a type to satisfy Stratax's numeric type rules.
template<typename Lhs, typename Rhs> requires requires { typename Lhs::value_type; typename Rhs::value_type; }
void	stratax::core::validation::require_same_value_type (const Lhs &lhs, const Rhs &rhs, const char *message)
	Requires two array-like objects to have the same value type.