~/bend-docscommunity

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

0xd60fd658d4bdabf892f8041a7a731848

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

bend-kit-tty@0.1.0.0 by paymog

Other versions (1)
Published
2026-09-29
Size
135,515 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.0/text.bend as Text
import 0xd60fd658d4bdabf892f8041a7a731848/text.bend as Text
import bend-kit-tty@0.1.0.0/tty.bend as Tty
import 0xd60fd658d4bdabf892f8041a7a731848/tty.bend as Tty
import bend-kit-tty@0.1.0.0/width.bend as Width
import 0xd60fd658d4bdabf892f8041a7a731848/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 CHECK6.5 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
6.9 s
width.bendchecks ALL PROOFS CHECK1.1 s