unit_test.h

#ifndef UNIT_TEST_H
#define UNIT_TEST_H 

#include<boost/hana.hpp>
#include<iostream>

namespace boost::hana{
	template<class FoldableT> requires Foldable<FoldableT>::value
	std::ostream& operator<<(std::ostream& out, FoldableT const& foldable){
		using std::operator<<;
		return fold(foldable, out<<"<", [](std::ostream& o, auto const& value)->std::ostream&{
			using std::operator<<;
			return o<<value<<", ";
		})<<">";
	}
}

namespace std{
	template<long unsigned N>
	std::ostream& operator<<(std::ostream& out, std::array<auto,N> const& a){
		out<<"{";
		for(auto const& x:a) {
			out<<x<<", ";
		}
		return out<<"}";
	}
}

template<class T> struct is_hana_set:std::false_type{};
template<class... Ts> struct is_hana_set<boost::hana::set<Ts...>>:std::true_type{};
template<class... Ts> struct is_hana_set<boost::hana::detail::map_impl<Ts...>>:std::true_type{};

void print_type(auto const& a){
	std::cout<<typeid(a).name()<<std::endl;
}

void check_equal(auto const& a, auto const& b){
	std::cerr<<"different types: "<<std::endl;
	std::cerr<<"  "<<typeid(a).name()<<std::endl;
	std::cerr<<"≠ "<<typeid(b).name()<<std::endl;
	std::cerr<<"  "<<a<<std::endl;
	std::cerr<<"≠ "<<b<<std::endl;
	std::exit(1);
}
template<class A, class B> requires std::is_same<A,B>::value || (is_hana_set<A>::value && is_hana_set<B>::value)
void check_equal(A const& a, B const& b){
	if(a==b){
		std::cerr<<a<<" == "<<b<<std::endl;
	}else{
		std::cerr<<a<<" != "<<b<<std::endl;
		std::exit(1);
	}
}

void check_less(auto const& a, auto const& b){
	if(a>=b){
		std::cerr<<a<<" >= "<<b<<std::endl;
		std::exit(1);
	}else{
		std::cerr<<a<<" < "<<b<<std::endl;
	}
}

inline auto unused(auto const& a){ static_cast<void>(a); }

#endif /* UNIT_TEST_H */