Contains stl-like type traits. More...

#include <functional>
#include <memory>
#include <tuple>
#include <type_traits>
#include <dune/common/hybridutilities.hh>

Classes
struct	Ikarus::traits::is_tuple< std::tuple< T... > >
	Type trait to check if a type is an instantiation of std::tuple. More...

struct	Ikarus::traits::hasType< T, Tuple >
	Type trait to check if a specified type is present in a tuple. More...

struct	Ikarus::traits::isSharedPtr< T >
	Type trait to check if a type is a isSharedPtr. More...

struct	Ikarus::traits::isUniquePtr< T >
	Type trait to check if a type is a isUniquePtr. More...

class	Ikarus::traits::remove_pointer< T >

struct	Ikarus::traits::isSpecialization< U, U< T... > >
	Type trait to check if a class is a specialization of a template. More...

struct	Ikarus::traits::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	Ikarus::traits::isSpecializationNonTypeNonTypeAndTypes< Type, Type< T, R, N... > >
	Type trait to check if a class is a specialization of a template with two non-type parameter and types. More...

struct	Ikarus::traits::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	Ikarus::traits::isSpecializationNonTypes< Type, Type< N... > >
	Type trait to check if a class is a specialization of a template with non-type parameters. More...

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

concept	Ikarus::traits::EigenSparseMatrix
	Concept to check if a type is an Eigen SparseMatrix.

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

template<typename T >
using	Ikarus::traits::remove_pointer_t = typename remove_pointer< T >::type

template<typename Tuple , std::size_t Pos, typename NewType >
using	Ikarus::traits::ReplaceTypeAtPos_t = typename ReplaceTypeAtPos< Tuple, Pos, NewType >::type
	Alias template for ReplaceTypeAtPos. More...

template<typename R , typename Tuple >
using	Ikarus::traits::TupleToFunctionType_t = typename TupleToFunctionType< R, Tuple >::type
	Alias template for TupleToFunctionType. More...

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

Classes

Namespaces