bend-time-lib@0.4.0.0 fails
0x9b6a4fc7ceea91864a75396e1b8365e5
no description
bend-time-lib@0.4.0.0 by 777genius; bend-datetime@0.4.0.0 by 777genius
- Published
- 2026-09-24
- Size
- 87,750 bytes, 9 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 42 defs, 3 types
Import
import bend-time-lib@0.4.0.0/date.bend as Date import bend-datetime@0.4.0.0/date.bend as Date import 0x9b6a4fc7ceea91864a75396e1b8365e5/date.bend as Date import bend-time-lib@0.4.0.0/datetime.bend as Datetime import bend-datetime@0.4.0.0/datetime.bend as Datetime import 0x9b6a4fc7ceea91864a75396e1b8365e5/datetime.bend as Datetime import bend-time-lib@0.4.0.0/duration.bend as Duration import bend-datetime@0.4.0.0/duration.bend as Duration import 0x9b6a4fc7ceea91864a75396e1b8365e5/duration.bend as Duration import bend-time-lib@0.4.0.0/format.bend as Format import bend-datetime@0.4.0.0/format.bend as Format import 0x9b6a4fc7ceea91864a75396e1b8365e5/format.bend as Format import bend-time-lib@0.4.0.0/instant.bend as Instant import bend-datetime@0.4.0.0/instant.bend as Instant import 0x9b6a4fc7ceea91864a75396e1b8365e5/instant.bend as Instant import bend-time-lib@0.4.0.0/iso8601.bend as Iso8601 import bend-datetime@0.4.0.0/iso8601.bend as Iso8601 import 0x9b6a4fc7ceea91864a75396e1b8365e5/iso8601.bend as Iso8601 import bend-time-lib@0.4.0.0/package.bend as Package import bend-datetime@0.4.0.0/package.bend as Package import 0x9b6a4fc7ceea91864a75396e1b8365e5/package.bend as Package import bend-time-lib@0.4.0.0/period.bend as Period import bend-datetime@0.4.0.0/period.bend as Period import 0x9b6a4fc7ceea91864a75396e1b8365e5/period.bend as Period import bend-time-lib@0.4.0.0/week.bend as Week import bend-datetime@0.4.0.0/week.bend as Week import 0x9b6a4fc7ceea91864a75396e1b8365e5/week.bend as Week
Modules
- date.bend not loaded
- datetime.bend not loaded
- duration.bend 48 declarations
- format.bend not loaded
- instant.bend not loaded
- iso8601.bend not loaded
- package.bend not loaded
- period.bend not loaded
- week.bend not loaded
Dependencies
- bend-parse-lib@0.1.0.0 via
format.bend: import 0xe49a3e6521e1b71e55654a885f27bcc1/parse.bend as P
Dependents
- 0x5118d7c8 via
posix_at.bend: import 0x9b6a4fc7ceea91864a75396e1b8365e5/date.bend as D
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| date.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.5 s |
| datetime.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.3 s |
| duration.bend | checks | ALL PROOFS CHECK | 0.7 s |
| format.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.6 s |
| instant.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.5 s |
| iso8601.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.5 s |
| package.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.4 s |
| period.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.4 s |
| week.bend | fails | - expected : a name (words joined by dots, got 'Date.leap.100')outputError: - expected : a name (words joined by dots, got 'Date.leap.100') - observed : 'Date.leap.100' Location: 9 | 10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool: | ^^^^^^^^^^^^^ 11 | match d100: | 0.4 s |