This module defines various units used for measuring, counting, and converting between days, months, years, weekdays, and weeks of the year.

The units are organized into types representing these time-related concepts, with operations provided to facilitate conversions and manipulations between them.

@[inline]

def Std.Time.Day.Offset.ofWeeks (week : Std.Time.Week.Offset) : Std.Time.Day.Offset

Convert Week.Offset into Day.Offset.

Equations

• Std.Time.Day.Offset.ofWeeks week = Std.Time.Internal.UnitVal.mul week 7

@[inline]

def Std.Time.Day.Offset.toWeeks (day : Std.Time.Day.Offset) : Std.Time.Week.Offset

Convert Day.Offset into Week.Offset.

Equations

• day.toWeeks = Std.Time.Internal.UnitVal.ediv day 7