bend-time-lib Releases (1): 0.4.0.1 0x5d092e40b48ee431bc4b160e8797f9d5 indexed https://jend.leeeet.dev/files.txt?path=bend-time-lib@0.4.0.1 Definitions (423, 1 to 100 shown): Date.Date.Error (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.Error) type Date.Error is Data: InvalidDate{year: U32, month: U32, day: U32} OutOfRange{} Date.Date (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date) type Date is Data: Date{year: U32, month: U32, day: U32} Date.Date.leap100 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.leap100) def Date.leap100(+y: U32, d100: Bool) -> Bool: Date.Date.leap4 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.leap4) def Date.leap4(+y: U32, d4: Bool) -> Bool: Date.Date.leap (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.leap) def Date.leap(+y: U32) -> Bool: Date.Date.dim.feb (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim.feb) def Date.dim.feb(leap: Bool) -> U32: Date.Date.is_31 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_31) def Date.is_31(+m: U32) -> Bool: Date.Date.is_30 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_30) def Date.is_30(+m: U32) -> Bool: Date.Date.dim.rest3 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim.rest3) def Date.dim.rest3(m: U32, d30: Bool) -> Maybe<&2, U32>: Date.Date.dim.rest2 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim.rest2) def Date.dim.rest2(+m: U32, d31: Bool) -> Maybe<&2, U32>: Date.Date.dim.rest (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim.rest) def Date.dim.rest(+m: U32) -> Maybe<&2, U32>: Date.Date.dim.m (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim.m) def Date.dim.m(+m: U32, leap: Bool, feb: Bool) -> Maybe<&2, U32>: Date.Date.dim (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim) def Date.dim(+m: U32, leap: Bool) -> Maybe<&2, U32>: Date.Date.from.day2 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from.day2) def Date.from.day2( +y: U32, +m: U32, +d: U32, ok: Bool ) -> Result<&2, &2, Date.Error, Date>: Date.Date.from.day (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from.day) def Date.from.day( +y: U32, +m: U32, +d: U32, dim: U32 ) -> Result<&2, &2, Date.Error, Date>: Date.Date.from.dim (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from.dim) def Date.from.dim( +y: U32, +m: U32, +d: U32, dim: Maybe<&2, U32> ) -> Result<&2, &2, Date.Error, Date>: Date.Date.from.y (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from.y) def Date.from.y( +y: U32, +m: U32, +d: U32, ok: Bool ) -> Result<&2, &2, Date.Error, Date>: Date.Date.from (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from) def Date.from( +y: U32, +m: U32, +d: U32 ) -> Result<&2, &2, Date.Error, Date>: Date.Date.dim_of.go (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim_of.go) def Date.dim_of.go(dim: Maybe<&2, U32>) -> Result<&2, &2, Date.Error, U32>: Date.Date.dim_of (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.dim_of) def Date.dim_of(+y: U32, +m: U32) -> Result<&2, &2, Date.Error, U32>: Date.Date.days_in_month (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.days_in_month) def Date.days_in_month(date: Date) -> Result<&2, &2, Date.Error, U32>: Date.Date.end_of_month.go (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.end_of_month.go) def Date.end_of_month.go( +y: U32, +m: U32, r: Result<&2, &2, Date.Error, U32> ) -> Result<&2, &2, Date.Error, Date>: Date.Date.end_of_month (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.end_of_month) def Date.end_of_month(date: Date) -> Result<&2, &2, Date.Error, Date>: Date.Date.start_of_month (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.start_of_month) def Date.start_of_month(date: Date) -> Date: Date.Date.start_of_year (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.start_of_year) def Date.start_of_year(date: Date) -> Date: Date.Date.end_of_year (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.end_of_year) def Date.end_of_year(date: Date) -> Date: Date.Date.with_day (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.with_day) def Date.with_day(date: Date, d: U32) -> Result<&2, &2, Date.Error, Date>: Date.Date.with_month (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.with_month) def Date.with_month(date: Date, m: U32) -> Result<&2, &2, Date.Error, Date>: Date.Date.with_year (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.with_year) def Date.with_year(date: Date, y: U32) -> Result<&2, &2, Date.Error, Date>: Date.Date.y_adj (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.y_adj) def Date.y_adj(y: U32, jf: Bool) -> U32: Date.Date.mp (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.mp) def Date.mp(m: U32, jf: Bool) -> U32: Date.Date.doy (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.doy) def Date.doy(+m: U32, +d: U32, jf: Bool) -> U32: Date.Date.to_days.era (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.to_days.era) def Date.to_days.era(+era: U32, +yoe: U32, doy: U32) -> U32: Date.Date.to_days.yoe (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.to_days.yoe) def Date.to_days.yoe(+ya: U32, doy: U32) -> U32: Date.Date.to_days.parts (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.to_days.parts) def Date.to_days.parts(+y: U32, +m: U32, +d: U32) -> U32: Date.Date.to_days (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.to_days) def Date.to_days(date: Date) -> U32: Date.Date.is_eq (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_eq) def Date.is_eq(a: Date, b: Date) -> Bool: Date.Date.is_lt (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_lt) def Date.is_lt(a: Date, b: Date) -> Bool: Date.Date.is_gt (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_gt) def Date.is_gt(a: Date, b: Date) -> Bool: Date.Date.is_le (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_le) def Date.is_le(a: Date, b: Date) -> Bool: Date.Date.is_ge (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.is_ge) def Date.is_ge(a: Date, b: Date) -> Bool: Date.Date.from_days.doe (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.doe) def Date.from_days.doe(+z: U32, era: U32) -> U32: Date.Date.from_days.yoe (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.yoe) def Date.from_days.yoe(+doe: U32) -> U32: Date.Date.from_days.doy (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.doy) def Date.from_days.doy(+doe: U32, +yoe: U32) -> U32: Date.Date.from_days.mp (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.mp) def Date.from_days.mp(+doy: U32) -> U32: Date.Date.from_days.day (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.day) def Date.from_days.day(+doy: U32, +mp: U32) -> U32: Date.Date.from_days.month (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.month) def Date.from_days.month(+mp: U32, lt: Bool) -> U32: Date.Date.from_days.year (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.year) def Date.from_days.year(+y: U32, jan: Bool) -> U32: Date.Date.from_days.parts (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days.parts) def Date.from_days.parts(+z: U32) -> Result<&2, &2, Date.Error, Date>: Date.Date.from_days (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.from_days) def Date.from_days(z: U32) -> Result<&2, &2, Date.Error, Date>: Date.Weekday (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Weekday) type Weekday is Data: Mon{} Tue{} Wed{} Thu{} Fri{} Sat{} Sun{} Date.Date.weekday.n6 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n6) def Date.weekday.n6(+n: U32, is6: Bool) -> Weekday: Date.Date.weekday.n5 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n5) def Date.weekday.n5(+n: U32, is5: Bool) -> Weekday: Date.Date.weekday.n4 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n4) def Date.weekday.n4(+n: U32, is4: Bool) -> Weekday: Date.Date.weekday.n3 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n3) def Date.weekday.n3(+n: U32, is3: Bool) -> Weekday: Date.Date.weekday.n2 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n2) def Date.weekday.n2(+n: U32, is2: Bool) -> Weekday: Date.Date.weekday.n1 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n1) def Date.weekday.n1(+n: U32, is1: Bool) -> Weekday: Date.Date.weekday.n (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.n) def Date.weekday.n(+n: U32) -> Weekday: Date.Date.weekday.zero (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday.zero) def Date.weekday.zero(+n: U32, z: Bool) -> Weekday: Date.Date.weekday (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.weekday) def Date.weekday(date: Date) -> Weekday: Date.Date.add_ov (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.add_ov) def Date.add_ov(+z: U32, n: U32, ok: Bool) -> Result<&2, &2, Date.Error, Date>: Date.Date.add_days (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.add_days) def Date.add_days(+date: Date, +n: U32) -> Result<&2, &2, Date.Error, Date>: Date.Date.sub_ov (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.sub_ov) def Date.sub_ov(+z: U32, n: U32, ok: Bool) -> Result<&2, &2, Date.Error, Date>: Date.Date.sub_days (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.sub_days) def Date.sub_days(+date: Date, +n: U32) -> Result<&2, &2, Date.Error, Date>: Date.Weekday.to_u32 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Weekday.to_u32) def Weekday.to_u32(w: Weekday) -> U32: Date.Weekday.fwd.gap (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Weekday.fwd.gap) def Weekday.fwd.gap(+cur: U32, +tgt: U32, gt: Bool) -> U32: Date.Weekday.fwd.eq (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Weekday.fwd.eq) def Weekday.fwd.eq(+cur: U32, +tgt: U32, eq: Bool) -> U32: Date.Weekday.fwd (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Weekday.fwd) def Weekday.fwd(+cur: U32, +tgt: U32) -> U32: Date.Date.next_weekday (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.next_weekday) def Date.next_weekday( +d: Date, w: Weekday ) -> Result<&2, &2, Date.Error, Date>: Date.Date.previous_weekday (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.previous_weekday) def Date.previous_weekday( +d: Date, w: Weekday ) -> Result<&2, &2, Date.Error, Date>: Date.Date.next_or_same.go (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.next_or_same.go) def Date.next_or_same.go( +d: Date, w: Weekday, eq: Bool ) -> Result<&2, &2, Date.Error, Date>: Date.Date.next_or_same_weekday (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.next_or_same_weekday) def Date.next_or_same_weekday( +d: Date, +w: Weekday ) -> Result<&2, &2, Date.Error, Date>: Date.Date.previous_or_same.go (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.previous_or_same.go) def Date.previous_or_same.go( +d: Date, w: Weekday, eq: Bool ) -> Result<&2, &2, Date.Error, Date>: Date.Date.previous_or_same_weekday (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.previous_or_same_weekday) def Date.previous_or_same_weekday( +d: Date, +w: Weekday ) -> Result<&2, &2, Date.Error, Date>: Date.Date.until_days.go (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.until_days.go) def Date.until_days.go( +zs: U32, +ze: U32, lt: Bool ) -> Result<&2, &2, Date.Error, U32>: Date.Date.until_days (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/date.bend&name=Date.until_days) def Date.until_days( start: Date, end: Date ) -> Result<&2, &2, Date.Error, U32>: Datetime.TimeFrac (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=TimeFrac) type TimeFrac is Data: FracNone{} Frac{digits: Nat, value: U32} Datetime.TimeOfDay.Error (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=TimeOfDay.Error) type TimeOfDay.Error is Data: InvalidTime{hour: U32, minute: U32, second: U32} Datetime.TimeOfDay (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=TimeOfDay) type TimeOfDay is Data: TimeOfDay{hour: U32, minute: U32, second: U32, frac: TimeFrac} Datetime.UtcOffset.Error (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset.Error) type UtcOffset.Error is Data: InvalidOffset{hour: U32, minute: U32} NegativeZero{} Datetime.UtcOffset (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset) type UtcOffset is Data: OffsetZero{} OffsetEast{hour: U32, minute: U32} OffsetWest{hour: U32, minute: U32} Datetime.OffsetDateTime (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=OffsetDateTime) type OffsetDateTime is Data: OffsetDateTime{date: D.Date, time: TimeOfDay, offset: UtcOffset} Datetime.LocalDateTime (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=LocalDateTime) type LocalDateTime is Data: LocalDateTime{date: D.Date, time: TimeOfDay} Datetime.TimeOfDay.from.frac (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=TimeOfDay.from.frac) def TimeOfDay.from.frac(+h: U32, +mi: U32, +s: U32, frac: TimeFrac, ok: Bool) -> Result<&2, &2, TimeOfDay.Error, TimeOfDay>: Datetime.TimeOfDay.from (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=TimeOfDay.from) def TimeOfDay.from( +h: U32, +mi: U32, +s: U32, frac: TimeFrac ) -> Result<&2, &2, TimeOfDay.Error, TimeOfDay>: Datetime.UtcOffset.from.zero (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset.from.zero) def UtcOffset.from.zero( z: Bool, west: Bool, +h: U32, +mi: U32 ) -> Result<&2, &2, UtcOffset.Error, UtcOffset>: Datetime.UtcOffset.from.range (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset.from.range) def UtcOffset.from.range( west: Bool, +h: U32, +mi: U32, ok: Bool ) -> Result<&2, &2, UtcOffset.Error, UtcOffset>: Datetime.UtcOffset.from (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset.from) def UtcOffset.from( west: Bool, +h: U32, +mi: U32 ) -> Result<&2, &2, UtcOffset.Error, UtcOffset>: Datetime.UtcOffset.zero (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=UtcOffset.zero) def UtcOffset.zero() -> UtcOffset: Datetime.Datetime.sod (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.sod) def Datetime.sod(+h: U32, +mi: U32, +s: U32) -> U32: Datetime.Datetime.off_sec (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.off_sec) def Datetime.off_sec(+h: U32, +mi: U32) -> U32: Datetime.Datetime.frac_nanos (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.frac_nanos) def Datetime.frac_nanos(frac: TimeFrac) -> U32: Datetime.Datetime.utc_east2 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.utc_east2) def Datetime.utc_east2( days: U32, +local: U32, +off: U32, ge: Bool ) -> U32 & U32: Datetime.Datetime.utc_east (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.utc_east) def Datetime.utc_east(days: U32, +local: U32, +off: U32) -> U32 & U32: Datetime.Datetime.utc_west2 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.utc_west2) def Datetime.utc_west2( days: U32, +local: U32, +off: U32, ge: Bool ) -> U32 & U32: Datetime.Datetime.utc_west (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.utc_west) def Datetime.utc_west(days: U32, +local: U32, +off: U32) -> U32 & U32: Datetime.Datetime.apply_off (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.apply_off) def Datetime.apply_off( days: U32, local: U32, offset: UtcOffset ) -> U32 & U32: Datetime.Datetime.unapply_off (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.unapply_off) def Datetime.unapply_off( days: U32, utc: U32, offset: UtcOffset ) -> U32 & U32: Datetime.Datetime.inst_of2 (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.inst_of2) def Datetime.inst_of2(ds: U32 & U32, nanos: U32) -> I.Instant: Datetime.Datetime.inst_of (https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/datetime.bend&name=Datetime.inst_of) def Datetime.inst_of( date: D.Date, time: TimeOfDay, offset: UtcOffset ) -> I.Instant: More: https://jend.leeeet.dev/packages/bend-time-lib.txt?definitions_offset=100