summaryrefslogtreecommitdiff
path: root/c++/unit_print.h
blob: 4d9187bbca746b2528709ef9137f32cd6db5c741 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
#include "./unit.h"

#include <iostream>


namespace std {
template<typename UnitT, int64_t UnitE>
inline ostream& operator<<(ostream& o, const kel::unit_base<UnitT,UnitE>& ele){
	o<<UnitT::short_name;
	if constexpr ( UnitE != 1 ){
		o<<'^'<<'('<<UnitE<<')';
	}
	return o;
}
}

namespace kel {
template<typename... T>
struct unit_print_impl {
	static_assert(is_always_false<T...>, "Template type not supported");
};

template<typename UnitT, int64_t UnitE, typename... UnitTL, int64_t... UnitEL>
struct unit_print_impl<unit_base<UnitT,UnitE>,unit_base<UnitTL,UnitEL>...> {
	static std::ostream& print(std::ostream& o){
		
		unit_base<UnitT,UnitE> element;

		std::ostream& o_ret = o << element;

		if constexpr (sizeof...(UnitTL) > 0){
			std::ostream& o_ret_next = o_ret << ' ' << '*' << ' ';
			return unit_print_impl<unit_base<UnitTL,UnitEL>...>::print(o_ret_next);
		}

		return o_ret<<']';
	}
};
}

namespace std {

template<typename StorageT, typename... T>
inline ostream& operator<<(ostream& o, const kel::unit<StorageT,T...>& unit);

template<typename StorageT, typename... UnitT, int64_t... UnitE>
inline ostream& operator<<(ostream& o, const kel::unit<StorageT,kel::unit_base<UnitT,UnitE>...>& unit){
	o << unit.data();
	if constexpr (sizeof...(UnitT) > 0) {
		auto& o_ret = o << ' '<<'[';
		return kel::unit_print_impl<kel::unit_base<UnitT,UnitE>...>::print(o_ret);
	}
	return o;
}
}