Equations
Equations
- Std.Time.Month.instInhabitedOrdinal = { default := 1 }
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
- Std.Time.Month.instOfNatOffset = { ofNat := Int.ofNat n }
Quarter
represents a value between 1 and 4, inclusive, corresponding to the four quarters of a year.
Equations
Instances For
The ordinal value representing the month of January.
Equations
Instances For
The ordinal value representing the month of February.
Equations
Instances For
The ordinal value representing the month of March.
Equations
Instances For
The ordinal value representing the month of April.
Equations
Instances For
The ordinal value representing the month of May.
Equations
Instances For
The ordinal value representing the month of June.
Equations
Instances For
The ordinal value representing the month of July.
Equations
Instances For
The ordinal value representing the month of August.
Equations
Instances For
The ordinal value representing the month of September.
Equations
Instances For
The ordinal value representing the month of October.
Equations
Instances For
The ordinal value representing the month of November.
Equations
Instances For
The ordinal value representing the month of December.
Equations
Instances For
Transforms Month.Ordinal
into Second.Offset
.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Gets the number of days in a month.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Returns the number of days until the month
.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Checks if a given day is valid for the specified month and year. For example, 29/02
is valid only
if the year is a leap year.
Equations
Instances For
Clips the day to be within the valid range.
Equations
Instances For
Proves that every value provided by a clipDay is a valid day in a year.