diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 13:00:51 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 13:00:51 +0200 |
| commit | 5046defebb8e04d00489a6be070b1b7e7a49ce84 (patch) | |
| tree | b68d8566dbcbb362f8f79f58d3583bb5ae833a44 /lib/kernel/record.mli | |
| parent | 2747e01ca00e3be9b8b94c4eddc2c9a17daedce7 (diff) | |
| download | colitur-5046defebb8e04d00489a6be070b1b7e7a49ce84.tar.gz colitur-5046defebb8e04d00489a6be070b1b7e7a49ce84.zip | |
kernel(record): flat all-string canonical output view
The boundary where rite-parametric types stop. CSV, JSON and the template
engine all render from this one schema, so they never see a type variable.
headers/to_row cover the scalar columns; names and citations are
variable-arity and wait for the richer encoders in Plan 5.
Diffstat (limited to 'lib/kernel/record.mli')
| -rw-r--r-- | lib/kernel/record.mli | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/kernel/record.mli b/lib/kernel/record.mli new file mode 100644 index 0000000..858f125 --- /dev/null +++ b/lib/kernel/record.mli @@ -0,0 +1,23 @@ +(** The canonical flat output view: one row per day, every field a string. This + is the boundary at which rite-parametric types stop. *) +type t = { + date : string; + rite : string; + season : string; + week : string; + weekday : string; + slug : string; + rank : string; + colour : string; + subject : string; + names : (string * string) list; + citations : (string * string) list; +} + +val of_temporal : rite:string -> ('s, 'r) Vocab.t -> Date.t -> ('s, 'r) Temporal.t -> t + +(** Column names for [to_row]. Names and citations are excluded: they are + variable-arity and belong to richer encodings, added in Plan 5. *) +val headers : string list + +val to_row : t -> string list |
