Skip to main content

Module datetime

lemma::computation

Module datetime

Expand description

DateTime operations

Handles arithmetic and comparisons with dates and datetimes. Returns OperationResult with Veto for errors instead of Result.

Functions§

datetime_arithmetic: Perform date/datetime arithmetic, returning OperationResult (Veto on error)
datetime_comparison: Perform date/datetime comparisons, returning OperationResult (Veto on error)
time_arithmetic: Perform time arithmetic operations, returning OperationResult (Veto on error)
time_comparison: Perform time comparisons, returning OperationResult (Veto on error)