date.bend checks

raw source on the hub · import bend-datetime@0.4.0.1/date.bend as Date

1 import

import Base

Types

type Date.Error source · line 3 · raw

Data

InvalidDate

@year:U32 -> @month:U32 -> @day:U32 -> Date.Error

OutOfRange
```
Date.Error
```

type Date source · line 7 · raw

Data

Date

@year:U32 -> @month:U32 -> @day:U32 -> Date

type Weekday source · line 304 · raw

Data

Mon
```
Weekday
```
Tue
```
Weekday
```
Wed
```
Weekday
```
Thu
```
Weekday
```
Fri
```
Weekday
```
Sat
```
Weekday
```
Sun
```
Weekday
```

Definitions

def Date.leap100 source · line 10 · raw

@+y:U32 -> @d100:Bool -> Bool

def Date.leap4 source · line 17 · raw

@+y:U32 -> @d4:Bool -> Bool

def Date.leap source · line 24 · raw

@+y:U32 -> Bool

def Date.dim.feb source · line 27 · raw

@leap:Bool -> U32

def Date.is_31 source · line 34 · raw

@+m:U32 -> Bool

def Date.is_30 source · line 52 · raw

@+m:U32 -> Bool

def Date.dim.rest3 source · line 58 · raw

@m:U32 -> @d30:Bool -> Maybe<&2, U32>

def Date.dim.rest2 source · line 65 · raw

@+m:U32 -> @d31:Bool -> Maybe<&2, U32>

def Date.dim.rest source · line 72 · raw

@+m:U32 -> Maybe<&2, U32>

def Date.dim.m source · line 75 · raw

@+m:U32 -> @leap:Bool -> @feb:Bool -> Maybe<&2, U32>

def Date.dim source · line 82 · raw

@+m:U32 -> @leap:Bool -> Maybe<&2, U32>

def Date.from.day2 source · line 85 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> @ok:Bool -> Result<&2, &2, Date.Error, Date>

def Date.from.day source · line 94 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> @dim:U32 -> Result<&2, &2, Date.Error, Date>

def Date.from.dim source · line 101 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> @dim:Maybe<&2, U32> -> Result<&2, &2, Date.Error, Date>

def Date.from.y source · line 110 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> @ok:Bool -> Result<&2, &2, Date.Error, Date>

def Date.from source · line 119 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> Result<&2, &2, Date.Error, Date>

def Date.dim_of.go source · line 124 · raw

@dim:Maybe<&2, U32> -> Result<&2, &2, Date.Error, U32>

def Date.dim_of source · line 131 · raw

@+y:U32 -> @+m:U32 -> Result<&2, &2, Date.Error, U32>

def Date.days_in_month source · line 134 · raw

@date:Date -> Result<&2, &2, Date.Error, U32>

def Date.end_of_month.go source · line 139 · raw

@+y:U32 -> @+m:U32 -> @r:Result<&2, &2, Date.Error, U32> -> Result<&2, &2, Date.Error, Date>

def Date.end_of_month source · line 148 · raw

@date:Date -> Result<&2, &2, Date.Error, Date>

def Date.start_of_month source · line 153 · raw

@date:Date -> Date

def Date.start_of_year source · line 158 · raw

@date:Date -> Date

def Date.end_of_year source · line 163 · raw

@date:Date -> Date

def Date.with_day source · line 168 · raw

@date:Date -> @d:U32 -> Result<&2, &2, Date.Error, Date>

def Date.with_month source · line 173 · raw

@date:Date -> @m:U32 -> Result<&2, &2, Date.Error, Date>

def Date.with_year source · line 178 · raw

@date:Date -> @y:U32 -> Result<&2, &2, Date.Error, Date>

def Date.y_adj source · line 183 · raw

@y:U32 -> @jf:Bool -> U32

def Date.mp source · line 190 · raw

@m:U32 -> @jf:Bool -> U32

def Date.doy source · line 197 · raw

@+m:U32 -> @+d:U32 -> @jf:Bool -> U32

def Date.to_days.era source · line 200 · raw

@+era:U32 -> @+yoe:U32 -> @doy:U32 -> U32

def Date.to_days.yoe source · line 212 · raw

@+ya:U32 -> @doy:U32 -> U32

def Date.to_days.parts source · line 219 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> U32

def Date.to_days source · line 222 · raw

@date:Date -> U32

def Date.is_eq source · line 227 · raw

@a:Date -> @b:Date -> Bool

def Date.is_lt source · line 235 · raw

@a:Date -> @b:Date -> Bool

def Date.is_gt source · line 238 · raw

@a:Date -> @b:Date -> Bool

def Date.is_le source · line 241 · raw

@a:Date -> @b:Date -> Bool

def Date.is_ge source · line 244 · raw

@a:Date -> @b:Date -> Bool

def Date.from_days.doe source · line 247 · raw

@+z:U32 -> @era:U32 -> U32

def Date.from_days.yoe source · line 250 · raw

@+doe:U32 -> U32

def Date.from_days.doy source · line 259 · raw

@+doe:U32 -> @+yoe:U32 -> U32

def Date.from_days.mp source · line 268 · raw

@+doy:U32 -> U32

def Date.from_days.day source · line 271 · raw

@+doy:U32 -> @+mp:U32 -> U32

def Date.from_days.month source · line 274 · raw

@+mp:U32 -> @lt:Bool -> U32

def Date.from_days.year source · line 281 · raw

@+y:U32 -> @jan:Bool -> U32

def Date.from_days.parts source · line 288 · raw

@+z:U32 -> Result<&2, &2, Date.Error, Date>

def Date.from_days source · line 301 · raw

@z:U32 -> Result<&2, &2, Date.Error, Date>

def Date.weekday.n6 source · line 313 · raw

@+n:U32 -> @is6:Bool -> Weekday

def Date.weekday.n5 source · line 320 · raw

@+n:U32 -> @is5:Bool -> Weekday

def Date.weekday.n4 source · line 327 · raw

@+n:U32 -> @is4:Bool -> Weekday

def Date.weekday.n3 source · line 334 · raw

@+n:U32 -> @is3:Bool -> Weekday

def Date.weekday.n2 source · line 341 · raw

@+n:U32 -> @is2:Bool -> Weekday

def Date.weekday.n1 source · line 348 · raw

@+n:U32 -> @is1:Bool -> Weekday

def Date.weekday.n source · line 355 · raw

@+n:U32 -> Weekday

def Date.weekday.zero source · line 358 · raw

@+n:U32 -> @z:Bool -> Weekday

def Date.weekday source · line 365 · raw

@date:Date -> Weekday

def Date.add_ov source · line 369 · raw

@+z:U32 -> @n:U32 -> @ok:Bool -> Result<&2, &2, Date.Error, Date>

def Date.add_days source · line 376 · raw

@+date:Date -> @+n:U32 -> Result<&2, &2, Date.Error, Date>

def Date.sub_ov source · line 380 · raw

@+z:U32 -> @n:U32 -> @ok:Bool -> Result<&2, &2, Date.Error, Date>

def Date.sub_days source · line 387 · raw

@+date:Date -> @+n:U32 -> Result<&2, &2, Date.Error, Date>

def Weekday.to_u32 source · line 391 · raw

@w:Weekday -> U32

def Weekday.fwd.gap source · line 408 · raw

@+cur:U32 -> @+tgt:U32 -> @gt:Bool -> U32

def Weekday.fwd.eq source · line 415 · raw

@+cur:U32 -> @+tgt:U32 -> @eq:Bool -> U32

def Weekday.fwd source · line 422 · raw

@+cur:U32 -> @+tgt:U32 -> U32

def Date.next_weekday source · line 425 · raw

@+d:Date -> @w:Weekday -> Result<&2, &2, Date.Error, Date>

def Date.previous_weekday source · line 432 · raw

@+d:Date -> @w:Weekday -> Result<&2, &2, Date.Error, Date>

def Date.next_or_same.go source · line 439 · raw

@+d:Date -> @w:Weekday -> @eq:Bool -> Result<&2, &2, Date.Error, Date>

def Date.next_or_same_weekday source · line 448 · raw

@+d:Date -> @+w:Weekday -> Result<&2, &2, Date.Error, Date>

def Date.previous_or_same.go source · line 455 · raw

@+d:Date -> @w:Weekday -> @eq:Bool -> Result<&2, &2, Date.Error, Date>

def Date.previous_or_same_weekday source · line 464 · raw

@+d:Date -> @+w:Weekday -> Result<&2, &2, Date.Error, Date>

def Date.until_days.go source · line 471 · raw

@+zs:U32 -> @+ze:U32 -> @lt:Bool -> Result<&2, &2, Date.Error, U32>

def Date.until_days source · line 480 · raw

@start:Date -> @end:Date -> Result<&2, &2, Date.Error, U32>