Ikarus::traits Namespace Reference

Classes
struct	FunctionTraits
	Type trait for extracting information about functions. More...
struct	hasType
	Type trait to check if a specified type is present in a tuple. More...
struct	Index
	Type trait to get the index of a type in a tuple. More...
struct	is_tuple< std::tuple< T... > >
	Type trait to check if a type is an instantiation of std::tuple. More...
struct	isSpecialization< U, U< T... > >
	Type trait to check if a class is a specialization of a template. More...
struct	isSpecializationNonTypeAndTypes< Type, Type< T, N... > >
	Type trait to check if a class is a specialization of a template with a non-type parameter and types. More...
struct	isSpecializationNonTypes< Type, Type< N... > >
	Type trait to check if a class is a specialization of a template with non-type parameters. More...
struct	isSpecializationTypeNonTypeAndType< Type, Type< T, M, N > >
	Type trait to check if a class is a specialization of a template with types and two non-type parameters. More...
struct	Rebind
	Type trait to rebind the underlying type of containers. More...

Concepts
concept	Pointer
	Concept to check if a type is a pointer or nullptr_t.

Typedefs
template<typename Fun , typename... Args>
using	ReturnType = std::invoke_result_t< Fun, Args... >
	Type trait to obtain the return type of a callable type when given specific arguments. More...

Functions
template<class Tuple , class Type > requires is_tuple<Tuple>
::value consteval int	countType ()
	Metafunction to count the occurrences of a specific type in a tuple. More...