thanks to nvidia ❤

8ae5fc5 over 3 years ago

4.69 kB

#include <metal.hpp>

#include <map>
#include <tuple>
#include <utility>

#include "example.hpp"

HIDE(
/// [map1]
using m = metal::list<>; // an empty map
/// [map1]

IS_SAME(metal::is_map<m>, metal::true_);
)

HIDE(
/// [map2]
using m = metal::list<
    metal::list<int, long>,
    metal::list<float, double>
>;
/// [map2]

IS_SAME(metal::is_map<m>, metal::true_);
)

HIDE(
/// [not_a_map1]
using not_a_map = metal::list< // repeated keys
    metal::list<int, int*>,
    metal::list<int, int&>
>;
/// [not_a_map1]

IS_SAME(metal::is_map<not_a_map>, metal::false_);
)

HIDE(
/// [not_a_map2]
using not_a_map = metal::list< // not a list of pairs
    metal::list<int>,
    metal::list<int, int&>
>;
/// [not_a_map2]

IS_SAME(metal::is_map<not_a_map>, metal::false_);
)

HIDE(
/// [is_map]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(metal::is_map<m>, metal::true_);
IS_SAME(metal::is_map<metal::list<>>, metal::true_);
IS_SAME(metal::is_map<metal::pair<int, int*>>, metal::false_);
IS_SAME(metal::is_map<std::map<char, int>>, metal::false_);
IS_SAME(metal::is_map<void>, metal::false_);
/// [is_map]
)

HIDE(
/// [as_map]
template<class...> struct a {};
template<class...> struct b {};
template<class...> struct c {};

IS_SAME(
    metal::as_map<a<b<int, int*>, c<char, char*>>>,
    metal::map<metal::pair<int, int*>, metal::pair<char, char*>>
);

IS_SAME(
    metal::as_map<std::tuple<std::pair<int, int*>, std::pair<char, char*>>>,
    metal::map<metal::pair<int, int*>, metal::pair<char, char*>>
);
/// [as_map]
)

HIDE(
/// [order]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(metal::order<m, int>, metal::number<0>);
IS_SAME(metal::order<m, char>, metal::number<1>);
IS_SAME(metal::order<m, float>, metal::number<2>);
/// [order]
)

HIDE(
/// [has_key]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(metal::has_key<m, int>, metal::true_);
IS_SAME(metal::has_key<m, char>, metal::true_);
IS_SAME(metal::has_key<m, float>, metal::true_);
IS_SAME(metal::has_key<m, void>, metal::false_);
/// [has_key]
)

HIDE(
/// [at_key]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(metal::at_key<m, int>, metal::number<sizeof(int)>);
IS_SAME(metal::at_key<m, char>, metal::number<sizeof(char)>);
IS_SAME(metal::at_key<m, float>, metal::number<sizeof(float)>);
/// [at_key]
)

HIDE(
/// [insert_key]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(
    metal::insert_key<m, void, metal::number<0>>,
    metal::map<
        metal::pair<int, metal::number<sizeof(int)>>,
        metal::pair<char, metal::number<sizeof(char)>>,
        metal::pair<float, metal::number<sizeof(float)>>,
        metal::pair<void, metal::number<0>>
    >
);
/// [insert_key]
)

HIDE(
/// [erase_key]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(
    metal::erase_key<m, int>,
    metal::map<
        metal::pair<char, metal::number<sizeof(char)>>,
        metal::pair<float, metal::number<sizeof(float)>>
    >
);

IS_SAME(
    metal::erase_key<m, char>,
    metal::map<
        metal::pair<int, metal::number<sizeof(int)>>,
        metal::pair<float, metal::number<sizeof(float)>>
    >
);

IS_SAME(
    metal::erase_key<m, float>,
    metal::map<
        metal::pair<int, metal::number<sizeof(int)>>,
        metal::pair<char, metal::number<sizeof(char)>>
    >
);
/// [erase_key]
)

HIDE(
/// [keys]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(metal::keys<m>, metal::list<int, char, float>);
/// [keys]
)

HIDE(
/// [values]
using m = metal::map<
    metal::pair<int, metal::number<sizeof(int)>>,
    metal::pair<char, metal::number<sizeof(char)>>,
    metal::pair<float, metal::number<sizeof(float)>>
>;

IS_SAME(
    metal::values<m>,
    metal::numbers<sizeof(int), sizeof(char), sizeof(float)>
);
/// [values]
)

	#include <metal.hpp>

	#include <map>
	#include <tuple>
	#include <utility>

	#include "example.hpp"

	HIDE(
	/// [map1]
	using m = metal::list<>; // an empty map
	/// [map1]

	IS_SAME(metal::is_map<m>, metal::true_);
	)

	HIDE(
	/// [map2]
	using m = metal::list<
	metal::list<int, long>,
	metal::list<float, double>
	>;
	/// [map2]

	IS_SAME(metal::is_map<m>, metal::true_);
	)

	HIDE(
	/// [not_a_map1]
	using not_a_map = metal::list< // repeated keys
	metal::list<int, int*>,
	metal::list<int, int&>
	>;
	/// [not_a_map1]

	IS_SAME(metal::is_map<not_a_map>, metal::false_);
	)

	HIDE(
	/// [not_a_map2]
	using not_a_map = metal::list< // not a list of pairs
	metal::list<int>,
	metal::list<int, int&>
	>;
	/// [not_a_map2]

	IS_SAME(metal::is_map<not_a_map>, metal::false_);
	)

	HIDE(
	/// [is_map]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(metal::is_map<m>, metal::true_);
	IS_SAME(metal::is_map<metal::list<>>, metal::true_);
	IS_SAME(metal::is_map<metal::pair<int, int*>>, metal::false_);
	IS_SAME(metal::is_map<std::map<char, int>>, metal::false_);
	IS_SAME(metal::is_map<void>, metal::false_);
	/// [is_map]
	)

	HIDE(
	/// [as_map]
	template<class...> struct a {};
	template<class...> struct b {};
	template<class...> struct c {};

	IS_SAME(
	metal::as_map<a<b<int, int>, c<char, char>>>,
	metal::map<metal::pair<int, int>, metal::pair<char, char>>
	);

	IS_SAME(
	metal::as_map<std::tuple<std::pair<int, int>, std::pair<char, char>>>,
	metal::map<metal::pair<int, int>, metal::pair<char, char>>
	);
	/// [as_map]
	)

	HIDE(
	/// [order]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(metal::order<m, int>, metal::number<0>);
	IS_SAME(metal::order<m, char>, metal::number<1>);
	IS_SAME(metal::order<m, float>, metal::number<2>);
	/// [order]
	)

	HIDE(
	/// [has_key]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(metal::has_key<m, int>, metal::true_);
	IS_SAME(metal::has_key<m, char>, metal::true_);
	IS_SAME(metal::has_key<m, float>, metal::true_);
	IS_SAME(metal::has_key<m, void>, metal::false_);
	/// [has_key]
	)

	HIDE(
	/// [at_key]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(metal::at_key<m, int>, metal::number<sizeof(int)>);
	IS_SAME(metal::at_key<m, char>, metal::number<sizeof(char)>);
	IS_SAME(metal::at_key<m, float>, metal::number<sizeof(float)>);
	/// [at_key]
	)

	HIDE(
	/// [insert_key]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(
	metal::insert_key<m, void, metal::number<0>>,
	metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>,
	metal::pair<void, metal::number<0>>
	>
	);
	/// [insert_key]
	)

	HIDE(
	/// [erase_key]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(
	metal::erase_key<m, int>,
	metal::map<
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>
	);

	IS_SAME(
	metal::erase_key<m, char>,
	metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>
	);

	IS_SAME(
	metal::erase_key<m, float>,
	metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>
	>
	);
	/// [erase_key]
	)

	HIDE(
	/// [keys]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(metal::keys<m>, metal::list<int, char, float>);
	/// [keys]
	)

	HIDE(
	/// [values]
	using m = metal::map<
	metal::pair<int, metal::number<sizeof(int)>>,
	metal::pair<char, metal::number<sizeof(char)>>,
	metal::pair<float, metal::number<sizeof(float)>>
	>;

	IS_SAME(
	metal::values<m>,
	metal::numbers<sizeof(int), sizeof(char), sizeof(float)>
	);
	/// [values]
	)