you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 2 years ago* (last edited 2 years ago)

I'm guessing it's not alone. Every time format should come with a distance function and order function, or equivalent. If you have a life, that could mean something like subtraction.

Unfortunately, "should" isn't always enough. Optimally there's also type structure to the return of the function so you can't mix up seconds and days, or calendar and (one of the) standard length days.

  • source
  • parent