0x085b03c8 checks
0x085b03c84ca37125e38dddede7b91e55
shake: CLI argument parser for Bend 2. Describe a program with `app`, `sub`,
Anonymous package: import it by hash.
- Published
- 2026-09-25
- Size
- 63,034 bytes, 5 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 205 defs, 12 types
Import
import 0x085b03c84ca37125e38dddede7b91e55/main.bend as Main import 0x085b03c84ca37125e38dddede7b91e55/src/args.bend as Args import 0x085b03c84ca37125e38dddede7b91e55/src/check.bend as Check import 0x085b03c84ca37125e38dddede7b91e55/src/cli.bend as Cli
Modules
- main.bend 28 declarations — shake: CLI argument parser for Bend 2. Describe a program with `app`, `sub`,
- src/args.bend 2 declarations — shake/args: the process argv, each word reusable, internal (main.bend
- src/check.bend 24 declarations — shake/check: the ways a Cli can contradict itself, internal (main.bend
- src/cli.bend 196 declarations — shake/cli: the parser behind main.bend, internal. `parse` reads argv
Other files
- LICENSE 1,074 bytes
Dependencies
No imports from other hub packages.
Dependents
- 0xd96f2ab4 via
src/args.bend: import 0x085b03c84ca37125e38dddede7b91e55/main.bend as Shake - 0xde9bb08f via
src/args.bend: import 0x085b03c84ca37125e38dddede7b91e55/main.bend as Shake
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/args.bend | checks | ALL PROOFS CHECK | 0.6 s |
| src/check.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/cli.bend | checks | ALL PROOFS CHECK | 0.9 s |