shake@0.5.0.0 checks
0x1b64bb5828eb2210a4a61a1ba480631a
shake: a proven command-line argument parser for Bend 2, with subcommands and help.
shake@0.5.0.0 by noah-emp
Earlier versions (1)
- shake@0.4.0.0 2026-09-30
- Published
- 2026-10-02
- Size
- 83,293 bytes, 5 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 273 defs, 13 types
Import
import shake@0.5.0.0/main.bend as Main import 0x1b64bb5828eb2210a4a61a1ba480631a/main.bend as Main import shake@0.5.0.0/src/args.bend as Args import 0x1b64bb5828eb2210a4a61a1ba480631a/src/args.bend as Args import shake@0.5.0.0/src/check.bend as Check import 0x1b64bb5828eb2210a4a61a1ba480631a/src/check.bend as Check import shake@0.5.0.0/src/cli.bend as Cli import 0x1b64bb5828eb2210a4a61a1ba480631a/src/cli.bend as Cli
Modules
- main.bend 33 declarations — shake: a proven command-line argument parser for Bend 2, with subcommands and help.
- src/args.bend 6 declarations — shake/args: the process's arguments, each word reusable, and the values of a
- src/check.bend 24 declarations — shake/check: the ways a Cli can contradict itself, internal (main.bend
- src/cli.bend 257 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
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/args.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/check.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/cli.bend | checks | ALL PROOFS CHECK | 1.0 s |