concepts.hpp File Reference

Concepts. More...

#include <iostream>

Go to the source code of this file.

Classes
struct	templa::concepts::is_basic_string< T >
	Helper struct to detect if a type is std::basic_string. More...
struct	templa::concepts::is_basic_string< std::basic_string< C, T, A > >

Concepts
concept	templa::concepts::Hashable
	Concept to check if a type is hashable via std::hash.
concept	templa::concepts::Integral
	Concept to check if a type is an integral type.
concept	templa::concepts::CallableWith
	Concept to check if a callable can be invoked with given argument types.
concept	templa::concepts::Comparable
	Concept to check if a type supports common comparison operators.
concept	templa::concepts::UnsignedIntegral
	Concept to check if a type is an unsigned integral type.
concept	templa::concepts::SignedIntegral
	Concept to check if a type is a signed integral type.
concept	templa::concepts::Addable
	Concept to check if a type supports addition operations.
concept	templa::concepts::Subtractable
	Concept to check if a type supports subtraction operations.
concept	templa::concepts::Multipliable
	Concept to check if a type supports multiplication operations.
concept	templa::concepts::Divisible
	Concept to check if a type supports division operations.
concept	templa::concepts::Arithmetical
	Concept to check if a type supports all basic arithmetic operations.
concept	templa::concepts::Streamable
	Concept to check if a type can be streamed to an std::ostream.
concept	templa::concepts::DefaultErasable
	Concept checking if an object can be destroyed via std::destroy_at.
concept	templa::concepts::AllocatorErasable
	Concept checking if an object can be destroyed via an allocator.
concept	templa::concepts::AllocatorAware
	Concept checking if a type has a get_allocator() method returning allocator_type.
concept	templa::concepts::Erasable
	Concept to check if a container supports erasing of elements.
concept	templa::concepts::Container
	Concept that models an STL-like container.
concept	templa::concepts::is_specialization_of
	Checks whether a given type T is a specialization of the class template Template.
concept	templa::concepts::requires_all
	Concept satisfied only if all boolean conditions are true.

Variables
template<class T>
constexpr bool	templa::concepts::is_basic_string_v = is_basic_string<T>::value
	Variable template shortcut for is_basic_string.

Detailed Description

Concepts.