concepts.hpp File Reference

Provides the general concept definitions. More...

#include <iostream>
#include <ranges>

Go to the source code of this file.

Namespaces
namespace	ap
namespace	ap::detail

Concepts
concept	ap::detail::c_readable
	The concept is satisfied when T overloads the std::istream operator >>.
concept	ap::detail::c_trivially_readable
	The concept is satisfied when T can be constructed from const std::string&.
concept	ap::detail::c_writable
	The concept is satisfied when T overloads the std::ostream operator <<.
concept	ap::detail::c_arithmetic
	The concept is satisfied when T is an arithmetic type.
concept	ap::detail::c_argument_value_type
	The concept is used to verify the validity of the arguments' value types.
concept	ap::detail::c_one_of
	Validates that T is the same as one of the types defined by Types.
concept	ap::detail::c_valid_type
	Concept that enforces is_valid_type_v.
concept	ap::detail::c_range_of
	Validates that R is a range of type T (ignoring the cvref attributes).
concept	ap::detail::c_sized_range_of
	Validates that R is a sized range of type T (ignoring the cvref attributes).

Enumerations
enum class	ap::detail::type_validator : bool { ap::detail::same , ap::detail::convertible }
	Specifies the type validation rule. More...

Variables
template<typename T , typename U , type_validator TV>
constexpr bool	ap::detail::is_valid_type_v = false
	Checks if two types satisfy a given type_validator rule.

Detailed Description

Provides the general concept definitions.

Definition in file concepts.hpp.