shake@0.4.0.0 checks
0xcab8a7a189cec2b51e8db0484f69c593
shake: a proven command-line argument parser for Bend 2, with subcommands and help.
shake@0.4.0.0 by noah-emp
Other versions (1)
- shake@0.5.0.0 2026-10-02 latest
- Published
- 2026-09-30
- Size
- 65,093 bytes, 5 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 209 defs, 12 types
Import
import shake@0.4.0.0/main.bend as Main import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Main import shake@0.4.0.0/src/args.bend as Args import 0xcab8a7a189cec2b51e8db0484f69c593/src/args.bend as Args import shake@0.4.0.0/src/check.bend as Check import 0xcab8a7a189cec2b51e8db0484f69c593/src/check.bend as Check import shake@0.4.0.0/src/cli.bend as Cli import 0xcab8a7a189cec2b51e8db0484f69c593/src/cli.bend as Cli
Modules
- main.bend 28 declarations — shake: a proven command-line argument parser for Bend 2, with subcommands and help.
- src/args.bend 3 declarations — shake/args: the process's arguments, 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 199 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
- 0x74799d3f via
src/ez/line.bend: import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Shake - 0x886223f5 via
src/ez/line.bend: import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Shake - 0x582b4b0f via
src/args.bend: import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Shake - 0x013e0f9a via
src/args.bend: import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Shake
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/args.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/check.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/cli.bend | checks | ALL PROOFS CHECK | 1.0 s |