aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/record.mli
blob: 858f125f06a287e6b10d444f88aa2e3e5d5f1568 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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