0xa3c2445e checks
0xa3c2445eb44c5d8406e6229be518fccb
ezjson/lazy: a branch that does not run both ways. `stop` takes `a` when
Anonymous package: import it by hash.
- Published
- 2026-09-21
- Size
- 14,326 bytes, 6 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 46 defs, 7 types
Import
import 0xa3c2445eb44c5d8406e6229be518fccb/lazy.bend as Lazy import 0xa3c2445eb44c5d8406e6229be518fccb/lex.bend as Lex import 0xa3c2445eb44c5d8406e6229be518fccb/main.bend as Main import 0xa3c2445eb44c5d8406e6229be518fccb/parse.bend as Parse import 0xa3c2445eb44c5d8406e6229be518fccb/print.bend as Print import 0xa3c2445eb44c5d8406e6229be518fccb/value.bend as Value
Modules
- lazy.bend 1 declarations — ezjson/lazy: a branch that does not run both ways. `stop` takes `a` when
- lex.bend 36 declarations — ezjson/lex: text to tokens, one char per step: a tail-recursive state machine
- main.bend 8 declarations — ezjson: JSON for Bend 2. `parse` turns text into Maybe Json; `print` writes
- parse.bend 14 declarations — ezjson/parse: tokens to a value, one token per step, over an explicit stack of
- print.bend 5 declarations — ezjson/print: a value to compact text.
- value.bend 21 declarations — ezjson/value: a JSON value. Arrays and objects hold their cells inside the
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 |
|---|---|---|---|
| lazy.bend | checks | ALL PROOFS CHECK | 0.8 s |
| lex.bend | checks | ALL PROOFS CHECK | 0.9 s |
| main.bend | checks | ALL PROOFS CHECK | 0.8 s |
| parse.bend | checks | ALL PROOFS CHECK | 0.9 s |
| print.bend | checks | ALL PROOFS CHECK | 0.9 s |
| value.bend | checks | ALL PROOFS CHECK | 0.7 s |