instant.bend checks

type Instant.Error source · line 5 · raw

Data

• OutOfRange

  Instant.Error

type Instant source · line 8 · raw

Data

• Instant

  @days:U32 -> @sod:U32 -> @nanos:U32 -> Instant

def Instant.epoch_days source · line 11 · raw

U32

def Instant.unix_fit source · line 14 · raw

@+udays:U32 -> @+sod:U32 -> Bool

def Instant.to_unix.add source · line 20 · raw

@+udays:U32 -> @+sod:U32 -> @ok:Bool -> Result<&2, &2, Instant.Error, U32>

def Instant.to_unix.d source · line 29 · raw

@+udays:U32 -> @+sod:U32 -> Result<&2, &2, Instant.Error, U32>

def Instant.to_unix.ge source · line 34 · raw

@+days:U32 -> @+sod:U32 -> @ok:Bool -> Result<&2, &2, Instant.Error, U32>

def Instant.to_unix source · line 43 · raw

@i:Instant -> Result<&2, &2, Instant.Error, U32>

def Instant.from_unix source · line 48 · raw

@+secs:U32 -> Instant

def Instant.from_utc_date source · line 55 · raw

@d:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Instant

def Instant.to_utc_date source · line 58 · raw

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

def Instant.is_eq source · line 63 · raw

@a:Instant -> @b:Instant -> Bool

def Instant.is_lt.n source · line 71 · raw

@+n1:U32 -> @+n2:U32 -> @eq_s:Bool -> @slt:Bool -> Bool

def Instant.is_lt.s source · line 78 · raw

@+s1:U32 -> @+n1:U32 -> @+s2:U32 -> @+n2:U32 -> @eq_d:Bool -> @dlt:Bool -> Bool

def Instant.is_lt source · line 87 · raw

@a:Instant -> @b:Instant -> Bool

def Instant.is_gt source · line 92 · raw

@a:Instant -> @b:Instant -> Bool

def Instant.is_le source · line 95 · raw

@a:Instant -> @b:Instant -> Bool

def Instant.is_ge source · line 98 · raw

@a:Instant -> @b:Instant -> Bool

def Instant.from.date source · line 101 · raw

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

def Instant.from.rng source · line 110 · raw

@+days:U32 -> @+sod:U32 -> @+nanos:U32 -> @ok:Bool -> Result<&2, &2, Instant.Error, Instant>

def Instant.from source · line 119 · raw

@+days:U32 -> @+sod:U32 -> @+nanos:U32 -> Result<&2, &2, Instant.Error, Instant>

def Instant.of_dur.map source · line 127 · raw

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

def Instant.as_dur source · line 136 · raw

@i:Instant -> 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration

def Instant.add source · line 141 · raw

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

def Instant.sub source · line 146 · raw

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

def Instant.until.map source · line 151 · raw

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

def Instant.until.ord source · line 160 · raw

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

def Instant.until source · line 171 · raw

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

def Instant.trunc_sec source · line 176 · raw

@i:Instant -> Instant

def Instant.trunc_min source · line 181 · raw

@i:Instant -> Instant

def Instant.trunc_hour source · line 186 · raw

@i:Instant -> Instant

def Instant.trunc_day source · line 191 · raw

@i:Instant -> Instant