@kensio/quando 0.1.0 → 1.0.0

package/dist/interpret.js

@@ -0,0 +1,99 @@
+/**
+ * Reading a rule as the times it covers.
+ *
+ * One function over the whole rule language rather than a method on each rule
+ * type, which is what lets the next operation over rules — describing them,
+ * validating them, drawing them — be another function here rather than another
+ * method everywhere.
+ *
+ * Everything is clipped to the context's window. That is not tidiness: a
+ * composition whose answer is empty has nothing to discover that from, so the
+ * only thing that makes it terminate is its sources running out. Clipping at
+ * the leaves is what makes them run out.
+ */
+import { windowOf } from "./context.js";
+import { clip, complement, intersect, union, } from "./interval-stream.js";
+import { dateIntervals, weekdayIntervals } from "./day-rules.js";
+import { timeOfDayIntervals } from "./time-rules.js";
+/** All of time, before the window narrows it. */
+const UNBOUNDED = [{ start: undefined, end: undefined }];
+/** No time at all. */
+const EMPTY = [];
+/**
+ * The intervals a rule covers within a context, in order and coalesced.
+ *
+ * The stream is lazy, and endless when the context has no end and the rule
+ * recurs — which is the point. Take what you need from it.
+ *
+ * Every interval comes back in the context's zone. The algebra compares
+ * instants, so a sweep is free to take one interval's start and another's end,
+ * and those two may have been written in different zones — a London rule read
+ * from a Tokyo context would otherwise hand back an interval whose two halves
+ * disagree about what time it is. The instants are unaffected either way; this
+ * only settles which zone reads them back.
+ */
+export function intervals(rule, context) {
+    return readIn(evaluate(rule, context), context.from.timeZoneId);
+}
+function* readIn(stream, zone) {
+    for (const interval of stream) {
+        yield {
+            start: interval.start?.withTimeZone(zone),
+            end: interval.end?.withTimeZone(zone),
+        };
+    }
+}
+function evaluate(rule, context) {
+    const window = windowOf(context);
+    switch (rule.type) {
+        case "always": {
+            return clip(UNBOUNDED, window);
+        }
+        case "never": {
+            return EMPTY;
+        }
+        case "daysOfWeek": {
+            return clip(weekdayIntervals(context, rule.days, rule.zone), window);
+        }
+        case "dates": {
+            return clip(dateIntervals(context, rule.dates, rule.zone), window);
+        }
+        case "timeOfDay": {
+            return clip(timeOfDayIntervals(context, rule.from, rule.to, rule.zone), window);
+        }
+        case "all": {
+            return everyOf(rule.rules, context);
+        }
+        case "any": {
+            return anyOf(rule.rules, context);
+        }
+        case "not": {
+            // Re-clipped, because a complement is unbounded at both ends by nature
+            // and would otherwise reach outside the window it was asked about.
+            return clip(complement(evaluate(rule.rule, context)), window);
+        }
+        default: {
+            // Compiles only while every rule type above is handled. Adding one to the
+            // union makes this the error that says so.
+            const unreachable = rule;
+            return unreachable;
+        }
+    }
+}
+/** Intersection, starting from all of time so that no rules means no limits. */
+function everyOf(rules, context) {
+    let covered = clip(UNBOUNDED, windowOf(context));
+    for (const rule of rules) {
+        covered = intersect(covered, evaluate(rule, context));
+    }
+    return covered;
+}
+/** Union, starting from nothing so that no rules means no times. */
+function anyOf(rules, context) {
+    let covered = EMPTY;
+    for (const rule of rules) {
+        covered = union(covered, evaluate(rule, context));
+    }
+    return covered;
+}
+//# sourceMappingURL=interpret.js.map

package/dist/interpret.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpret.js","sourceRoot":"","sources":["../src/interpret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAgB,QAAQ,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EACL,IAAI,EACJ,UAAU,EACV,SAAS,EAET,KAAK,GACN,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,iDAAiD;AACjD,MAAM,SAAS,GAAmB,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;AAEzE,sBAAsB;AACtB,MAAM,KAAK,GAAmB,EAAE,CAAC;AAEjC;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,OAAgB;IACpD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAClE,CAAC;AAED,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAsB,EAAE,IAAY;IACnD,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,MAAM;YACJ,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC;YACzC,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC;SACtC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAU,EAAE,OAAgB;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,EAAE,CAAC;YACd,OAAO,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;QAED,KAAK,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACvE,CAAC;QAED,KAAK,OAAO,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,CAAC;QAED,KAAK,WAAW,EAAE,CAAC;YACjB,OAAO,IAAI,CACT,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAC1D,MAAM,CACP,CAAC;QACJ,CAAC;QAED,KAAK,KAAK,EAAE,CAAC;YACX,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,KAAK,EAAE,CAAC;YACX,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;QAED,KAAK,KAAK,EAAE,CAAC;YACX,uEAAuE;YACvE,mEAAmE;YACnE,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAChE,CAAC;QAED,SAAS,CAAC;YACR,0EAA0E;YAC1E,2CAA2C;YAC3C,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,OAAO,CAAC,KAAsB,EAAE,OAAgB;IACvD,IAAI,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,oEAAoE;AACpE,SAAS,KAAK,CAAC,KAAsB,EAAE,OAAgB;IACrD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/interval-stream.d.ts

@@ -13,10 +13,17 @@ import { type Interval } from "./interval.js";
 /**
  * A lazy sequence of intervals.
  *
- * **Contract, which every producer must uphold:** intervals arrive sorted by
- * start, do not overlap, and are already coalesced — no two touching intervals
- * where one would do. The sweeps below are single-pass and rely on it; a
- * producer that breaks it produces wrong answers rather than errors.
+ * **Contract, which every producer must uphold:** intervals arrive in
+ * *ascending* order of start, do not overlap, and are already coalesced — no
+ * two touching intervals where one would do. The sweeps below are single-pass
+ * and rely on all three; a producer that breaks one produces wrong answers
+ * rather than errors.
+ *
+ * Ascending is stated rather than implied because the opposite is a real thing
+ * to want later: "when did this last open" wants to walk backwards. A
+ * descending stream would satisfy every other clause here while being read
+ * wrongly by all of it, so if one is ever added it needs to be a distinct type
+ * rather than a stream that happens to run the other way.
  */
 export type IntervalStream = Iterable<Interval>;
 /**

package/dist/interval-stream.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"interval-stream.d.ts","sourceRoot":"","sources":["../src/interval-stream.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAIL,KAAK,QAAQ,EAMd,MAAM,eAAe,CAAC;AAGvB;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEhD;;;;;;;GAOG;AACH,wBAAiB,SAAS,CACxB,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,GACpB,cAAc,CAwBhB;AAED;;;;;GAKG;AACH,wBAAiB,KAAK,CACpB,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,GACpB,cAAc,CAgChB;AA8BD;;;;;;GAMG;AACH,wBAAiB,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAyClE;AAED;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,GAAG,cAAc,CAM7E"}
+{"version":3,"file":"interval-stream.d.ts","sourceRoot":"","sources":["../src/interval-stream.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAIL,KAAK,QAAQ,EAMd,MAAM,eAAe,CAAC;AAGvB;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEhD;;;;;;;GAOG;AACH,wBAAiB,SAAS,CACxB,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,GACpB,cAAc,CAwBhB;AAED;;;;;GAKG;AACH,wBAAiB,KAAK,CACpB,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,GACpB,cAAc,CAgChB;AA8BD;;;;;;GAMG;AACH,wBAAiB,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAyClE;AAED;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,GAAG,cAAc,CAM7E"}

package/dist/interval-stream.js.map

@@ -1 +1 @@
-{"version":3,"file":"interval-stream.js","sourceRoot":"","sources":["../src/interval-stream.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,WAAW,EACX,aAAa,EACb,UAAU,EAEV,OAAO,EACP,QAAQ,EACR,UAAU,EACV,mBAAmB,EACnB,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAiB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAYtD;;;;;;;GAOG;AACH,MAAM,SAAS,CAAC,CAAC,SAAS,CACxB,IAAoB,EACpB,KAAqB;IAErB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAE1B,SAAS,CAAC;QACR,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACvB,CAAC;QAED,0EAA0E;QAC1E,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,SAAS,CAAC,CAAC,KAAK,CACpB,IAAoB,EACpB,KAAqB;IAErB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,IAA0B,CAAC;IAE/B,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM;QACR,CAAC;QAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;aAAM,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,CAAC;YACX,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QAED,oEAAoE;QACpE,2EAA2E;QAC3E,yEAAyE;QACzE,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,CAAC;YACX,OAAO;QACT,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,CAAC;IACb,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,SAAS,WAAW,CAClB,CAAqB,EACrB,CAAqB;IAErB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAEnB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACX,CAAC;IACD,CAAC,CAAC,IAAI,EAAE,CAAC;IACT,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,SAAS,CAAC,CAAC,UAAU,CAAC,MAAsB;IAChD,oEAAoE;IACpE,IAAI,MAA0C,CAAC;IAC/C,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,uEAAuE;QACvE,0EAA0E;QAC1E,2EAA2E;QAC3E,sCAAsC;QACtC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,IAAI,CAAC;YACf,0EAA0E;YAC1E,sEAAsE;YACtE,wEAAwE;YACxE,6DAA6D;YAC7D,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACjC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClD,CAAC;QACH,CAAC;aAAM,IACL,MAAM,KAAK,SAAS;YACpB,QAAQ,CAAC,KAAK,KAAK,SAAS;YAC5B,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAC1D,CAAC;YACD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QAED,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC/B,kEAAkE;YAClE,OAAO;QACT,CAAC;QACD,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC;IACxB,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAChE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,IAAI,CAAC,MAAsB,EAAE,MAAgB;IAC3D,6EAA6E;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,iBAAiB;IACjB,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AACrC,CAAC"}
+{"version":3,"file":"interval-stream.js","sourceRoot":"","sources":["../src/interval-stream.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,WAAW,EACX,aAAa,EACb,UAAU,EAEV,OAAO,EACP,QAAQ,EACR,UAAU,EACV,mBAAmB,EACnB,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAiB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAmBtD;;;;;;;GAOG;AACH,MAAM,SAAS,CAAC,CAAC,SAAS,CACxB,IAAoB,EACpB,KAAqB;IAErB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAE1B,SAAS,CAAC;QACR,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACvB,CAAC;QAED,0EAA0E;QAC1E,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,SAAS,CAAC,CAAC,KAAK,CACpB,IAAoB,EACpB,KAAqB;IAErB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,IAA0B,CAAC;IAE/B,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM;QACR,CAAC;QAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;aAAM,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,CAAC;YACX,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QAED,oEAAoE;QACpE,2EAA2E;QAC3E,yEAAyE;QACzE,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,CAAC;YACX,OAAO;QACT,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,CAAC;IACb,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,SAAS,WAAW,CAClB,CAAqB,EACrB,CAAqB;IAErB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAEnB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACX,CAAC;IACD,CAAC,CAAC,IAAI,EAAE,CAAC;IACT,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,SAAS,CAAC,CAAC,UAAU,CAAC,MAAsB;IAChD,oEAAoE;IACpE,IAAI,MAA0C,CAAC;IAC/C,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,uEAAuE;QACvE,0EAA0E;QAC1E,2EAA2E;QAC3E,sCAAsC;QACtC,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,IAAI,CAAC;YACf,0EAA0E;YAC1E,sEAAsE;YACtE,wEAAwE;YACxE,6DAA6D;YAC7D,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACjC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClD,CAAC;QACH,CAAC;aAAM,IACL,MAAM,KAAK,SAAS;YACpB,QAAQ,CAAC,KAAK,KAAK,SAAS;YAC5B,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAC1D,CAAC;YACD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QAED,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC/B,kEAAkE;YAClE,OAAO;QACT,CAAC;QACD,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC;IACxB,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAChE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,IAAI,CAAC,MAAsB,EAAE,MAAgB;IAC3D,6EAA6E;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,iBAAiB;IACjB,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AACrC,CAAC"}

package/dist/merge.d.ts

@@ -0,0 +1,43 @@
+/**
+ * What overlap means when two layers claim the same moment.
+ *
+ * Precedence answers it one way. The later layer wins and the earlier one is
+ * displaced, which is what a rota and a schedule want: one person is on call,
+ * and a shop is open or it is shut. Some domains want the other answer. Two
+ * teams each putting three people on a Monday have six people on that Monday,
+ * and a tariff built from a standing charge and a peak rate is the sum of
+ * them.
+ *
+ * The strategy is a name in the document rather than a function passed to
+ * `resolve`. A function cannot be stored, so a cascade carrying one would be a
+ * document that no longer says what it means, and two readers of the same
+ * stored cascade could disagree about the answer. The cost is a closed
+ * vocabulary, which is the same trade the rule language already makes.
+ */
+/**
+ * How overlapping layers combine.
+ *
+ * - `override` displaces. The later layer wins outright, and this is what a
+ *   cascade does when it says nothing.
+ * - `sum`, `max` and `min` are arithmetic over numbers.
+ * - `concat` joins arrays, which is how a moment claimed by three layers comes
+ *   back carrying all three.
+ */
+export type MergeStrategy = "override" | "sum" | "max" | "min" | "concat";
+export declare const MERGE_STRATEGIES: readonly MergeStrategy[];
+/**
+ * Combines the value already accumulated with the one a later layer assigns.
+ *
+ * `under` is everything below, already folded. `over` is the layer being
+ * added. The order matters for `override` and for nothing else, which is why
+ * it is stated rather than left to the reader.
+ */
+export type Merge<V> = (under: V, over: V) => V;
+/**
+ * The function a named strategy stands for.
+ *
+ * An absent strategy is `override`, so a cascade written before merging
+ * existed means exactly what it did then.
+ */
+export declare function mergeBy<V>(strategy: MergeStrategy | undefined): Merge<V>;
+//# sourceMappingURL=merge.d.ts.map

package/dist/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,QAAQ,CAAC;AAE1E,eAAO,MAAM,gBAAgB,EAAE,SAAS,aAAa,EAMpD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;AAuChD;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CA6BxE"}

package/dist/merge.js

@@ -0,0 +1,79 @@
+/**
+ * What overlap means when two layers claim the same moment.
+ *
+ * Precedence answers it one way. The later layer wins and the earlier one is
+ * displaced, which is what a rota and a schedule want: one person is on call,
+ * and a shop is open or it is shut. Some domains want the other answer. Two
+ * teams each putting three people on a Monday have six people on that Monday,
+ * and a tariff built from a standing charge and a peak rate is the sum of
+ * them.
+ *
+ * The strategy is a name in the document rather than a function passed to
+ * `resolve`. A function cannot be stored, so a cascade carrying one would be a
+ * document that no longer says what it means, and two readers of the same
+ * stored cascade could disagree about the answer. The cost is a closed
+ * vocabulary, which is the same trade the rule language already makes.
+ */
+export const MERGE_STRATEGIES = [
+    "override",
+    "sum",
+    "max",
+    "min",
+    "concat",
+];
+/** What a value looks like, for an error message. */
+function nameOf(value) {
+    if (value === null) {
+        return "null";
+    }
+    return Array.isArray(value) ? "an array" : typeof value;
+}
+/**
+ * The vocabulary is checked when a document is parsed. What the values in it
+ * turn out to be is only known once a cascade is resolved, so a `sum` over
+ * names fails here rather than at the boundary.
+ *
+ * The same split the rule language keeps. `parse.ts` checks shape and
+ * vocabulary, and meaning is settled where the thing is evaluated.
+ */
+function wrongType(strategy, holds, found) {
+    throw new TypeError(`A cascade merging by "${strategy}" carries ${holds}, and this one holds ` +
+        `${nameOf(found)}. Give it values it can combine, or merge by "override".`);
+}
+function asNumber(strategy, value) {
+    return typeof value === "number"
+        ? value
+        : wrongType(strategy, "numbers", value);
+}
+function asArray(strategy, value) {
+    return Array.isArray(value) ? value : wrongType(strategy, "arrays", value);
+}
+/**
+ * The function a named strategy stands for.
+ *
+ * An absent strategy is `override`, so a cascade written before merging
+ * existed means exactly what it did then.
+ */
+export function mergeBy(strategy) {
+    switch (strategy) {
+        case "sum": {
+            return (under, over) => (asNumber("sum", under) + asNumber("sum", over));
+        }
+        case "max": {
+            return (under, over) => Math.max(asNumber("max", under), asNumber("max", over));
+        }
+        case "min": {
+            return (under, over) => Math.min(asNumber("min", under), asNumber("min", over));
+        }
+        case "concat": {
+            return (under, over) => [...asArray("concat", under), ...asArray("concat", over)];
+        }
+        case "override":
+        case undefined: {
+            // The later layer displaces what is under it, which is the precedence a
+            // cascade has always had and what one says by saying nothing.
+            return (_under, over) => over;
+        }
+    }
+}
+//# sourceMappingURL=merge.js.map

package/dist/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAaH,MAAM,CAAC,MAAM,gBAAgB,GAA6B;IACxD,UAAU;IACV,KAAK;IACL,KAAK;IACL,KAAK;IACL,QAAQ;CACT,CAAC;AAWF,qDAAqD;AACrD,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAChB,QAAuB,EACvB,KAAa,EACb,KAAc;IAEd,MAAM,IAAI,SAAS,CACjB,yBAAyB,QAAQ,aAAa,KAAK,uBAAuB;QACxE,GAAG,MAAM,CAAC,KAAK,CAAC,0DAA0D,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,QAAuB,EAAE,KAAc;IACvD,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,OAAO,CAAC,QAAuB,EAAE,KAAc;IACtD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAI,QAAmC;IAC5D,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,KAAK,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACrB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAM,CAAC;QAC1D,CAAC;QAED,KAAK,KAAK,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACrB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAM,CAAC;QACjE,CAAC;QAED,KAAK,KAAK,EAAE,CAAC;YACX,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACrB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAM,CAAC;QACjE,CAAC;QAED,KAAK,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACrB,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAM,CAAC;QACnE,CAAC;QAED,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,EAAE,CAAC;YACf,wEAAwE;YACxE,8DAA8D;YAC9D,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;QAChC,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/parse-cascade.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Turning arbitrary JSON back into a cascade.
+ *
+ * The boundary `parseRule` keeps, one level up. A cascade is stored, sent and
+ * edited the way a rule is, so what comes back is whatever a database row, an
+ * API body or a form actually held, and the useful thing to do with a bad one
+ * is say precisely what is wrong and where.
+ *
+ * One thing differs, and it is why this takes an argument `parseRule` does
+ * not. The rule vocabulary is closed, so `parseRule` knows every rule there
+ * is. The values in a cascade are the caller's own domain type: a name, a
+ * tariff, a headcount. Quando has never seen one and has nothing to check it
+ * against, so the caller supplies the function that reads one.
+ */
+import type { Cascade } from "./cascade.js";
+/**
+ * Reads one stored value back at the type the caller keeps it in, or throws
+ * saying what is wrong.
+ *
+ * The `path` says where in the document the value sits, and belongs at the
+ * front of whatever the function throws. {@link fail} writes one in the same
+ * form the rest of parsing uses.
+ */
+export type ValueParser<V> = (value: unknown, path: string) => V;
+/**
+ * A cascade from unknown JSON, or a `TypeError` saying what is wrong and where.
+ *
+ * ```ts
+ * const onCall = parseCascade(JSON.parse(stored), asString);
+ * ```
+ *
+ * The `path` is what appears in front of every message, so a value six layers
+ * down reports as `cascade.layers[2].replace.layers[0].value` rather than as a
+ * puzzle.
+ */
+export declare function parseCascade<V>(value: unknown, parseValue: ValueParser<V>, path?: string): Cascade<V>;
+//# sourceMappingURL=parse-cascade.d.ts.map

package/dist/parse-cascade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-cascade.d.ts","sourceRoot":"","sources":["../src/parse-cascade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAS,MAAM,cAAc,CAAC;AAKnD;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC;AAKjE;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAC5B,KAAK,EAAE,OAAO,EACd,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,EAC1B,IAAI,SAAY,GACf,OAAO,CAAC,CAAC,CAAC,CA6BZ"}

package/dist/parse-cascade.js

@@ -0,0 +1,105 @@
+/**
+ * Turning arbitrary JSON back into a cascade.
+ *
+ * The boundary `parseRule` keeps, one level up. A cascade is stored, sent and
+ * edited the way a rule is, so what comes back is whatever a database row, an
+ * API body or a form actually held, and the useful thing to do with a bad one
+ * is say precisely what is wrong and where.
+ *
+ * One thing differs, and it is why this takes an argument `parseRule` does
+ * not. The rule vocabulary is closed, so `parseRule` knows every rule there
+ * is. The values in a cascade are the caller's own domain type: a name, a
+ * tariff, a headcount. Quando has never seen one and has nothing to check it
+ * against, so the caller supplies the function that reads one.
+ */
+import { MERGE_STRATEGIES } from "./merge.js";
+import { asRecord, checkFields, fail, shapeOf } from "./parse-shape.js";
+import { parseRule } from "./parse.js";
+const CASCADE_FIELDS = ["merge", "layers"];
+const LAYER_FIELDS = ["scope", "value", "replace"];
+/**
+ * A cascade from unknown JSON, or a `TypeError` saying what is wrong and where.
+ *
+ * ```ts
+ * const onCall = parseCascade(JSON.parse(stored), asString);
+ * ```
+ *
+ * The `path` is what appears in front of every message, so a value six layers
+ * down reports as `cascade.layers[2].replace.layers[0].value` rather than as a
+ * puzzle.
+ */
+export function parseCascade(value, parseValue, path = "cascade") {
+    const node = asRecord(value, path, "a cascade object");
+    const type = node["type"];
+    if (type !== "cascade") {
+        return fail(`${path}.type`, typeof type === "string"
+            ? `expected "cascade", found "${type}"`
+            : `expected "cascade", found ${shapeOf(type)}`);
+    }
+    checkFields(node, CASCADE_FIELDS, path, "a cascade");
+    const layers = node["layers"];
+    if (!Array.isArray(layers)) {
+        return fail(`${path}.layers`, `expected an array of layers, found ${shapeOf(layers)}`);
+    }
+    return {
+        type: "cascade",
+        ...mergePart(node, path),
+        layers: layers.map((layer, index) => parseLayer(layer, parseValue, `${path}.layers[${index}]`)),
+    };
+}
+/**
+ * Present or absent, never present-and-undefined, so a cascade that says
+ * nothing about merging serialises back to the document it came from.
+ *
+ * The name is checked here. Whether the values it will be handed are ones it
+ * can combine is not, because that is only known once the cascade is resolved.
+ */
+function mergePart(node, path) {
+    const merge = node["merge"];
+    if (merge === undefined) {
+        return {};
+    }
+    if (!MERGE_STRATEGIES.includes(merge)) {
+        return fail(`${path}.merge`, typeof merge === "string"
+            ? `"${merge}" is not a merge strategy. Expected one of ${MERGE_STRATEGIES.join(", ")}`
+            : `expected a merge strategy, found ${shapeOf(merge)}`);
+    }
+    return { merge: merge };
+}
+/**
+ * One layer: where it applies, and what applies there.
+ *
+ * Order of complaint follows order of reading. What the layer covers is
+ * checked before what holds inside it, because a layer whose scope is broken
+ * has nothing worth saying about its value.
+ */
+function parseLayer(value, parseValue, path) {
+    const node = asRecord(value, path, "a layer object");
+    // `checkFields` waves `type` past, because every rule and every cascade
+    // carries one. A layer does not, and a document that puts one here has
+    // confused the layer with the cascade holding it.
+    if ("type" in node) {
+        fail(`${path}.type`, "is not a field of a layer. The cascade around it carries the type");
+    }
+    checkFields(node, LAYER_FIELDS, path, "a layer");
+    const scope = parseRule(node["scope"], `${path}.scope`);
+    const holds = LAYER_FIELDS.filter((field) => field !== "scope" && field in node);
+    if (holds.length === 2) {
+        return fail(path, "has both a value and a replace, and a layer holds one or the other. " +
+            "A value applies across the whole scope, and a replace hands the " +
+            "scope to another cascade");
+    }
+    if (holds[0] === "replace") {
+        return {
+            scope,
+            replace: parseCascade(node["replace"], parseValue, `${path}.replace`),
+        };
+    }
+    if (holds[0] === "value") {
+        return { scope, value: parseValue(node["value"], `${path}.value`) };
+    }
+    return fail(path, "has neither a value nor a replace, so nothing holds inside its scope. " +
+        "A layer built with `undefined` as its value arrives this way, because " +
+        "`JSON.stringify` drops the field rather than writing it");
+}
+//# sourceMappingURL=parse-cascade.js.map

package/dist/parse-cascade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-cascade.js","sourceRoot":"","sources":["../src/parse-cascade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,gBAAgB,EAAsB,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAYvC,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC3C,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AAEnD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAc,EACd,UAA0B,EAC1B,IAAI,GAAG,SAAS;IAEhB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAE1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,IAAI,CACT,GAAG,IAAI,OAAO,EACd,OAAO,IAAI,KAAK,QAAQ;YACtB,CAAC,CAAC,8BAA8B,IAAI,GAAG;YACvC,CAAC,CAAC,6BAA6B,OAAO,CAAC,IAAI,CAAC,EAAE,CACjD,CAAC;IACJ,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAErD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CACT,GAAG,IAAI,SAAS,EAChB,sCAAsC,OAAO,CAAC,MAAM,CAAC,EAAE,CACxD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,SAAS;QACf,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAClC,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,WAAW,KAAK,GAAG,CAAC,CAC1D;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAChB,IAA6B,EAC7B,IAAY;IAEZ,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAsB,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CACT,GAAG,IAAI,QAAQ,EACf,OAAO,KAAK,KAAK,QAAQ;YACvB,CAAC,CAAC,IAAI,KAAK,8CAA8C,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACtF,CAAC,CAAC,oCAAoC,OAAO,CAAC,KAAK,CAAC,EAAE,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAsB,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CACjB,KAAc,EACd,UAA0B,EAC1B,IAAY;IAEZ,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAErD,wEAAwE;IACxE,uEAAuE;IACvE,kDAAkD;IAClD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,IAAI,CACF,GAAG,IAAI,OAAO,EACd,mEAAmE,CACpE,CAAC;IACJ,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAEjD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,IAAI,KAAK,IAAI,IAAI,CAC9C,CAAC;IAEF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CACT,IAAI,EACJ,sEAAsE;YACpE,kEAAkE;YAClE,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,KAAK;YACL,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,IAAI,UAAU,CAAC;SACtE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,OAAO,IAAI,CACT,IAAI,EACJ,wEAAwE;QACtE,wEAAwE;QACxE,yDAAyD,CAC5D,CAAC;AACJ,CAAC"}

package/dist/parse-fields.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Checking one field of an incoming rule document.
+ *
+ * These are the checks that know about time: a day of the week is one of
+ * seven names, a date is a date, a zone is one the runtime has heard of. Each
+ * either returns the value at the type it claims to be, or throws saying what
+ * was found instead and where.
+ *
+ * [parse-shape.ts](./parse-shape.ts) holds the ones underneath, which check
+ * that JSON is the shape it claims to be and know nothing about time.
+ */
+import { type Weekday } from "./rule.js";
+export declare function asDays(value: unknown, path: string): Weekday[];
+/** Checked by construction, so a malformed time is caught where it is written. */
+export declare function asTime(value: unknown, path: string): string;
+export declare function asDates(value: unknown, path: string): string[];
+/**
+ * A zone is checked here rather than left to fail at query time, because a
+ * mistyped one in a stored rule should be a problem when the rule is read, not
+ * hours later when something asks a question of it.
+ */
+export declare function asZone(value: unknown, path: string): string;
+/** Present or absent, never present-and-undefined. */
+export declare function zonePart(node: Record<string, unknown>, path: string): {
+    zone?: string;
+};
+//# sourceMappingURL=parse-fields.d.ts.map

package/dist/parse-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-fields.d.ts","sourceRoot":"","sources":["../src/parse-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAY,KAAK,OAAO,EAAE,MAAM,WAAW,CAAC;AAInD,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAS9D;AAED,kFAAkF;AAClF,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAW3D;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAY9D;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAW3D;AAED,sDAAsD;AACtD,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,IAAI,EAAE,MAAM,GACX;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAGnB"}

package/dist/parse-fields.js

@@ -0,0 +1,65 @@
+/**
+ * Checking one field of an incoming rule document.
+ *
+ * These are the checks that know about time: a day of the week is one of
+ * seven names, a date is a date, a zone is one the runtime has heard of. Each
+ * either returns the value at the type it claims to be, or throws saying what
+ * was found instead and where.
+ *
+ * [parse-shape.ts](./parse-shape.ts) holds the ones underneath, which check
+ * that JSON is the shape it claims to be and know nothing about time.
+ */
+import { asString, asStrings, fail } from "./parse-shape.js";
+import { WEEKDAYS } from "./rule.js";
+const WEEKDAY_NAMES = new Set(WEEKDAYS);
+export function asDays(value, path) {
+    return asStrings(value, path).map((day, index) => WEEKDAY_NAMES.has(day)
+        ? day
+        : fail(`${path}[${index}]`, `"${day}" is not a day of the week. Expected one of ${WEEKDAYS.join(", ")}`));
+}
+/** Checked by construction, so a malformed time is caught where it is written. */
+export function asTime(value, path) {
+    const time = asString(value, path);
+    try {
+        Temporal.PlainTime.from(time);
+    }
+    catch {
+        return fail(path, `"${time}" is not a time of day. Expected something like "09:00"`);
+    }
+    return time;
+}
+export function asDates(value, path) {
+    return asStrings(value, path).map((date, index) => {
+        try {
+            Temporal.PlainDate.from(date);
+        }
+        catch {
+            return fail(`${path}[${index}]`, `"${date}" is not a date. Expected something like "2026-03-14"`);
+        }
+        return date;
+    });
+}
+/**
+ * A zone is checked here rather than left to fail at query time, because a
+ * mistyped one in a stored rule should be a problem when the rule is read, not
+ * hours later when something asks a question of it.
+ */
+export function asZone(value, path) {
+    const zone = asString(value, path);
+    try {
+        Temporal.PlainDate.from("2000-01-01").toZonedDateTime({
+            timeZone: zone,
+            plainTime: "00:00",
+        });
+    }
+    catch {
+        return fail(path, `"${zone}" is not a known time zone`);
+    }
+    return zone;
+}
+/** Present or absent, never present-and-undefined. */
+export function zonePart(node, path) {
+    const zone = node["zone"];
+    return zone === undefined ? {} : { zone: asZone(zone, `${path}.zone`) };
+}
+//# sourceMappingURL=parse-fields.js.map

package/dist/parse-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-fields.js","sourceRoot":"","sources":["../src/parse-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAgB,MAAM,WAAW,CAAC;AAEnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;AAEhD,MAAM,UAAU,MAAM,CAAC,KAAc,EAAE,IAAY;IACjD,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAC/C,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;QACpB,CAAC,CAAE,GAAe;QAClB,CAAC,CAAC,IAAI,CACF,GAAG,IAAI,IAAI,KAAK,GAAG,EACnB,IAAI,GAAG,+CAA+C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5E,CACN,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,MAAM,CAAC,KAAc,EAAE,IAAY;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC;QACH,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CACT,IAAI,EACJ,IAAI,IAAI,yDAAyD,CAClE,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,IAAY;IAClD,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAChD,IAAI,CAAC;YACH,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CACT,GAAG,IAAI,IAAI,KAAK,GAAG,EACnB,IAAI,IAAI,uDAAuD,CAChE,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,KAAc,EAAE,IAAY;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC;QACH,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC;YACpD,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,OAAO;SACnB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,4BAA4B,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,QAAQ,CACtB,IAA6B,EAC7B,IAAY;IAEZ,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,EAAE,CAAC;AAC1E,CAAC"}

package/dist/parse-shape.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Checking that incoming JSON is the shape it claims to be.
+ *
+ * Nothing here knows anything about time. These are the checks any document
+ * needs on the way in, and they say what was found instead and where. The
+ * `path` threaded through them is what turns "not a string" into
+ * `rule.rules[1].rules[0].dates[0]: expected a string, found number`.
+ *
+ * [parse-fields.ts](./parse-fields.ts) sits on top with the checks that do
+ * know about time, such as days of the week and zones.
+ */
+export declare function fail(path: string, problem: string): never;
+/** What a value looks like, for an error message. */
+export declare function shapeOf(value: unknown): string;
+/**
+ * `expected` names what should have been there, and reads straight into the
+ * message. "a rule object", "a layer object".
+ */
+export declare function asRecord(value: unknown, path: string, expected: string): Record<string, unknown>;
+/**
+ * Refuses a field the thing being parsed does not have.
+ *
+ * Quietly ignoring one is the worse option by some distance. A rule document
+ * carrying `"zonee"` would parse as a perfectly valid rule with no zone, which
+ * is a *different schedule* read in whatever zone the query happened to use,
+ * and nothing would have said so.
+ *
+ * The cost is that a document written by a later version of Quando, carrying a
+ * field this one has not heard of, is rejected rather than tolerated. That is
+ * the right way round. A field exists to change what a document means, so
+ * ignoring an unknown one is agreeing to get the answer wrong quietly.
+ *
+ * `type` is exempt, because every caller has already read it to get here.
+ */
+export declare function checkFields(node: Record<string, unknown>, allowed: readonly string[], path: string, what: string): void;
+export declare function asString(value: unknown, path: string): string;
+export declare function asBoolean(value: unknown, path: string): boolean;
+export declare function asStrings(value: unknown, path: string): string[];
+//# sourceMappingURL=parse-shape.d.ts.map

package/dist/parse-shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-shape.d.ts","sourceRoot":"","sources":["../src/parse-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAEzD;AAED,qDAAqD;AACrD,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAQ9C;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CACtB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,GACf,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAKzB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,IAAI,CAWN;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAI7D;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAI/D;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAShE"}