~/bend-docscommunity

src/args.bend checks

raw source on the hub · import shake@0.4.0.0/src/args.bend as Args

shake/args: the process's arguments, each word reusable, internal (main.bend exports it). IO.args answers a &1 list that starts with the program as invoked (bend 2.0.32 and later); the rest of a program reads the line more than once, so words drops that head and copies the rest.

1 import
import Base

Definitions

def copy source · line 8 · raw

@xs:List<&1, String> -> List<&2, String>

a &1 list copied to &2

def words source · line 16 · raw

@xs:List<&1, String> -> List<&2, String>

the arguments of an IO.args line: every word after the program name, copied

def argv source · line 24 · raw

IO(List<&2, String>)

the process's arguments, without the program name