Concepts.h

#ifndef CONCEPTS_H
#define CONCEPTS_H

#include <vector>
#include <map>
#include <memory>
#include <experimental/type_traits>

// FIXME use C++20 concepts when available

template<typename T, typename... Types>
constexpr inline bool IsAllSameType = (... && std::is_same<T, Types>::value);

// Useful to tell if typename T is an instance of a particular template, usage e.g. IsInstance<T, std::vector>
template <typename Test, template<typename...> class Ref>
constexpr inline bool IsInstance = false;
template <template<typename...> class Ref, typename... Args>
constexpr inline bool IsInstance<Ref<Args...>, Ref> = true;

template<typename T>
constexpr inline bool IsVector = IsInstance<T, std::vector>;

template<typename T>
constexpr inline bool IsPair = IsInstance<T, std::pair>;

template<typename T>
constexpr inline bool IsMap = IsInstance<T, std::map>;

template <typename T>
constexpr inline bool IsSharedPointer = IsInstance<T, std::shared_ptr>;

#endif // CONCEPTS_H