aboutsummaryrefslogtreecommitdiffstats
path: root/nihil.ucl/boolean.ccm
blob: 6a938675caedbaa30eb0166f47fea55684e22e87 (plain) (blame)
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
/*
 * This source code is released into the public domain.
 */

module;

#include <cassert>
#include <cstdint>
#include <cstdlib>
#include <string>

#include <ucl.h>

export module nihil.ucl:boolean;

import :object;

namespace nihil::ucl {

export struct boolean final : object {
	using contained_type = bool;

	inline static constexpr object_type ucl_type = object_type::boolean;

	// Create a new boolean from a UCL object.
	boolean(ref_t, ::ucl_object_t const *uobj)
		: object(nihil::ucl::ref, uobj)
	{
		if (type() != ucl_type)
			throw type_mismatch(ucl_type, type());
	}

	boolean(noref_t, ::ucl_object_t *uobj)
		: object(noref, uobj)
	{
		if (type() != ucl_type)
			throw type_mismatch(ucl_type, type());
	}

	// Create a new default-initialised boolean.
	boolean() : boolean(false) {}

	// Create a new boolean from a value.
	explicit boolean(contained_type value)
		: object(noref, ::ucl_object_frombool(value))
	{
		if (_object == nullptr)
			throw error("failed to create UCL object");
	}

	// Return this object's value.
	auto value(this boolean const &self) -> contained_type
	{
		auto v = contained_type{};
		auto const *uobj = self.get_ucl_object();

		if (::ucl_object_toboolean_safe(uobj, &v))
			return v;

		std::abort();
	}
};

/*
 * Comparison operators.
 */

export auto operator== (boolean const &a, boolean const &b)
	-> bool
{
	return a.value() == b.value();
}

export auto operator<=> (boolean const &a, boolean const &b)
	-> std::strong_ordering
{
	return a.value() <=> b.value();
}

export auto operator== (boolean const &a, boolean::contained_type b)
	-> bool
{
	return a.value() == b;
}

export auto operator<=> (boolean const &a, boolean::contained_type b)
	-> std::strong_ordering
{
	return a.value() <=> b;
}

} // namespace nihil::ucl