~/bend-docscommunity

bend-kit-tty@0.1.0.1 relies on unsafe/foreign

0xbb2c503928ea15731255ec8c06e5564b

Pure terminal text: ANSI SGR styling and Unicode 17 display width.

bend-kit-tty@0.1.0.1 by paymog

Earlier versions (1)
Published
2026-10-09
Size
135,506 bytes, 5 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 1012 defs, 0 types

Import

import bend-kit-tty@0.1.0.1/text.bend as Text
import 0xbb2c503928ea15731255ec8c06e5564b/text.bend as Text
import bend-kit-tty@0.1.0.1/tty.bend as Tty
import 0xbb2c503928ea15731255ec8c06e5564b/tty.bend as Tty
import bend-kit-tty@0.1.0.1/width.bend as Width
import 0xbb2c503928ea15731255ec8c06e5564b/width.bend as Width

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
text.bendchecks ALL PROOFS CHECK5.9 s
tty.bendrelies on unsafe/foreign 4 defs rely on unsafe or foreign code
defs: stdout_tty, size, color_enabled, auto_style
output
SOME PROOFS FAIL
Error: 4 defs rely on unsafe or foreign code:
- stdout_tty
- size
- color_enabled
- auto_style
5.8 s
width.bendchecks ALL PROOFS CHECK1.2 s