bend-codec-lib@0.2.0.0 fails
0x888714bde93f46c139372bb9fdc57a19
no description
bend-codec-lib@0.2.0.0 by 777genius; bend-encoding@0.2.0.0 by 777genius
- Published
- 2026-09-24
- Size
- 30,642 bytes, 5 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 80 defs, 8 types
Import
import bend-codec-lib@0.2.0.0/base64.bend as Base64 import bend-encoding@0.2.0.0/base64.bend as Base64 import 0x888714bde93f46c139372bb9fdc57a19/base64.bend as Base64 import bend-codec-lib@0.2.0.0/bytes.bend as Bytes import bend-encoding@0.2.0.0/bytes.bend as Bytes import 0x888714bde93f46c139372bb9fdc57a19/bytes.bend as Bytes import bend-codec-lib@0.2.0.0/hex.bend as Hex import bend-encoding@0.2.0.0/hex.bend as Hex import 0x888714bde93f46c139372bb9fdc57a19/hex.bend as Hex import bend-codec-lib@0.2.0.0/package.bend as Package import bend-encoding@0.2.0.0/package.bend as Package import 0x888714bde93f46c139372bb9fdc57a19/package.bend as Package import bend-codec-lib@0.2.0.0/utf8.bend as Utf8 import bend-encoding@0.2.0.0/utf8.bend as Utf8 import 0x888714bde93f46c139372bb9fdc57a19/utf8.bend as Utf8
Modules
- base64.bend not loaded
- bytes.bend 9 declarations
- hex.bend 34 declarations
- package.bend not loaded
- utf8.bend 69 declarations
Dependencies
No imports from other hub packages.
Dependents
- ber-core-store@0.1.2.0 via
src/ContentHash.bend: import bend-codec-lib@0.2.0.0/utf8.bend as Utf8Lib - ber-core-store@0.1.1.0 via
src/ContentHash.bend: import bend-codec-lib@0.2.0.0/utf8.bend as Utf8Lib - 0x876fb95e via
src/ContentHash.bend: import bend-codec-lib@0.2.0.0/utf8.bend as Utf8Lib - 0x5118d7c8 via
tzif.bend: import 0x888714bde93f46c139372bb9fdc57a19/bytes.bend as B
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| base64.bend | fails | - expected : a name (words joined by dots, got 'B64.ch.62')outputError: - expected : a name (words joined by dots, got 'B64.ch.62') - observed : 'B64.ch.62' Location: 40 | 41>| def B64.ch.62(alpha: B64.Alpha) -> Char: | ^^^^^^^^^ 42 | match alpha: | 0.4 s |
| bytes.bend | checks | ALL PROOFS CHECK | 0.7 s |
| hex.bend | checks | ALL PROOFS CHECK | 0.7 s |
| package.bend | fails | - expected : a name (words joined by dots, got 'B64.ch.62')outputError: - expected : a name (words joined by dots, got 'B64.ch.62') - observed : 'B64.ch.62' Location: 40 | 41>| def B64.ch.62(alpha: B64.Alpha) -> Char: | ^^^^^^^^^ 42 | match alpha: | 0.5 s |
| utf8.bend | checks | ALL PROOFS CHECK | 1.1 s |