libk: add Result<T, E> class

1 files changed, 16 insertions, 0 deletions

diff --git a/libk/test/result.cc b/libk/test/result.cc
new file mode 100644
index 0000000..be93a07
--- /dev/null
+++ b/libk/test/result.cc
@@ -0,0 +1,16 @@
+#include <result.h>
+
+enum ErrorX { one, two = 5, three, NoError };
+
+// operator bool
+static_assert(!(Result<int, ErrorX>{ErrorX::one}));
+static_assert(!(Result<int, ErrorX>{ErrorX::two}));
+static_assert((Result<int, ErrorX>{5}));
+
+// error
+static_assert((Result<int, ErrorX>{ErrorX::one}).error() == ErrorX::one);
+static_assert((Result<int, ErrorX>{5}).error() == ErrorX::NoError);
+
+// value
+static_assert((Result<int, ErrorX>{ErrorX::one}).value() == int{});
+static_assert((Result<int, ErrorX>{5}).value() == 5);