Enhance type classification and simplify numeric conversion functions

.github/workflows/ci.yml

@@ -85,7 +85,7 @@ jobs:
 
   build-windows:
     runs-on: windows-latest
-    timeout-minutes: 20
+    timeout-minutes: 30
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -96,13 +96,13 @@ jobs:
           xmake-version: latest
           package-cache: true
 
-      - name: Build
+      - name: Build and test
         run: |
-          xmake f -m release -y -vv
-          xmake -y -vv -j$env:NUMBER_OF_PROCESSORS
+          xmake f -m release --ccache=n -y -vv
+          xmake b -y -vv -j2 primitives_test
+          xmake run primitives_test
 
-      - name: Test
-        run: xmake run primitives_test
-
-      - name: Run examples
-        run: xmake run basic
+      - name: Build and run basic example
+        run: |
+          xmake b -y -vv -j2 basic
+          xmake run basic

.gitignore

@@ -52,3 +52,4 @@ Makefile
 # IDE
 /.idea
 /.cache
+/.vscode

src/conversion/conversion.cppm

@@ -0,0 +1,6 @@
+module;
+
+export module mcpplibs.primitives.conversion;
+
+export import mcpplibs.primitives.conversion.traits;
+export import mcpplibs.primitives.conversion.underlying;

src/conversion/traits.cppm

@@ -0,0 +1,34 @@
+module;
+
+#include <expected>
+#include <optional>
+
+export module mcpplibs.primitives.conversion.traits;
+
+export namespace mcpplibs::primitives::conversion::risk {
+
+enum class kind : unsigned char {
+  none = 0,
+  overflow,
+  underflow,
+  domain_error,
+  precision_loss,
+  sign_loss,
+  invalid_type_combination,
+};
+
+template <typename Value>
+struct traits {
+  kind code = kind::none;
+  std::optional<Value> source_value{};
+  std::optional<Value> converted_value{};
+};
+
+} // namespace mcpplibs::primitives::conversion::risk
+
+export namespace mcpplibs::primitives::conversion {
+
+template <typename Value>
+using cast_result = std::expected<Value, risk::kind>;
+
+} // namespace mcpplibs::primitives::conversion