bend-kit-time@0.1.0.0 relies on unsafe/foreign
0x3bfb4ae4d3b87b90f01bfcd298211455
Clocks, Duration and Instant, Gregorian dates, RFC 3339 and HTTP-date text, and TZif time zones. Source: https://github.com/paymog/bend-kit/tree/main/time
bend-kit-time@0.1.0.0 by paymog
Other versions (3)
- bend-kit-time@0.1.2.1 2026-10-09 latest
- bend-kit-time@0.1.2.0 2026-09-28
- bend-kit-time@0.1.1.0 2026-09-28
- Published
- 2026-09-27
- Size
- 23,190 bytes, 3 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 98 defs, 8 types
Import
import bend-kit-time@0.1.0.0/time.bend as Time import 0x3bfb4ae4d3b87b90f01bfcd298211455/time.bend as Time
Modules
- time.bend 114 declarations — Clocks, Duration and Instant, Gregorian dates, RFC 3339 and HTTP-date text, and TZif time zones. Source: https://github.com/paymog/bend-kit/tree/main/time
Other files
- effs/time.c 872 bytes
- effs/time.js 672 bytes
Dependencies
- bend-kit-int@0.2.0.0 via
time.bend: import bend-kit-int@0.2.0.0/int.bend as Int - bend-kit-fmt@0.1.0.0 via
time.bend: import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt - bend-kit-bytes@0.3.0.0 via
time.bend: import 0x49814d83de8f70993a43e1002be29ecd/bytes.bend as Bytes
Dependents
- bend-kit-oauth2@0.2.0.0 via
oauth2.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-sigv4@0.2.0.0 via
sigv4.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-webhooks@0.2.0.0 via
webhooks.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-hairpin@0.2.1.0 via
hairpin.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.31.1.1 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-hairpin@0.2.0.0 via
hairpin.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.31.1.0 via
http/http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.31.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-camber@0.6.0.0 via
camber.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.30.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.29.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.28.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.27.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.26.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.25.0.2 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.25.0.1 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.25.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-webhooks@0.1.0.0 via
webhooks.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.24.3.1 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.24.3.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.24.2.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.24.1.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-oauth2@0.1.0.0 via
oauth2.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-sigv4@0.1.0.0 via
sigv4.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.24.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-hairpin@0.1.0.0 via
hairpin.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.23.0.1 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.23.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-notch@0.1.0.0 via
notch.bend: import 0x3bfb4ae4d3b87b90f01bfcd298211455/time.bend as Time - bend-kit-http@0.22.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.21.1.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.21.0.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time - bend-kit-http@0.20.1.0 via
http.bend: import bend-kit-time@0.1.0.0/time.bend as Time
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| time.bend | relies on unsafe/foreign | 4 defs rely on unsafe or foreign code defs: mono.raw, wall.raw, mono, nowoutputSOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - mono.raw - wall.raw - mono - now | 1.0 s |