functionalscript 0.3.11 → 0.3.13

package/bnf/func/module.f.d.ts

@@ -0,0 +1,141 @@
+/**
+ *  Types for defining language grammar using Backus-Naur Form (BNF).
+ *
+ * @module
+ *
+ * @description
+ *
+ * Utilities for serializing and deserializing BNF grammar
+ * and creating a simple LL(1) parser.
+ *
+ * See [Backus-Naur form](https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form).
+ *
+ * @example
+ *
+ * ```ts
+ * import type { Rule } from './module.f.ts'
+ *
+ * // Matches 'A-Z', 'a-z', and '0-9'
+ * const grammar: Rule = () => [
+ *     [[65, 90]],
+ *     [[97, 122]],
+ *     [[48, 57]],
+ * ]
+ * ```
+ */
+import { type CodePoint } from '../../text/utf16/module.f.ts';
+/**
+ * Represents a terminal range as a pair of Unicode code points.
+ * Typically used to define character ranges.
+ *
+ * @example
+ *
+ * ```ts
+ * const alpha: TerminalRange = [65, 90] // Matches 'A-Z'
+ * ```
+ */
+export type TerminalRange = readonly [CodePoint, CodePoint];
+/**
+ * Represents a sequence of rules that must match in order.
+ *
+ * @example
+ *
+ * ```ts
+ * const alpha: TerminalRange = [65, 90] // Matches 'A-Z'
+ * const id2: Sequence = [alpha, alpha]  // Matches two uppercase letters
+ * ```
+ */
+export type Sequence = readonly (TerminalRange | Rule)[];
+/**
+ * Represents a logical "or" operation between multiple sequences.
+ * Allows defining alternatives within the grammar.
+ *
+ * @example
+ *
+ * ```ts
+ * const alpha: TerminalRange = [65, 90] // Matches 'A-Z'
+ * const id2: Sequence = [alpha, alpha]  // Matches two uppercase letters
+ * const digit: TerminalRange = [48, 57] // Matches '0-9'
+ * // Matches two uppercase letters or one digit
+ * const id2OrDigit: Or = [
+ *     id2,
+ *     [digit],
+ * ]
+ * ```
+ */
+export type Or = readonly Sequence[];
+/**
+ * Represents a lazy grammar rule for recursive definitions.
+ *
+ * @example
+ *
+ * ```ts
+ * const alpha: TerminalRange = [65, 90]  // Matches 'A-Z'
+ * // zero or more alpha symbols
+ * const alpha0x: Rule = () => [
+ *     [],              // Empty
+ *     [alpha, alpha0x] // Recursive
+ * ]
+ * const id: Sequence = [alpha, alpha0x]
+ * ```
+ */
+export type Rule = () => Or;
+/**
+ * Converts a string to an array of terminal ranges where each character is a separate range.
+ *
+ * @param s - The input string.
+ * @returns An array of terminal ranges representing each character in the string.
+ *
+ * @example
+ *
+ * ```ts
+ * const ranges = str('abc') // [[97, 97], [98, 98], [99, 99]]
+ * ```
+ */
+export declare const str: (s: string) => readonly TerminalRange[];
+/**
+ * Converts a single character string to a terminal range.
+ *
+ * @param a - The input character string.
+ * @returns A terminal range representing the character.
+ *
+ * @example
+ * ```ts
+ * const range = cp('A'); // [65, 65]
+ * ```
+ */
+export declare const cp: (a: string) => TerminalRange;
+/**
+ * Converts a two-character string into a terminal range.
+ *
+ * @param ab - The input string of two characters.
+ * @returns A terminal range representing the two characters.
+ *
+ * @throws {number} Throws an error if the input string does not have exactly two code points.
+ *
+ * @example
+ * ```ts
+ * const result = range('AZ'); // [65, 90]
+ * ```
+ */
+export declare const range: (ab: string) => TerminalRange;
+type RangeSet = readonly TerminalRange[];
+/**
+ * A set of terminal ranges compatible with the `Or` rule.
+ */
+export type OrRangeSet = readonly (readonly [TerminalRange])[];
+/**
+ * Removes a terminal range from a set of ranges.
+ *
+ * @param range the original range.
+ * @param removeSet the set of ranges to be removed.
+ * @returns The resulting set of ranges after removal.
+ *
+ * @example
+ *
+ * ```ts
+ * const result = remove([65, 90], [cp('C'), cp('W')]) // [A..Z] w/o C and W
+ * ```
+ */
+export declare const remove: (range: TerminalRange, removeSet: RangeSet) => OrRangeSet;
+export {};

package/bnf/func/module.f.js

@@ -0,0 +1,111 @@
+/**
+ *  Types for defining language grammar using Backus-Naur Form (BNF).
+ *
+ * @module
+ *
+ * @description
+ *
+ * Utilities for serializing and deserializing BNF grammar
+ * and creating a simple LL(1) parser.
+ *
+ * See [Backus-Naur form](https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form).
+ *
+ * @example
+ *
+ * ```ts
+ * import type { Rule } from './module.f.ts'
+ *
+ * // Matches 'A-Z', 'a-z', and '0-9'
+ * const grammar: Rule = () => [
+ *     [[65, 90]],
+ *     [[97, 122]],
+ *     [[48, 57]],
+ * ]
+ * ```
+ */
+import { stringToCodePointList } from "../../text/utf16/module.f.js";
+import { map, toArray } from "../../types/list/module.f.js";
+import { one } from "../../types/range/module.f.js";
+const toTerminalRangeMap = map(one);
+/**
+ * Converts a string to an array of terminal ranges where each character is a separate range.
+ *
+ * @param s - The input string.
+ * @returns An array of terminal ranges representing each character in the string.
+ *
+ * @example
+ *
+ * ```ts
+ * const ranges = str('abc') // [[97, 97], [98, 98], [99, 99]]
+ * ```
+ */
+export const str = (s) => toArray(toTerminalRangeMap(stringToCodePointList(s)));
+/**
+ * Converts a single character string to a terminal range.
+ *
+ * @param a - The input character string.
+ * @returns A terminal range representing the character.
+ *
+ * @example
+ * ```ts
+ * const range = cp('A'); // [65, 65]
+ * ```
+ */
+export const cp = (a) => one(a.codePointAt(0));
+/**
+ * Converts a two-character string into a terminal range.
+ *
+ * @param ab - The input string of two characters.
+ * @returns A terminal range representing the two characters.
+ *
+ * @throws {number} Throws an error if the input string does not have exactly two code points.
+ *
+ * @example
+ * ```ts
+ * const result = range('AZ'); // [65, 90]
+ * ```
+ */
+export const range = (ab) => {
+    const a = toArray(stringToCodePointList(ab));
+    if (a.length !== 2) {
+        throw a.length;
+    }
+    // deno-lint-ignore no-explicit-any
+    return a;
+};
+const removeOne = (set, [a, b]) => {
+    let result = [];
+    for (const [a0, b0] of set) {
+        if (a0 < a) {
+            // [a0
+            //     ]a
+            result = [...result, [a0, Math.min(b0, a - 1)]];
+        }
+        if (b < b0) {
+            //    b0]
+            // b[
+            result = [...result, [Math.max(b + 1, a0), b0]];
+        }
+    }
+    return result;
+};
+/**
+ * Removes a terminal range from a set of ranges.
+ *
+ * @param range the original range.
+ * @param removeSet the set of ranges to be removed.
+ * @returns The resulting set of ranges after removal.
+ *
+ * @example
+ *
+ * ```ts
+ * const result = remove([65, 90], [cp('C'), cp('W')]) // [A..Z] w/o C and W
+ * ```
+ */
+export const remove = (range, removeSet) => {
+    let result = [range];
+    for (const r of removeSet) {
+        result = removeOne(result, r);
+    }
+    return result.map(v => [v]);
+};

package/bnf/func/test.f.d.ts

@@ -0,0 +1,12 @@
+declare const _default: {
+    example: {
+        module: () => void;
+        types: () => void;
+        str: () => void;
+        cp: () => void;
+        range: () => void;
+        remove: () => void;
+    };
+    remove: () => void;
+};
+export default _default;

package/bnf/func/test.f.js

@@ -0,0 +1,230 @@
+import { stringify } from "../../json/module.f.js";
+import { sort } from "../../types/object/module.f.js";
+import { cp, str, range, remove, } from "./module.f.js";
+const deterministic = () => {
+    // {"empty":true,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32]]}
+    const ws = () => [
+        [],
+        [cp('\t'), ws], // 9
+        [cp('\n'), ws], // 10
+        [cp('\r'), ws], // 13
+        [cp(' '), ws], // 32
+    ];
+    // {"empty":true,"map":[[false,42],[true,43],[false,44],[true,45]]}
+    const sign = () => [
+        [],
+        str('+'), // 43
+        str('-'), // 45
+    ];
+    // {"empty":false,"map":[[false,48],[true,57]]}
+    const onenine = () => [
+        [range('19')]
+    ];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digit = () => [
+        str('0'),
+        [onenine],
+    ];
+    // {"empty":true,"map":[[false,47],[true,57]]}
+    const digits1 = () => [
+        [],
+        [digit, digits1]
+    ];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digits = () => [
+        [digit, digits1]
+    ];
+    // {"empty":true,"map":[[false,68],[true,69],[false,100],[true,101]]}
+    const exponent = () => [
+        [],
+        [cp('E'), sign, digits], // 69
+        [cp('e'), sign, digits], // 101
+    ];
+    // {"empty":true,"map":[[false,45],[true,46]]}
+    const fraction = () => [
+        [],
+        [cp('.'), digits] // 46
+    ];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const integer1 = () => [
+        str('0'), // 48
+        [onenine, digits1], // 49-57
+    ];
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const integer = () => [
+        [integer1], // 48-57
+        [cp('-'), integer1], // 45
+    ];
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const number = () => [
+        [integer, fraction, exponent]
+    ];
+    // {"empty":false,"map":[[false,47],[true,57],[false,64],[true,70],[false,96],[true,102]]}
+    const hex = () => [
+        [digit], // 48-57
+        [range('AF')], // A..F
+        [range('af')], // a..f
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,46],[true,47],[false,91],[true,92],[false,97],[true,98],[false,101],[true,102],[false,109],[true,110],[false,113],[true,114],[false,115],[true,117]]}
+    const escape = () => [
+        str('"'), //  34
+        str('/'), //  47
+        str('\\'), //  92
+        str('b'), //  98
+        str('f'), // 102
+        str('n'), // 110
+        str('r'), // 114
+        str('t'), // 116
+        [cp('u'), hex, hex, hex, hex] // 117
+    ];
+    // {"empty":false,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const character = () => [
+        ...remove([0x20, 0x10FFFF], [cp('"'), cp('\\')]),
+        [cp('\\'), escape], // 92
+    ];
+    // {"empty":true,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const characters = () => [
+        [],
+        [character, characters]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const string = () => [
+        [cp('"'), characters, cp('"')]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const element1 = () => [
+        [value, ws]
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const element = () => [
+        [ws, element1]
+    ];
+    // {"empty":true,"map":[[false,43],[true,44]]}
+    const elements2 = () => [
+        [],
+        [cp(','), elements] // 44
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const elements1 = () => [
+        [element1, elements2]
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const elements = () => [
+        [ws, elements1]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,92],[true,93],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const array1 = () => [
+        str(']'), // 93
+        [elements1, cp(']')],
+    ];
+    // {"empty":false,"map":[[false,90],[true,91]]}
+    const array = () => [
+        [cp('['), ws, array1]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const member1 = () => [
+        [string, ws, cp(':'), element]
+    ];
+    // {"empty":true,"map":[[false,43],[true,44]]}
+    const members2 = () => [
+        [],
+        [cp(','), members], // 44
+    ];
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const members1 = () => [
+        [member1, members2]
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const members = () => [
+        [ws, members1]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,124],[true,125]]}
+    const object1 = () => [
+        str('}'), // 125
+        [members1, cp('}')],
+    ];
+    // {"empty":false,"map":[[false,122],[true,123]]}
+    const object = () => [
+        [cp('{'), ws, object1]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const value = () => [
+        [object], // 123
+        [array], // 91
+        [string], // 34
+        [number], // 45, 48-57
+        str('true'), // 116
+        str('false'), // 102
+        str('null'), // 110
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const json = element;
+    const _ = json;
+};
+//
+const s = stringify(sort);
+export default {
+    example: {
+        module: () => {
+            // Matches 'A-Z', 'a-z', and '0-9'
+            const grammar = () => [
+                [range('AZ')],
+                [range('az')],
+                [range('09')],
+            ];
+            const _ = grammar;
+        },
+        types: () => {
+            const alpha = range('AZ'); // Matches 'A-Z'
+            const id2 = [alpha, alpha]; // Matches two uppercase letters
+            const digit = range('09'); // Matches '0-9'
+            // Matches two uppercase letters or one digit
+            const id2OrDigit = [
+                id2,
+                [digit],
+            ];
+            // Matches 'true', 'false'
+            const bool = () => [
+                str('true'),
+                str('false'),
+            ];
+            // zero or more alpha symbols
+            const alpha0x = () => [
+                [], // Empty
+                [alpha, alpha0x] // Recursive
+            ];
+            const id = [alpha, alpha0x];
+            const _ = [id2OrDigit, bool, id];
+        },
+        str: () => {
+            const ranges = str('abc'); // [[97, 97], [98, 98], [99, 99]]
+            const result = s(ranges);
+            if (result !== '[[97,97],[98,98],[99,99]]') {
+                throw result;
+            }
+        },
+        cp: () => {
+            const range = cp('A'); // [65, 65]
+            const result = s(range);
+            if (result !== '[65,65]') {
+                throw result;
+            }
+        },
+        range: () => {
+            const r = range('AZ'); // [65, 90]
+            const result = s(r);
+            if (result !== '[65,90]') {
+                throw result;
+            }
+        },
+        remove: () => {
+            const result = s(remove([65, 90], [cp('C'), cp('W')])); // [A..Z] w/o C and W
+            if (result !== '[[[65,66]],[[68,86]],[[88,90]]]') {
+                throw result;
+            }
+        }
+    },
+    remove: () => {
+        const _x = remove([0x20, 0x10FFFF], [cp('"'), cp('\\')]);
+    }
+};

package/bnf/func/testlib.f.d.ts

@@ -0,0 +1,25 @@
+import { type Rule } from './module.f.ts';
+export declare const classic: () => {
+    readonly ws: Rule;
+    readonly sign: Rule;
+    readonly digits: Rule;
+    readonly exponent: Rule;
+    readonly fraction: Rule;
+    readonly onenine: Rule;
+    readonly digit: Rule;
+    readonly string: Rule;
+    readonly member: Rule;
+    readonly members: Rule;
+    readonly object: Rule;
+    readonly array: Rule;
+    readonly integer: Rule;
+    readonly number: Rule;
+    readonly value: Rule;
+    readonly element: Rule;
+    readonly elements: Rule;
+    readonly json: Rule;
+    readonly hex: Rule;
+    readonly escape: Rule;
+    readonly character: Rule;
+    readonly characters: Rule;
+};

package/bnf/func/testlib.f.js

@@ -0,0 +1,150 @@
+import { cp, range, remove, str } from "./module.f.js";
+// https://www.json.org/json-en.html
+export const classic = () => {
+    // {"empty":true,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32]]}
+    const ws = () => [
+        [],
+        [cp(' '), ws], // 32
+        [cp('\n'), ws], // 10
+        [cp('\r'), ws], // 13
+        [cp('\t'), ws], // 9
+    ];
+    // {"empty":true,"map":[[false,42],[true,43],[false,44],[true,45]]}
+    const sign = () => [
+        [],
+        str('+'), // 43
+        str('-'), // 45
+    ];
+    // {"empty":false,"map":[[false,48],[true,57]]}
+    const onenine = () => [[[0x31, 0x39]]];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digit = () => [
+        str('0'),
+        [onenine],
+    ];
+    // {"empty":false,"map":[[false,47],[true,57]]}
+    const digits = () => [
+        [digit],
+        [digit, digits]
+    ];
+    // {"empty":true,"map":[[false,68],[true,69],[false,100],[true,101]]}
+    const exponent = () => [
+        [],
+        [cp('E'), sign, digits], // 69
+        [cp('e'), sign, digits], // 101
+    ];
+    // {"empty":true,"map":[[false,45],[true,46]]}
+    const fraction = () => [
+        [],
+        [cp('.'), digits] // 46
+    ];
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const integer = () => [
+        [digit], // 48-57
+        [onenine, digits],
+        [cp('-'), digit], // 45
+        [cp('-'), onenine, digits],
+    ];
+    // {"empty":false,"map":[[false,44],[true,45],[false,47],[true,57]]}
+    const number = () => [
+        [integer, fraction, exponent]
+    ];
+    // {"empty":false,"map":[[false,47],[true,57],[false,64],[true,70],[false,96],[true,102]]}
+    const hex = () => [
+        [digit], // 48-57
+        [range('AF')], // A..F
+        [range('af')], // a..f
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,46],[true,47],[false,91],[true,92],[false,97],[true,98],[false,101],[true,102],[false,109],[true,110],[false,113],[true,114],[false,115],[true,117]]}
+    const escape = () => [
+        str('"'), //  34
+        str('\\'), //  92
+        str('/'), //  47
+        str('b'), //  98
+        str('f'), // 102
+        str('n'), // 110
+        str('r'), // 114
+        str('t'), // 116
+        [cp('u'), hex, hex, hex, hex] // 117
+    ];
+    // {"empty":false,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const character = () => [
+        ...remove([0x20, 0x10FFFF], [cp('"'), cp('\\')]),
+        [cp('\\'), escape],
+    ];
+    // {"empty":true,"map":[[false,31],[true,33],[false,34],[true,1114111]]}
+    const characters = () => [
+        [],
+        [character, characters]
+    ];
+    // {"empty":false,"map":[[false,33],[true,34]]}
+    const string = () => [
+        [cp('"'), characters, cp('"')]
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const element = () => [
+        [ws, value, ws]
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const elements = () => [
+        [element],
+        [element, cp(','), elements]
+    ];
+    // {"empty":false,"map":[[false,90],[true,91]]}
+    const array = () => [
+        [cp('['), ws, cp(']')], // 91
+        [cp('['), elements, cp(']')],
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const member = () => [
+        [ws, string, ws, cp(':'), element]
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34]]}
+    const members = () => [
+        [member],
+        [member, cp(','), members],
+    ];
+    // {"empty":false,"map":[[false,122],[true,123]]}
+    const object = () => [
+        [cp('{'), ws, cp('}')], // 123
+        [cp('{'), members, cp('}')],
+    ];
+    // {"empty":false,"map":[[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const value = () => [
+        [object], // 123
+        [array], // 91
+        [string], // 34
+        [number], // 45, 48-57
+        str('true'), // 116
+        str('false'), // 102
+        str('null'), // 110
+    ];
+    // {"empty":false,"map":[[false,8],[true,10],[false,12],[true,13],[false,31],[true,32],[false,33],[true,34],[false,44],[true,45],[false,47],[true,57],[false,90],[true,91],[false,101],[true,102],[false,109],[true,110],[false,115],[true,116],[false,122],[true,123]]}
+    const json = () => [
+        [element]
+    ];
+    return {
+        ws,
+        sign,
+        digits,
+        exponent,
+        fraction,
+        onenine,
+        digit,
+        string,
+        member,
+        members,
+        object,
+        array,
+        integer,
+        number,
+        value,
+        element,
+        elements,
+        json,
+        hex,
+        escape,
+        character,
+        characters,
+    };
+};

package/dev/test/module.f.js

@@ -23,7 +23,8 @@ export default (input) => {
                     if (v.length === 0) {
                         const [[s, r], delta, state0] = measure(() => tryCatch(v))(state);
                         state = state0;
-                        if (s === 'error') {
+                        // Usual tests throw on error, but if the function name is 'throw', then the test passes if it throws.
+                        if ((s === 'error') === (v.name !== 'throw')) {
                             ts = addFail(delta)(ts);
                             if (isGitHub) {
                                 // https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions

package/fsc/module.f.js

@@ -21,6 +21,7 @@ const reduce = (a) => {
     const merge = rangeMapMerge({
         union,
         equal: strictEqual,
+        def,
     });
     return toArray(listReduce(merge)(empty)(a));
 };