concepts.hpp File Reference

Provides the general concept definitions. More...

#include "ap/types.hpp"
#include <iostream>
#include <ranges>

Go to the source code of this file.

Namespaces
namespace	ap
namespace	ap::util

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

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

Variables
template<typename T , typename U , type_validator TV>
constexpr bool	ap::util::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.