Skip to content

Conversation

gusty
Copy link
Member

@gusty gusty commented Sep 16, 2023

The idea is to have some nice properties enabled, as long as they make sense.

@gusty gusty force-pushed the master branch 2 times, most recently from c718153 to 3962979 Compare October 8, 2023 07:27
@gusty gusty marked this pull request as ready for review October 13, 2023 06:56
@gusty gusty force-pushed the gus/date-and-time branch from 1d352b4 to d3ccce7 Compare October 13, 2023 07:21
@gusty gusty changed the title + DateOnly as Monoid and Zero for TimeOnly + DateOnly and TimeOnly as Monoid Oct 14, 2023
@gusty gusty force-pushed the master branch 2 times, most recently from 4b42fc0 to 21f4a0b Compare October 14, 2023 06:49
@gusty gusty force-pushed the master branch 2 times, most recently from 9b34ece to b2f3c8c Compare October 15, 2023 05:01
@gusty gusty force-pushed the master branch 2 times, most recently from 484cff5 to 142c806 Compare December 18, 2023 08:18
@gusty gusty force-pushed the master branch 6 times, most recently from eef4e98 to f2e49ba Compare September 18, 2024 07:45
@gusty
Copy link
Member Author

gusty commented Jun 13, 2025

After cooling down this PR for a while, I see things clearly now.
DateOnly shouldn't be a Monoid. Eventually it could be made an Affine Space with int.

On the other hand, TimeOnly makes total sense as a modulo 24 hours Monoid.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants