Equations
- Time.instReprLocalTime = { reprPrec := Time.reprLocalTime✝ }
Equations
- Time.instBEqLocalTime = { beq := Time.beqLocalTime✝ }
LocalTime syntactic category
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
LocalTime from numeric literals year, month, day, hour, minute and second
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Time.instInhabitedLocalTime = { default := { localDay := default, localTimeOfDay := default } }
Equations
- Time.LocalTime.addDays n lt = { localDay := Time.Day.addDays n lt.localDay, localTimeOfDay := lt.localTimeOfDay }
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.