From a353907e7ece5f463613cb6360225984cfdd03b8 Mon Sep 17 00:00:00 2001 From: ZHU Yuhao Date: Fri, 10 Apr 2026 09:47:06 +0200 Subject: [PATCH 1/2] Add prelude module --- src/argmojo/prelude.mojo | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/argmojo/prelude.mojo diff --git a/src/argmojo/prelude.mojo b/src/argmojo/prelude.mojo new file mode 100644 index 0000000..6f1d4d7 --- /dev/null +++ b/src/argmojo/prelude.mojo @@ -0,0 +1,19 @@ +"""Prelude module for ArgMojo. + +Usage: + +```mojo +from argmojo.prelude import * +``` + +This imports all public types and traits from ArgMojo for convenience. +""" + +# Builder API +from .argument import Argument +from .command import Command +from .parse_result import ParseResult + +# Declarative API +from .parsable import Parsable +from .argument_wrappers import ArgumentLike, Option, Flag, Positional, Count From 60bdf10e3e76fd2183503b1de0e6577d65d1a024 Mon Sep 17 00:00:00 2001 From: ZHU Yuhao Date: Fri, 10 Apr 2026 21:40:12 +0200 Subject: [PATCH 2/2] Remove argumentlike --- src/argmojo/prelude.mojo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/argmojo/prelude.mojo b/src/argmojo/prelude.mojo index 6f1d4d7..7a25d05 100644 --- a/src/argmojo/prelude.mojo +++ b/src/argmojo/prelude.mojo @@ -16,4 +16,4 @@ from .parse_result import ParseResult # Declarative API from .parsable import Parsable -from .argument_wrappers import ArgumentLike, Option, Flag, Positional, Count +from .argument_wrappers import Option, Flag, Positional, Count