diff options
Diffstat (limited to 'lib/rites/rite_ef/temporal_ef.mli')
| -rw-r--r-- | lib/rites/rite_ef/temporal_ef.mli | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/lib/rites/rite_ef/temporal_ef.mli b/lib/rites/rite_ef/temporal_ef.mli index ddfcac2..a07ffa2 100644 --- a/lib/rites/rite_ef/temporal_ef.mli +++ b/lib/rites/rite_ef/temporal_ef.mli @@ -15,9 +15,11 @@ val season : Date.t -> Vocab_ef.season val christ_the_king : int -> Date.t (** The named temporal days: I-class feasts of the Lord, vigils, and days within - the Octave of the Nativity. Returns (season, slug, colour, rank, week). *) -val named : - Date.t -> (Vocab_ef.season * string * Colour.t * Vocab_ef.rank * int option) option + the Octave of the Nativity. Returns (season, slug, colour, rank). Carries + no week of its own -- {!temporal} computes it uniformly via {!week} for + every day, named or not, so a named day inside a numbered season run + always carries that run's week. *) +val named : Date.t -> (Vocab_ef.season * string * Colour.t * Vocab_ef.rank) option (** The Sunday on which week 1 of a season begins, in civil year [y]. [None] for [Christmastide], which has no numbered weeks. *) @@ -35,3 +37,10 @@ val id : string (** Total over 1583..9999: every date yields exactly one temporal identity. *) val temporal : Date.t -> (Vocab_ef.season, Vocab_ef.rank) Temporal.t + +(** Independent restatement of {!named}'s fixed and Easter-relative dates for + civil year [y], paired with the slug each should carry. Feeds + {!Colitur_kernel.Validate.run}'s anchor-agreement check; not derived from + {!named}, so an accidental single-site drift in an offset is caught + rather than left invisible. *) +val anchors : int -> (string * Date.t) list |