~/bend-docscommunity

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

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
date.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendchecks ALL PROOFS CHECK0.7 s
format.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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.bendfails - expected : a name (words joined by dots, got 'Date.leap.100')
output
Error:
- 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