datetime.bend checks

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

5 imports

import Base
import ./date.bend as D
import ./duration.bend as Dur
import ./instant.bend as I
import ./period.bend as Per

Types

type TimeFrac source · line 7 · raw

Data

FracNone
```
TimeFrac
```
Frac
```
@digits:Nat -> @value:U32 -> TimeFrac
```

type TimeOfDay.Error source · line 11 · raw

Data

InvalidTime

@hour:U32 -> @minute:U32 -> @second:U32 -> TimeOfDay.Error

type TimeOfDay source · line 14 · raw

Data

TimeOfDay

@hour:U32 -> @minute:U32 -> @second:U32 -> @frac:TimeFrac -> TimeOfDay

type UtcOffset.Error source · line 17 · raw

Data

InvalidOffset

@hour:U32 -> @minute:U32 -> UtcOffset.Error

NegativeZero
```
UtcOffset.Error
```

type UtcOffset source · line 21 · raw

Data

OffsetZero
```
UtcOffset
```
OffsetEast
```
@hour:U32 -> @minute:U32 -> UtcOffset
```
OffsetWest
```
@hour:U32 -> @minute:U32 -> UtcOffset
```

type OffsetDateTime source · line 26 · raw

Data

OffsetDateTime

@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @time:TimeOfDay -> @offset:UtcOffset -> OffsetDateTime

type LocalDateTime source · line 29 · raw

Data

LocalDateTime

@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @time:TimeOfDay -> LocalDateTime

Definitions

def TimeOfDay.from.frac source · line 32 · raw

@+h:U32 -> @+mi:U32 -> @+s:U32 -> @frac:TimeFrac -> @ok:Bool -> Result<&2, &2, TimeOfDay.Error, TimeOfDay>

def TimeOfDay.from source · line 40 · raw

@+h:U32 -> @+mi:U32 -> @+s:U32 -> @frac:TimeFrac -> Result<&2, &2, TimeOfDay.Error, TimeOfDay>

def UtcOffset.from.zero source · line 51 · raw

@z:Bool -> @west:Bool -> @+h:U32 -> @+mi:U32 -> Result<&2, &2, UtcOffset.Error, UtcOffset>

def UtcOffset.from.range source · line 64 · raw

@west:Bool -> @+h:U32 -> @+mi:U32 -> @ok:Bool -> Result<&2, &2, UtcOffset.Error, UtcOffset>

def UtcOffset.from source · line 75 · raw

@west:Bool -> @+h:U32 -> @+mi:U32 -> Result<&2, &2, UtcOffset.Error, UtcOffset>

def UtcOffset.zero source · line 82 · raw

UtcOffset

def Datetime.sod source · line 85 · raw

@+h:U32 -> @+mi:U32 -> @+s:U32 -> U32

def Datetime.off_sec source · line 88 · raw

@+h:U32 -> @+mi:U32 -> U32

def Datetime.frac_nanos source · line 91 · raw

@frac:TimeFrac -> U32

def Datetime.utc_east2 source · line 98 · raw

@days:U32 -> @+local:U32 -> @+off:U32 -> @ge:Bool -> Pair(U32, U32)

def Datetime.utc_east source · line 107 · raw

@days:U32 -> @+local:U32 -> @+off:U32 -> Pair(U32, U32)

def Datetime.utc_west2 source · line 110 · raw

@days:U32 -> @+local:U32 -> @+off:U32 -> @ge:Bool -> Pair(U32, U32)

def Datetime.utc_west source · line 119 · raw

@days:U32 -> @+local:U32 -> @+off:U32 -> Pair(U32, U32)

def Datetime.apply_off source · line 124 · raw

@days:U32 -> @local:U32 -> @offset:UtcOffset -> Pair(U32, U32)

def Datetime.unapply_off source · line 135 · raw

@days:U32 -> @utc:U32 -> @offset:UtcOffset -> Pair(U32, U32)

def Datetime.inst_of2 source · line 146 · raw

@ds:Pair(U32, U32) -> @nanos:U32 -> 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant

def Datetime.inst_of source · line 150 · raw

@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @time:TimeOfDay -> @offset:UtcOffset -> 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant

def OffsetDateTime.to_instant source · line 160 · raw

@odt:OffsetDateTime -> 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant

def OffsetDateTime.same_instant source · line 165 · raw

@+a:OffsetDateTime -> @+b:OffsetDateTime -> Bool

def OffsetDateTime.from source · line 170 · raw

@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @time:TimeOfDay -> @offset:UtcOffset -> OffsetDateTime

def OffsetDateTime.to_unix.map source · line 175 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, U32> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, U32>

def OffsetDateTime.to_unix source · line 184 · raw

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

def OffsetDateTime.from_instant.clock source · line 189 · raw

@offset:UtcOffset -> @date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @r:Result<&2, &2, TimeOfDay.Error, TimeOfDay> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>

def OffsetDateTime.from_instant.date source · line 198 · raw

@+sod:U32 -> @offset:UtcOffset -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>

def OffsetDateTime.from_instant.pair source · line 215 · raw

@ds:Pair(U32, U32) -> @offset:UtcOffset -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>

def OffsetDateTime.from_instant source · line 221 · raw

@i:0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant -> @+offset:UtcOffset -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>

def OffsetDateTime.from_instant_utc source · line 230 · raw

@i:0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>

def OffsetDateTime.add.odt source · line 235 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, OffsetDateTime>

def OffsetDateTime.add.map source · line 244 · raw

@offset:UtcOffset -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, OffsetDateTime>

def OffsetDateTime.add source · line 253 · raw

@+odt:OffsetDateTime -> @d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, OffsetDateTime>

def OffsetDateTime.sub source · line 262 · raw

@+odt:OffsetDateTime -> @d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, OffsetDateTime>

def LocalDateTime.from source · line 271 · raw

@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @time:TimeOfDay -> LocalDateTime

def LocalDateTime.at_offset source · line 274 · raw

@local:LocalDateTime -> @offset:UtcOffset -> OffsetDateTime

def OffsetDateTime.to_local source · line 281 · raw

@odt:OffsetDateTime -> LocalDateTime

def OffsetDateTime.from_unix source · line 286 · raw

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

def Datetime.ldt_inst source · line 291 · raw

@ldt:LocalDateTime -> 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant

def Datetime.frac_of source · line 298 · raw

@+nanos:U32 -> @z:Bool -> TimeFrac

def Datetime.inst_ldt.tod source · line 305 · raw

@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @r:Result<&2, &2, TimeOfDay.Error, TimeOfDay> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, LocalDateTime>

def Datetime.inst_ldt.date source · line 314 · raw

@+sod:U32 -> @+nanos:U32 -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, LocalDateTime>

def Datetime.inst_ldt source · line 331 · raw

@i:0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, LocalDateTime>

def LocalDateTime.add.map source · line 338 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, LocalDateTime>

def LocalDateTime.add source · line 347 · raw

@ldt:LocalDateTime -> @d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, LocalDateTime>

def LocalDateTime.sub source · line 352 · raw

@ldt:LocalDateTime -> @d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, LocalDateTime>

def LocalDateTime.until source · line 357 · raw

@start:LocalDateTime -> @end:LocalDateTime -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/instant.Instant.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def LocalDateTime.add_period.map source · line 362 · raw

@time:TimeOfDay -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, LocalDateTime>

def LocalDateTime.add_period source · line 371 · raw

@ldt:LocalDateTime -> @p:0x5d092e40b48ee431bc4b160e8797f9d5/period.Period -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, LocalDateTime>

def OffsetDateTime.add_period.map source · line 378 · raw

@offset:UtcOffset -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, LocalDateTime> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>

def OffsetDateTime.add_period source · line 387 · raw

@+odt:OffsetDateTime -> @p:0x5d092e40b48ee431bc4b160e8797f9d5/period.Period -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, OffsetDateTime>