refactor: Rename example files for clarity and update references in CMake and Lua scripts

Signed-off-by: FrozenlemonTee <1115306170@qq.com>

Author: FrozenLemonTee

examples/CMakeLists.txt

@@ -1,12 +1,14 @@
 set(PRIMITIVES_EXAMPLE_SOURCES
-    ex01_default_arithmetic.cpp
+    ex01_basic_usage.cpp
     ex02_type_policy.cpp
     ex03_value_policy.cpp
     ex04_error_policy.cpp
     ex05_concurrency_policy.cpp
-    ex06_custom_underlying.cpp
-    ex07_custom_policy.cpp
-    ex08_custom_operation.cpp
+    ex06_conversion.cpp
+    ex07_algorithms.cpp
+    ex08_custom_underlying.cpp
+    ex09_custom_policy.cpp
+    ex10_custom_operation.cpp
 )
 
 foreach(example_source IN LISTS PRIMITIVES_EXAMPLE_SOURCES)

examples/ex01_default_arithmetic.cpp

@@ -1,5 +1,5 @@
 /*
- * Example: ex06_custom_underlying
+ * Example: ex08_custom_underlying
  *
  * Purpose:
  * Demonstrate custom underlying integration, including rep bridge,
@@ -20,7 +20,7 @@ import mcpplibs.primitives;
 
 using namespace mcpplibs::primitives;
 
-// Point 6 / Step 1: Define custom domain value types.
+// Point 8 / Step 1: Define custom domain value types.
 struct UserInteger {
   int value;
 };

examples/ex06_custom_underlying.cpp examples/ex08_custom_underlying.cppexamples/ex06_custom_underlying.cpp renamed to examples/ex08_custom_underlying.cpp

@@ -1,5 +1,5 @@
 /*
- * Example: ex07_custom_policy
+ * Example: ex09_custom_policy
  *
  * Purpose:
  * Show end-to-end customization of all policy dimensions (type, value,
@@ -24,14 +24,14 @@ import mcpplibs.primitives.operations.invoker;
 using namespace mcpplibs::primitives;
 
 namespace demo {
-// Point 7 / Step 1: Define one custom tag for each policy dimension.
+// Point 9 / Step 1: Define one custom tag for each policy dimension.
 struct custom_value {};
 struct custom_type {};
 struct custom_error {};
 struct custom_concurrency {};
 } // namespace demo
 
-// Point 7 / Step 2: Register tags into policy::traits.
+// Point 9 / Step 2: Register tags into policy::traits.
 template <> struct mcpplibs::primitives::policy::traits<demo::custom_value> {
   using policy_type = demo::custom_value;
   static constexpr bool enabled = true;
@@ -57,7 +57,7 @@ struct mcpplibs::primitives::policy::traits<demo::custom_concurrency> {
   static constexpr auto kind = category::concurrency;
 };
 
-// Point 7 / Step 3A: Implement custom type handler.
+// Point 9 / Step 3A: Implement custom type handler.
 // Always allow and negotiate through std::common_type_t.
 template <operations::operation OpTag, typename LhsRep, typename RhsRep>
 struct mcpplibs::primitives::policy::type::handler<demo::custom_type, OpTag,
@@ -68,7 +68,7 @@ struct mcpplibs::primitives::policy::type::handler<demo::custom_type, OpTag,
   using common_rep = std::common_type_t<LhsRep, RhsRep>;
 };
 
-// Point 7 / Step 3B: Implement custom concurrency handler.
+// Point 9 / Step 3B: Implement custom concurrency handler.
 template <operations::operation OpTag, typename CommonRep,
           typename ErrorPayload>
 struct mcpplibs::primitives::policy::concurrency::handler<
@@ -115,7 +115,7 @@ struct mcpplibs::primitives::policy::concurrency::handler<
   }
 };
 
-// Point 7 / Step 3C: Implement custom value handler.
+// Point 9 / Step 3C: Implement custom value handler.
 // Complex point: finalize() post-processes decision and adjusts output.
 template <operations::operation OpTag, typename CommonRep,
           typename ErrorPayload>
@@ -138,7 +138,7 @@ struct mcpplibs::primitives::policy::value::handler<demo::custom_value, OpTag,
   }
 };
 
-// Point 7 / Step 3D: Provide binding for custom value policy + Addition.
+// Point 9 / Step 3D: Provide binding for custom value policy + Addition.
 // Without this specialization, runtime::run_value static_assert will fail.
 template <typename CommonRep>
 struct mcpplibs::primitives::operations::runtime::op_binding<
@@ -154,7 +154,7 @@ struct mcpplibs::primitives::operations::runtime::op_binding<
   }
 };
 
-// Point 7 / Step 3E: Implement custom error handler.
+// Point 9 / Step 3E: Implement custom error handler.
 template <operations::operation OpTag, typename CommonRep,
           typename ErrorPayload>
 struct mcpplibs::primitives::policy::error::handler<demo::custom_error, OpTag,
@@ -169,7 +169,7 @@ struct mcpplibs::primitives::policy::error::handler<demo::custom_error, OpTag,
 };
 
 int main() {
-  // Point 7 / Step 4: Compose all custom tags and execute a call path.
+  // Point 9 / Step 4: Compose all custom tags and execute a call path.
   using custom_t = primitive<int, demo::custom_value, demo::custom_type,
                              demo::custom_error, demo::custom_concurrency>;
 

examples/ex07_custom_policy.cpp examples/ex09_custom_policy.cppexamples/ex07_custom_policy.cpp renamed to examples/ex09_custom_policy.cpp

@@ -1,5 +1,5 @@
 /*
- * Example: ex08_custom_operation
+ * Example: ex10_custom_operation
  *
  * Purpose:
  * Demonstrate how to register new operation tags, declare operation traits,
@@ -19,13 +19,13 @@ import mcpplibs.primitives.operations.invoker;
 using namespace mcpplibs::primitives;
 
 namespace demo_ops {
-// Point 8 / Step 1: Define custom operation tags.
+// Point 10 / Step 1: Define custom operation tags.
 struct Average {};
 struct GreaterThan {};
 struct BitAnd {};
 } // namespace demo_ops
 
-// Point 8 / Step 2: Register operation traits for
+// Point 10 / Step 2: Register operation traits for
 // arithmetic/comparison/bitwise.
 template <> struct mcpplibs::primitives::operations::traits<demo_ops::Average> {
   using op_tag = demo_ops::Average;
@@ -49,7 +49,7 @@ template <> struct mcpplibs::primitives::operations::traits<demo_ops::BitAnd> {
   static constexpr auto capability_mask = capability::bitwise;
 };
 
-// Point 8 / Step 3: Provide runtime op_binding for each new operation.
+// Point 10 / Step 3: Provide runtime op_binding for each new operation.
 // Complex point: these specializations plug directly into run_value dispatch.
 template <typename CommonRep>
 struct mcpplibs::primitives::operations::runtime::op_binding<
@@ -94,7 +94,7 @@ struct mcpplibs::primitives::operations::runtime::op_binding<
 };
 
 int main() {
-  // Point 8 / Step 4: Invoke each custom operation through operations::apply.
+  // Point 10 / Step 4: Invoke each custom operation through operations::apply.
   using value_t =
       primitive<int, policy::value::checked, policy::error::expected>;
 

examples/ex08_custom_operation.cpp examples/ex10_custom_operation.cppexamples/ex08_custom_operation.cpp renamed to examples/ex10_custom_operation.cpp

@@ -3,20 +3,22 @@ add_rules("mode.debug", "mode.release")
 set_languages("c++23")
 
 local examples = {
-    "ex01_default_arithmetic",
+    "ex01_basic_usage",
     "ex02_type_policy",
     "ex03_value_policy",
     "ex04_error_policy",
     "ex05_concurrency_policy",
-    "ex06_custom_underlying",
-    "ex07_custom_policy",
-    "ex08_custom_operation"
+    "ex06_conversion",
+    "ex07_algorithms",
+    "ex08_custom_underlying",
+    "ex09_custom_policy",
+    "ex10_custom_operation"
 }
 
--- CI compatibility alias: keep `xmake run basic` working.
+-- CI compatibility alias: keep `xmake run basic` working for ex01_basic_usage.
 target("basic")
     set_kind("binary")
-    add_files("ex01_default_arithmetic.cpp")
+    add_files("ex01_basic_usage.cpp")
     add_deps("mcpplibs-primitives")
     set_policy("build.c++.modules", true)