duration.bend checks
raw source on the hub · import bend-datetime@0.4.0.1/duration.bend as Duration
1 import
import Base
Types
type Duration.Error source · line 3 · raw
Data
OutOfRangeDuration.Error
type Duration source · line 6 · raw
Data
Duration@days:U32 -> @sod:U32 -> @nanos:U32 -> Duration
type Duration.Hms source · line 9 · raw
Data
Hms@hours:U32 -> @minutes:U32 -> @seconds:U32 -> Duration.Hms
Definitions
def Duration.zero source · line 12 · raw
Duration
def Duration.fit source · line 15 · raw
@+days:U32 -> @+sod:U32 -> Bool
def Duration.to_secs.add source · line 21 · raw
@+days:U32 -> @+sod:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, U32>
def Duration.to_secs source · line 30 · raw
@d:Duration -> Result<&2, &2, Duration.Error, U32>
def Duration.from_secs source · line 35 · raw
@+secs:U32 -> Duration
def Duration.from_days source · line 38 · raw
@+days:U32 -> Duration
def Duration.from_hms.s2 source · line 41 · raw
@+sec:U32 -> @+s:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hms.s source · line 50 · raw
@+sec:U32 -> @+s:U32 -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hms.hm2 source · line 55 · raw
@+hsec:U32 -> @+msec:U32 -> @+s:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hms.hm source · line 64 · raw
@+hsec:U32 -> @+mi:U32 -> @+s:U32 -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hms.h source · line 72 · raw
@+h:U32 -> @+mi:U32 -> @+s:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hms.r source · line 81 · raw
@+h:U32 -> @+mi:U32 -> @+s:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hms source · line 92 · raw
@+h:U32 -> @+mi:U32 -> @+s:U32 -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_hours source · line 99 · raw
@+h:U32 -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_mins.go source · line 102 · raw
@+mi:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.from_mins source · line 111 · raw
@+mi:U32 -> Result<&2, &2, Duration.Error, Duration>
def Duration.is_eq source · line 114 · raw
@a:Duration -> @b:Duration -> Bool
def Duration.is_lt.n source · line 122 · raw
@+n1:U32 -> @+n2:U32 -> @eq_s:Bool -> @slt:Bool -> Bool
def Duration.is_lt.s source · line 129 · raw
@+s1:U32 -> @+n1:U32 -> @+s2:U32 -> @+n2:U32 -> @eq_d:Bool -> @dlt:Bool -> Bool
def Duration.is_lt source · line 138 · raw
@a:Duration -> @b:Duration -> Bool
def Duration.is_gt source · line 145 · raw
@a:Duration -> @b:Duration -> Bool
def Duration.is_le source · line 148 · raw
@a:Duration -> @b:Duration -> Bool
def Duration.is_ge source · line 151 · raw
@a:Duration -> @b:Duration -> Bool
def Duration.add.days source · line 154 · 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 163 · raw
@+d1:U32 -> @+d2:U32 -> @+sod:U32 -> @+nanos:U32 -> @ge:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.add.sod source · line 177 · 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 183 · 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 192 · raw
@+d1:U32 -> @+d2:U32 -> @+s1:U32 -> @+s2:U32 -> @+n1:U32 -> @+n2:U32 -> Result<&2, &2, Duration.Error, Duration>
def Duration.add source · line 198 · raw
@a:Duration -> @b:Duration -> Result<&2, &2, Duration.Error, Duration>
def Duration.sub.days source · line 205 · raw
@+days:U32 -> @+sod:U32 -> @+nanos:U32 -> @+b_days:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.sub.s2 source · line 214 · 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 226 · 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 231 · 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 242 · 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 254 · 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 267 · 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 273 · raw
@a:Duration -> @b:Duration -> Result<&2, &2, Duration.Error, Duration>
def Duration.sub.lt source · line 278 · raw
@a:Duration -> @b:Duration -> @lt:Bool -> Result<&2, &2, Duration.Error, Duration>
def Duration.sub source · line 287 · raw
@+a:Duration -> @+b:Duration -> Result<&2, &2, Duration.Error, Duration>
def Duration.to_hms.ok source · line 292 · raw
@+days:U32 -> @+sod:U32 -> Bool
def Duration.to_hms.go source · line 302 · raw
@+days:U32 -> @+sod:U32 -> @ok:Bool -> Result<&2, &2, Duration.Error, Duration.Hms>
def Duration.to_hms source · line 317 · raw
@d:Duration -> Result<&2, &2, Duration.Error, Duration.Hms>