Documentation

Time.Format

source
class Time.ToISO8601 (α : Type u) :
Type u
Instances
    source
    instance Time.instToISO8601Date :
    Time.ToISO8601 Time.Date
    Equations
    • One or more equations did not get rendered due to their size.
    source
    instance Time.instToISO8601TimeOfDay :
    Time.ToISO8601 Time.TimeOfDay
    Equations
    • One or more equations did not get rendered due to their size.
    source
    instance Time.instToISO8601LocalTime :
    Time.ToISO8601 Time.LocalTime
    Equations
    • One or more equations did not get rendered due to their size.
    source
    instance Time.instToISO8601ZonedTime :
    Time.ToISO8601 Time.ZonedTime
    Equations
    • One or more equations did not get rendered due to their size.