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)
- bend-kit-tty@0.1.0.1 2026-10-09 latest
- 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
- text.bend 6 declarations — Pure terminal text: ANSI SGR styling and Unicode 17 display width.
- tty.bend 7 declarations — Terminal detection, dimensions, ANSI color and Unicode display-width text. Source: https://github.com/paymog/bend-kit/tree/main/tty
- width.bend 999 declarations — Generated by gen.py from UCD 17.0.0. Do not edit.
Other files
- effs/tty.c 1,478 bytes
- effs/tty.js 856 bytes
Dependencies
- bend-kit-unicode@0.1.0.0 via
text.bend: import 0x6c784a08486e2e02415e89c5249e9e8a/unicode.bend as Unicode
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| text.bend | checks | ALL PROOFS CHECK | 6.5 s |
| tty.bend | relies on unsafe/foreign | 4 defs rely on unsafe or foreign code defs: stdout_tty, size, color_enabled, auto_styleoutputSOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - stdout_tty - size - color_enabled - auto_style | 6.9 s |
| width.bend | checks | ALL PROOFS CHECK | 1.1 s |