feat: argparse

argparse/arg_action.mbt

@@ -0,0 +1,44 @@
+// Copyright 2026 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+///|
+fn arg_min_max_for_validate(arg : Arg) -> (Int, Int?) raise ArgBuildError {
+  if arg.info is PositionalInfo(num_args=Some(range), ..) {
+    if range.lower < 0 {
+      raise Unsupported("min values must be >= 0")
+    }
+    if range.upper is Some(max_value) {
+      if max_value < 0 {
+        raise Unsupported("max values must be >= 0")
+      }
+      if max_value < range.lower {
+        raise Unsupported("max values must be >= min values")
+      }
+      if range.lower == 0 && max_value == 0 {
+        raise Unsupported("empty value range (0..0) is unsupported")
+      }
+    }
+    (range.lower, range.upper)
+  } else {
+    (0, None)
+  }
+}
+
+///|
+fn arg_min_max(arg : Arg) -> (Int, Int?) {
+  match arg.info {
+    PositionalInfo(num_args=Some(range), ..) => (range.lower, range.upper)
+    _ => (0, None)
+  }
+}

argparse/arg_group.mbt

@@ -0,0 +1,60 @@
+// Copyright 2026 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+///|
+/// Declarative argument group constructor.
+pub struct ArgGroup {
+  priv name : String
+  priv required : Bool
+  priv multiple : Bool
+  priv args : Array[String]
+  priv requires : Array[String]
+  priv conflicts_with : Array[String]
+
+  /// Create an argument group.
+  fn new(
+    name : StringView,
+    required? : Bool,
+    multiple? : Bool,
+    args? : ArrayView[String],
+    requires? : ArrayView[String],
+    conflicts_with? : ArrayView[String],
+  ) -> ArgGroup
+}
+
+///|
+/// Create an argument group.
+///
+/// Notes:
+/// - `required=true` means at least one member of the group must be present.
+/// - `multiple=false` means group members are mutually exclusive.
+/// - `requires` and `conflicts_with` may reference either group names or
+///   argument names.
+pub fn ArgGroup::new(
+  name : StringView,
+  required? : Bool = false,
+  multiple? : Bool = true,
+  args? : ArrayView[String] = [],
+  requires? : ArrayView[String] = [],
+  conflicts_with? : ArrayView[String] = [],
+) -> ArgGroup {
+  {
+    name: name.to_string(),
+    required,
+    multiple,
+    args: args.to_array(),
+    requires: requires.to_array(),
+    conflicts_with: conflicts_with.to_array(),
+  }
+}