Command line interface - an overview§
The default command line interface of Raku scripts consists of three parts:
Parsing the command line parameters into a Capture
§
This looks at the values in @*ARGS, interprets these according to some policy, and creates a Capture
object out of that. An alternative way of parsing may be provided by the developer or installed using a module.
Calling a provided MAIN
subroutine using that capture§
Standard multi dispatch is used to call the MAIN
subroutine with the generated Capture
object. This means that your MAIN
subroutine may be a multi sub
, each candidate of which is responsible for some part of processing the given command line arguments.
Creating / showing usage information if calling MAIN
failed§
If multi dispatch failed, then the user of the script should be informed as well as possible as to why it failed. By default, this is done by inspecting the signature of each MAIN
candidate sub, and any associated Pod information. The result is then shown to the user on STDERR (or on STDOUT if --help
was specified). An alternative way of generating the usage information may be provided by the developer or installed using a module.
sub MAIN§
The sub with the special name MAIN
will be executed after all relevant entry phasers (BEGIN
, CHECK
, INIT
, PRE
, ENTER
) have been run and the mainline of the script has been executed. No error will occur if there is no MAIN
sub: your script will then just have to do the work, such as argument parsing, in the mainline of the script.
Any normal exit from the MAIN
sub will result in an exit code of 0
, indicating success. Any return value of the MAIN
sub will be ignored. If an exception is thrown that is not handled inside the MAIN
sub, then the exit code will be 1
. If the dispatch to MAIN
failed, a usage message will be displayed on STDERR and the exit code will be 2
.
The command line parameters are present in the @*ARGS
dynamic variable and may be altered in the mainline of the script before the MAIN
unit is called.
The signature of (the candidates of the multi) sub MAIN
determines which candidate will actually be called using the standard multi dispatch semantics.
A simple example:
# inside file 'hello.raku' sub MAIN($name) { say "Hello $name, how are you?" }
If you call that script without any parameters, you get the following usage message:
$ raku hello.raku Usage: hello.raku <name>
However, if you give a default value for the parameter, running the script either with or without specifying a name will always work:
# inside file 'hello.raku' sub MAIN($name = 'bashful') { say "Hello $name, how are you?" }
$ raku hello.raku Hello bashful, how are you?
$ raku hello.raku Liz Hello Liz, how are you?
Another way to do this is to make sub MAIN
a multi
:
# inside file 'hello.raku' multi MAIN() { say "Hello bashful, how are you?" } multi MAIN($name) { say "Hello $name, how are you?" }
Which would give the same output as the examples above. Whether you should use either method to achieve the desired goal is entirely up to you.
If you want to pass an indeterminate number of parameters to be dealt with in sub MAIN
, you can use slurpy parameters:
# inside file 'hello-all.raku' sub MAIN(*@all) { @all.map: -> $name { say "Hello, " ~ $name } }
$ raku hello-all.raku peter paul mary Hello, peter Hello, paul Hello, mary
A more complicated example using a single positional and multiple named parameters, and also showing that where
clauses can also be applied to MAIN
arguments:
# inside "frobnicate.raku" sub MAIN( Str $file where *.IO.f = 'file.dat', Int :$length = 24, Bool :$verbose ) { say $length if $length.defined; say $file if $file.defined; say 'Verbosity ', ($verbose ?? 'on' !! 'off'); }
With file.dat
present, this will work this way:
$ raku frobnicate.raku 24 file.dat Verbosity off
Or this way with --verbose
:
$ raku frobnicate.raku --verbose 24 file.dat Verbosity on
If the file file.dat
is not present, or you've specified another filename that doesn't exist, you would get the standard usage message created from introspection of the MAIN
sub:
$ raku frobnicate.raku doesnotexist.dat Usage: frobnicate.raku [--length=<Int>] [--verbose] [<file>]
Although you don't have to do anything in your code to do this, it may still be regarded as a bit terse. But there's an easy way to make that usage message better by providing hints using pod features:
# inside "frobnicate.raku" sub MAIN( Str $file where *.IO.f = 'file.dat', #= an existing file to frobnicate Int :$length = 24, #= length needed for frobnication Bool :$verbose, #= required verbosity ) { say $length if $length.defined; say $file if $file.defined; say 'Verbosity ', ($verbose ?? 'on' !! 'off'); }
Which would improve the usage message like this:
$ raku frobnicate.raku doesnotexist.dat Usage: frobnicate.raku [--length=<Int>] [--verbose] [<file>] [<file>] an existing file to frobnicate --length=<Int> length needed for frobnication --verbose required verbosity
From release 2021.03, values to single named arguments can be separated by spaces too. Consider a demo
program with the following source:
subset name of Any where Str|True; subset port of Str; multi MAIN( $file, name :$profile, #= Write profile information to a file port :$debug-port, #= Listen for debugger connections on the specified port Bool :v($verbose), #= Display verbose output ) {} multi MAIN("--process-files", *@images) {}
This program generates the following usage message:
Usage: demo [--profile[=name]] [--debug-port=<port>] [-v] <file> demo --process-files [<images> ...] --profile[=name] Write profile information to a file --debug-port=<port> Listen for debugger connections on the specified port -v Display verbose output
The following are valid ways to call demo
:
demo --profile ~/foo demo --profile=/tmp/bar ~/foo demo --debug-port 4242 ~/foo demo --debug-port=4242 ~/foo demo -v ~/foo demo --process-files *.jpg
These, however, are not valid
demo --profile /tmp/bar ~/foo demo --debug-port ~/foo
The first is invalid because /tmp/bar
and ~/foo
are both parsed as positional arguments, which means demo
was called with too many positional arguments. The second is invalid because ~/foo
is parsed as an argument to --debug-port
, and thus demo
lacks the required positional argument.
Here's how it works; with Raku distinguishing between three types of options:
Boolean options (like
-v
), which never take an argument; they are ether present or absent.Options with a mandatory argument (like
--debug-port
), which always take an argument. If you give them an argument with=
, they will use that; if not, they'll take the following argument.Options with an optional argument (like
--profile
), which are valid both with and without an argument. You can only give these arguments an option with the=
syntax; if there is a space after the option, that means it was called without an argument.
And here's the signature that produces each type of argument:
Boolean options: A
Bool
type constraint.Options with a mandatory argument: A type that does not
.ACCEPT
aBool
.Options with an optional argument: A type that
.ACCEPTS
aTrue
(because passing an option without an argument is equivalent to passingTrue
)
As any other subroutine, MAIN
can define aliases for its named parameters.
sub MAIN( Str $file where *.IO.f = 'file.dat', #= an existing file to frobnicate Int :size(:$length) = 24, #= length/size needed for frobnication Bool :$verbose, #= required verbosity ) { say $length if $length.defined; say $file if $file.defined; say 'Verbosity ', ($verbose ?? 'on' !! 'off'); }
In which case, these aliases will also be listed as alternatives with --help
:
Usage: frobnicate.raku [--size|--length=<Int>] [--verbose] [<file>] [<file>] an existing file to frobnicate --size|--length=<Int> length needed for frobnication --verbose required verbosity
Enumeration
s can be used in signatures with arguments converted automatically to its corresponding enum
symbol:
enum Flag ( FLAG_FOO => 0b001, FLAG_BAR => 0b010, FLAG_BAZ => 0b100, ); sub MAIN(Flag $flag = FLAG_FOO) { say "Flagging $flag"; }
This will work correctly with
raku MAIN-enum.raku FLAG_BAR
but will die if called with something that is not a Flag
.
%*SUB-MAIN-OPTS
§
It's possible to alter how arguments are processed before they're passed to sub MAIN {}
by setting options in the %*SUB-MAIN-OPTS
hash. Due to the nature of dynamic variables, it is required to set up the %*SUB-MAIN-OPTS
hash and fill it with the appropriate settings. For instance:
my %*SUB-MAIN-OPTS = :named-anywhere, # allow named variables at any location :bundling, # allow bundling of named arguments :coerce-allomorphs-to(Int), # coerce allomorphic arguments to given type :allow-no, # allow --no-foo as alternative to --/foo :numeric-suffix-as-value, # allow -j2 as alternative to --j=2 ; sub MAIN ($a, $b, :$c, :$d) { say "Accepted!" }
Available options are:
named-anywhere
§
By default, named arguments passed to the program (i.e., MAIN
) cannot appear after any positional argument. However, if %*SUB-MAIN-OPTS<named-anywhere>
is set to a true value, named arguments can be specified anywhere, even after positional parameter. For example, the above program can be called with:
$ raku example.raku 1 --c=2 3 --d=4
bundling
§
When %*SUB-MAIN-OPTS<bundling>
is set to a true value, single letter named arguments can be bundled together with a single dash. The following two commands are then equivalent:
$ raku example.raku -a -b -c $ raku example.raku -abc
Bundled arguments can be understood as flags, that can neither be negated, nor assigned a value though:
$ raku example.raku -/a # OK $ raku example.raku -a=asdf # OK $ raku example.raku -abc=asdf # Error $ raku example.raku -/abc # Error
This option is only available starting in the 2020.10 release of the Rakudo compiler.
coerce-allomorphs-to
§
When %*SUB-MAIN-OPTS<coerce-allomorphs-to>
is set to a specific type, then any allomorphic values will be coerced to that type. This can be helpful in any dispatch issues to MAIN
.
This option is only available starting in the 2020.12 release of the Rakudo compiler.
allow-no
§
When %*SUB-MAIN-OPTS<allow-no>
is set to a true value, then negation of arguments on the command line can also be indicated by using the no-
instead of /
.
$ raku example.raku --/foo # named argument "foo" is False $ raku example.raku --no-foo # same
This option is only available starting in the 2022.12 release of the Rakudo compiler.
numeric-suffix-as-value
§
When %*SUB-MAIN-OPTS<numeric-suffix-as-value>
is set to a true value, then single letter arguments can have a numeric value specified as a suffix.
$ raku example.raku --j=2 # named argument "j" is 2 $ raku example.raku -j2 # same
This option is only available starting in the 2022.12 release of the Rakudo compiler.
is hidden-from-USAGE
§
Sometimes you want to exclude a MAIN
candidate from being shown in any automatically generated usage message. This can be achieved by adding a hidden-from-USAGE
trait to the specification of the MAIN
candidate you do not want to show. Expanding on an earlier example:
# inside file 'hello.raku' multi MAIN() is hidden-from-USAGE { say "Hello bashful, how are you?" } multi MAIN($name) { #= the name by which you would like to be called say "Hello $name, how are you?" }
So, if you would call this script with just a named variable, you would get the following usage:
$ raku hello.raku --verbose Usage: hello.raku <name> -- the name by which you would like to be called
Without the hidden-from-USAGE
trait on the first candidate, it would have looked like this:
$ raku hello.raku --verbose Usage: hello.raku hello.raku <name> -- the name by which you would like to be called
Which, although technically correct, doesn't read as well.
Unit-scoped definition of MAIN
§
If the entire program body resides within MAIN
, you can use the unit
declarator as follows (adapting an earlier example):
unit sub MAIN( Str $file where *.IO.f = 'file.dat', Int :$length = 24, Bool :$verbose, ); # <- note semicolon here say $length if $length.defined; say $file if $file.defined; say 'Verbosity ', ($verbose ?? 'on' !! 'off'); # rest of script is part of MAIN
Note that this is only appropriate if you can get by with just a single (only) sub MAIN
.
sub USAGE§
If no multi candidate of MAIN
is found for the given command line parameters, the sub USAGE
is called. If no such method is found, the compiler will output a default usage message.
#|(is it the answer) multi MAIN(Int $i) { say $i == 42 ?? 'answer' !! 'dunno' } #|(divide two numbers) multi MAIN($a, $b){ say $a/$b } sub USAGE() { print Q:c:to/EOH/; Usage: {$*PROGRAM-NAME} [number] Prints the answer or 'dunno'. EOH }
The default usage message is available inside sub USAGE
via the read-only $*USAGE
variable. It will be generated based on available sub MAIN
candidates and their parameters. As shown before, you can specify an additional extended description for each candidate using a #|(...)
Pod block to set WHY
.
Intercepting CLI argument parsing (2018.10, v6.d and later)§
You can replace or augment the default way of argument parsing by supplying an ARGS-TO-CAPTURE
subroutine yourself, or by importing one from any of the Getopt modules available in the ecosystem.
sub ARGS-TO-CAPTURE§
The ARGS-TO-CAPTURE
subroutine should accept two parameters: a Callable
representing the MAIN
unit to be executed (so it can be introspected if necessary) and an array with the arguments from the command line. It should return a Capture
object that will be used to dispatch the MAIN
unit. The following is a very contrived example that will create a Capture
depending on some keyword that was entered (which can be handy during testing of a command line interface of a script):
sub ARGS-TO-CAPTURE(&main, @args --> Capture) { # if we only specified "frobnicate" as an argument @args == 1 && @args[0] eq 'frobnicate' # then dispatch as MAIN("foo","bar",verbose => 2) ?? Capture.new( list => <foo bar>, hash => { verbose => 2 } ) # otherwise, use default processing of args !! &*ARGS-TO-CAPTURE(&main, @args) }
Note that the dynamic variable &*ARGS-TO-CAPTURE
is available to perform the default command line arguments to Capture
processing so you don't have to reinvent the whole wheel if you don't want to.
Intercepting usage message generation (2018.10, v6.d and later)§
You can replace or augment the default way of usage message generation (after a failed dispatch to MAIN) by supplying a GENERATE-USAGE
subroutine yourself, or by importing one from any of the Getopt modules available in the ecosystem.
sub RUN-MAIN§
sub RUN-MAIN(&main, $mainline, :$in-as-argsfiles)
This routine allows complete control over the handling of MAIN
. It gets a Callable
that is the MAIN
that should be executed, the return value of the mainline execution and additional named variables: :in-as-argsfiles
which will be True
if STDIN should be treated as $*ARGFILES
.
If RUN-MAIN
is not provided, a default one will be run that looks for subroutines of the old interface, such as MAIN_HELPER
and USAGE
. If found, it will execute following the "old" semantics.
class Hero { has @!inventory; has Str $.name; submethod BUILD( :$name, :@inventory ) { $!name = $name; @!inventory = @inventory } } sub new-main($name, *@stuff ) { Hero.new(:name($name), :inventory(@stuff) ).raku.say } RUN-MAIN( &new-main, Nil );
This will print the name (first argument) of the generated object.
sub GENERATE-USAGE§
The GENERATE-USAGE
subroutine should accept a Callable
representing the MAIN
subroutine that didn't get executed because the dispatch failed. This can be used for introspection. All the other parameters are the parameters that were set up to be sent to MAIN
. It should return the string of the usage information you want to be shown to the user. An example that will just recreate the Capture
that was created from processing the arguments:
sub GENERATE-USAGE(&main, |capture) { capture<foo>:exists ?? "You're not allowed to specify a --foo" !! &*GENERATE-USAGE(&main, |capture) }
You can also use multi subroutines to create the same effect:
multi GENERATE-USAGE(&main, :$foo!) { "You're not allowed to specify a --foo" } multi GENERATE-USAGE(&main, |capture) { &*GENERATE-USAGE(&main, |capture) }
Note that the dynamic variable &*GENERATE-USAGE
is available to perform the default usage message generation so you don't have to reinvent the whole wheel if you don't want to.
Intercepting MAIN calling (before 2018.10, v6.e)§
An older interface enabled one to intercept the calling to MAIN
completely. This depended on the existence of a MAIN_HELPER
subroutine that would be called if a MAIN
subroutine was found in the mainline of a program.
This interface was never documented. However, any programs using this undocumented interface will continue to function until v6.e
. From v6.d onward, the use of the undocumented API will cause a DEPRECATED
message.
Ecosystem modules can provide both the new and the old interface for compatibility with older versions of Perl 6 and Raku: if a newer Raku recognizes the new (documented) interface, it will use that. If there is no new interface subroutine available, but the old MAIN_HELPER
interface is, then it will use the old interface.
If a module developer decides to only offer a module for v6.d
or higher, then the support for the old interface can be removed from the module.