BetaCalendars.GridAlgebra.Validation

data ValidationIssue

A concrete invariant violation found by one of the validation functions.

Constructors

• GridCellCountMismatch Int Int
• CurrentMonthDateSequenceMismatch
• FirstDayOffsetMismatch Int Int
• NaturalRowCountOutOfRange Int
• FixedGridHasWrongCellCount Int
• LayoutRejected LayoutError

Instances

• Eq ValidationIssue

validateMonthGrid :: MonthGrid -> Array ValidationIssue

Check row-major size, the first-day offset, natural row bounds, and date completeness for a constructed month grid.

validateFixedGrid :: MonthGrid -> Array ValidationIssue

Check that a grid explicitly selected as fixed six weeks has 42 cells.

validateDateCompleteness :: MonthGrid -> Array ValidationIssue

Confirm that days 1 through the month's final day occur exactly once and in order as current-month cells.

validateLayout :: LayoutSpec -> Array ValidationIssue

Validate a printable layout and report the specific geometry error.

validateYear :: Year -> Array ValidationIssue

Exhaustively validate both grid modes and all seven week origins for a year. This is deterministic finite checking, not a proof over all years.