~/bend-docscommunity

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

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
base64.bendfails - expected : a name (words joined by dots, got 'B64.ch.62')
output
Error:
- 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.bendchecks ALL PROOFS CHECK0.7 s
hex.bendchecks ALL PROOFS CHECK0.7 s
package.bendfails - expected : a name (words joined by dots, got 'B64.ch.62')
output
Error:
- 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.bendchecks ALL PROOFS CHECK1.1 s