week.bend checks

raw source on the hub · import bend-datetime@0.4.0.1/week.bend as Week

2 imports

import Base
import ./date.bend as D

Types

type IsoWeek source · line 4 · raw

Data

IsoWeek
```
@year:U32 -> @week:U32 -> IsoWeek
```

Definitions

def IsoWeek.start source · line 7 · raw

@d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from_date.week source · line 10 · raw

@+d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+year:U32 -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, IsoWeek>

def IsoWeek.from_date.mon1 source · line 26 · raw

@+d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+year:U32 -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, IsoWeek>

def IsoWeek.from_date.year source · line 35 · raw

@+d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, IsoWeek>

def IsoWeek.from_date.thu source · line 44 · raw

@+d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, IsoWeek>

def IsoWeek.from_date source · line 53 · raw

@+d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, IsoWeek>

def IsoWeek.from.ok source · line 56 · raw

@got:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @eq:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.eq source · line 65 · raw

@+year:U32 -> @+week:U32 -> @+got:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, IsoWeek> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.chk source · line 77 · raw

@+year:U32 -> @+week:U32 -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.add source · line 86 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> @mon1:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.le source · line 97 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> @mon1:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @ok:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.mon1 source · line 106 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.jan4 source · line 119 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.hi source · line 129 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> @hi:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from.ge source · line 138 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> @z:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>

def IsoWeek.from source · line 147 · raw

@+year:U32 -> @+week:U32 -> @weekday:0x5d092e40b48ee431bc4b160e8797f9d5/date.Weekday -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>