duration.bend checks

type Duration.Error source · line 3 · raw

Data

• OutOfRange

  Duration.Error

type Duration source · line 6 · raw

Data

• Duration

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

def Duration.zero source · line 9 · raw

Duration

def Duration.fit source · line 12 · raw

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

def Duration.to_secs.add source · line 18 · raw

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

def Duration.to_secs source · line 27 · raw

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

def Duration.from_secs source · line 32 · raw

@+secs:U32 -> Duration

def Duration.from_hms.s2 source · line 35 · raw

@+sec:U32 -> @+s:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.from_hms.s source · line 44 · raw

@+sec:U32 -> @+s:U32 -> Result<&2, &2, Duration.Error, Duration>

def Duration.from_hms.hm2 source · line 49 · raw

@+hsec:U32 -> @+msec:U32 -> @+s:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.from_hms.hm source · line 58 · raw

@+hsec:U32 -> @+mi:U32 -> @+s:U32 -> Result<&2, &2, Duration.Error, Duration>

def Duration.from_hms.h source · line 66 · raw

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

def Duration.from_hms.r source · line 75 · raw

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

def Duration.from_hms source · line 86 · raw

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

def Duration.is_eq source · line 93 · raw

@a:Duration -> @b:Duration -> Bool

def Duration.is_lt.n source · line 101 · raw

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

def Duration.is_lt.s source · line 108 · raw

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

def Duration.is_lt source · line 117 · raw

@a:Duration -> @b:Duration -> Bool

def Duration.is_gt source · line 124 · raw

@a:Duration -> @b:Duration -> Bool

def Duration.is_le source · line 127 · raw

@a:Duration -> @b:Duration -> Bool

def Duration.is_ge source · line 130 · raw

@a:Duration -> @b:Duration -> Bool

def Duration.add.days source · line 133 · raw

@+d1:U32 -> @+d2:U32 -> @+sod:U32 -> @+nanos:U32 -> @carry:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.add.sod2 source · line 142 · raw

@+d1:U32 -> @+d2:U32 -> @+sod:U32 -> @+nanos:U32 -> @ge:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.add.sod source · line 156 · raw

@+d1:U32 -> @+d2:U32 -> @+s1:U32 -> @+s2:U32 -> @+nanos:U32 -> @nc:U32 -> Result<&2, &2, Duration.Error, Duration>

def Duration.add.n2 source · line 162 · raw

@+d1:U32 -> @+d2:U32 -> @+s1:U32 -> @+s2:U32 -> @+ns:U32 -> @ge:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.add.n source · line 171 · raw

@+d1:U32 -> @+d2:U32 -> @+s1:U32 -> @+s2:U32 -> @+n1:U32 -> @+n2:U32 -> Result<&2, &2, Duration.Error, Duration>

def Duration.add source · line 177 · raw

@a:Duration -> @b:Duration -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.days source · line 184 · raw

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

def Duration.sub.s2 source · line 193 · raw

@+days:U32 -> @+sod:U32 -> @+nanos:U32 -> @+b_days:U32 -> @+b_sod:U32 -> @borrow:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.s source · line 205 · raw

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

def Duration.sub.n2 source · line 210 · raw

@+days:U32 -> @+sod:U32 -> @+n1:U32 -> @+b_days:U32 -> @+b_sod:U32 -> @+b_n:U32 -> @borrow:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.n0 source · line 221 · raw

@+days:U32 -> @+n1:U32 -> @+b_days:U32 -> @+b_sod:U32 -> @+b_n:U32 -> @zdays:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.n2b source · line 233 · raw

@+days:U32 -> @+sod:U32 -> @+n1:U32 -> @+b_days:U32 -> @+b_sod:U32 -> @+b_n:U32 -> @borrow:Bool -> @z:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.n source · line 246 · raw

@+days:U32 -> @+sod:U32 -> @+n1:U32 -> @+b_days:U32 -> @+b_sod:U32 -> @+b_n:U32 -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.go source · line 252 · raw

@a:Duration -> @b:Duration -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub.lt source · line 257 · raw

@a:Duration -> @b:Duration -> @lt:Bool -> Result<&2, &2, Duration.Error, Duration>

def Duration.sub source · line 266 · raw

@+a:Duration -> @+b:Duration -> Result<&2, &2, Duration.Error, Duration>