1 files changed, 89 insertions, 0 deletions
diff --git a/nihil.ucl/object_cast.ccm b/nihil.ucl/object_cast.ccm
new file mode 100644
index 0000000..3fa9eba
--- /dev/null
+++ b/nihil.ucl/object_cast.ccm
@@ -0,0 +1,89 @@
+/*
+ * This source code is released into the public domain.
+ */
+
+module;
+
+#include <coroutine>
+#include <cstdlib>
+#include <expected>
+
+#include <ucl.h>
+
+export module nihil.ucl:object_cast;
+
+import nihil.monad;
+import :type;
+import :object;
+import :array;
+
+namespace nihil::ucl {
+
+/*
+ * Ensure a UCL object is convertible to another type.  Throws type_mismatch
+ * if not.
+ */
+
+// Implementation for basic types.
+template<datatype To>
+struct convert_check
+{
+	[[nodiscard]] auto check(::ucl_object_t const *from)
+		-> std::expected<void, type_mismatch>
+	{
+		auto from_type = static_cast<object_type>(::ucl_object_type(from));
+		auto to_type = To::ucl_type;
+
+		// Converting from anything to object is permitted.
+		if (to_type == object_type::object)
+			return {};
+
+		// Converting between two equal types is permitted.
+		if (from_type == to_type)
+			return {};
+
+		// Otherwise, this is an error.
+		return std::unexpected(type_mismatch(to_type, from_type));
+	}
+};
+
+// Implementation for array.
+template<typename T>
+struct convert_check<array<T>>
+{
+	[[nodiscard]] auto check(::ucl_object_t const *from)
+		-> std::expected<void, type_mismatch>
+	{
+		using To = array<T>;
+		auto from_type = static_cast<object_type>(::ucl_object_type(from));
+		auto to_type = To::ucl_type;
+
+		// If the source type is not an array, this is an error.
+		if (from_type != object_type::array)
+			co_return std::unexpected(
+				type_mismatch(to_type, from_type));
+
+		for (std::size_t i = 0, size = ::ucl_array_size(from);
+		     i < size; ++i) {
+			auto const *arr_obj = ::ucl_array_find_index(from, i);
+			co_await convert_check<typename To::value_type>{}
+					.check(arr_obj);
+		}
+
+		co_return {};
+	}
+};
+
+/*
+ * Convert a UCL object to another type.
+ */
+export template<datatype To>
+auto object_cast(object const &from) -> std::expected<To, type_mismatch>
+{
+	auto uobj = from.get_ucl_object();
+
+	co_await convert_check<To>{}.check(uobj);
+	co_return To(nihil::ucl::ref, uobj);
+}
+
+} // namespace nihil::ucl