functionalscript 0.43.0 → 0.44.0

package/fjs/types/btree/set/proof.f.mjs

@@ -0,0 +1,427 @@
+import { set as setSet } from './module.f.mjs'
+/** @import { TNode } from '../types/types.ts' */
+import { cmp } from '../../string/module.f.mjs'
+import { stringify } from '../../../media/json/module.f.mjs'
+import { sort } from '../../object/module.f.mjs'
+import { assertEq } from '../../../asserts/module.f.mjs'
+
+/** @type {(node: TNode<string>) => (value: string) => TNode<string>} */
+const set = node => value =>
+    setSet(cmp(value))(() => value)(node)
+
+/** @type {(node: TNode<string>) => (value: string) => (g: (v: string | null) => string) => TNode<string>} */
+const replace = node => value => g =>
+    setSet(cmp(value))(g)(node)
+
+const jsonStr = stringify(sort)
+
+const test = [
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 10; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 11; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1"],"100",["121"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 12; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1"],"100",["121","144"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 13; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1"],"100",["121","144"]],"16",[["169"],"25",["36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 14; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1"],"100",["121","144"]],"16",[["169","196"],"25",["36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 15; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"],"25",["36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 16; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"],"25",["256","36"]],"4",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 17; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        assertEq(r, '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["36"]],"4",[["49"],"64",["81","9"]]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 18; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["324","36"]],"4",[["49"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 19; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["324"],"36",["361"]],"4",[["49"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 20; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400","49"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 21; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["49"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 22; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484","49"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 23; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 24; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529","576"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 25; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529"],"576",["625"],"64",["81","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 26; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"81",["9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 27; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676","729"],"81",["9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 28; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"],"81",["9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 29; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"],"81",["841","9"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 30; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 31; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 32; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["1024"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 33; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["1024","1089"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 34; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 35; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 36; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"],"1296",["144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 37; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"],"1296",["1369","144"]],"16",[["169"],"196",["225"]]],' +
+            '"25",' +
+            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
+        ) { throw r }
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 38; i++)
+            _map = set(_map)((i * i).toString())
+        const r = jsonStr(_map)
+        if (r !==
+            '[[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"]]],' +
+            '"1296",' +
+            '[[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]]],' +
+            '"25",' +
+            '[[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
+            '"49",' +
+            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]]'
+        ) { throw r }
+    },
+
+    // Replacing a key already stored as a branch separator (rather than in a
+    // leaf) exercises the `x.length === 3` and `x.length === 5` arms of the
+    // "replace" case, which plain sequential inserts never reach.
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 10; i++)
+            _map = set(_map)((i * i).toString())
+        // top level is a Branch3 with "4" as its separator (x.length === 3)
+        assertEq(jsonStr(_map), '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]')
+        const replaced = replace(_map)('4')(() => '4-updated')
+        assertEq(jsonStr(replaced), '[[["1","100"],"16",["25","36"]],"4-updated",[["49"],"64",["81","9"]]]')
+    },
+
+    () => {
+        /** @type {TNode<string>} */
+        let _map = ['1']
+        for (let i = 2; i <= 13; i++)
+            _map = set(_map)((i * i).toString())
+        // top level is a Branch5 with "16" as its first separator (i === 1) and
+        // "4" as its second separator (i === 3), so both x.length === 5 replace
+        // arms are reachable from this one fixture.
+        assertEq(
+            jsonStr(_map),
+            '[[["1"],"100",["121","144"]],"16",[["169"],"25",["36"]],"4",[["49"],"64",["81","9"]]]',
+        )
+        const replacedFirst = replace(_map)('16')(() => '16-updated')
+        assertEq(
+            jsonStr(replacedFirst),
+            '[[["1"],"100",["121","144"]],"16-updated",[["169"],"25",["36"]],"4",[["49"],"64",["81","9"]]]',
+        )
+        const replacedSecond = replace(_map)('4')(() => '4-updated')
+        assertEq(
+            jsonStr(replacedSecond),
+            '[[["1"],"100",["121","144"]],"16",[["169"],"25",["36"]],"4-updated",[["49"],"64",["81","9"]]]',
+        )
+    }
+]
+
+export const proof = test

package/fjs/types/btree/types/module.f.d.mts

@@ -0,0 +1,19 @@
+/**
+ * Node helpers shared by the persistent B-tree modules. The node types
+ * themselves live in `./types.ts`.
+ *
+ * @module
+ */
+/** @import { Branch1, Branch3, Branch5, TNode } from './types.ts' */
+import type { Branch1, Branch3, Branch5, TNode } from './types.ts';
+/**
+ * Demotes a single-child branch root to its only child.
+ *
+ * After an insert or remove the root may temporarily hold exactly one child
+ * (a `Branch1`). In that case the tree is one level taller than necessary;
+ * returning the child directly restores the correct height. If the root has
+ * more than one child it is returned unchanged.
+ *
+ * @type {<T>(b: Branch1<T> | Branch3<T> | Branch5<T>) => TNode<T>}
+ */
+export declare const collapseRoot: <T>(b: Branch1<T> | Branch3<T> | Branch5<T>) => TNode<T>;

package/fjs/types/btree/types/module.f.mjs

@@ -0,0 +1,19 @@
+/**
+ * Node helpers shared by the persistent B-tree modules. The node types
+ * themselves live in `./types.ts`.
+ *
+ * @module
+ */
+/** @import { Branch1, Branch3, Branch5, TNode } from './types.ts' */
+
+/**
+ * Demotes a single-child branch root to its only child.
+ *
+ * After an insert or remove the root may temporarily hold exactly one child
+ * (a `Branch1`). In that case the tree is one level taller than necessary;
+ * returning the child directly restores the correct height. If the root has
+ * more than one child it is returned unchanged.
+ *
+ * @type {<T>(b: Branch1<T> | Branch3<T> | Branch5<T>) => TNode<T>}
+ */
+export const collapseRoot = b => b.length === 1 ? b[0] : b

package/fjs/types/btree/types/types.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Shared type definitions for persistent B-tree modules.
+ *
+ * @module
+ */
+import type { Tuple } from '../../array/types.ts';
+export type Leaf1<T> = Tuple<1, T>;
+export type Leaf2<T> = Tuple<2, T>;
+export type Branch3<T> = readonly [TNode<T>, T, TNode<T>];
+export type Branch5<T> = readonly [TNode<T>, T, TNode<T>, T, TNode<T>];
+export type TNode<T> = Leaf1<T> | Leaf2<T> | Branch3<T> | Branch5<T>;
+export type Tree<T> = TNode<T> | null;
+export type Branch1<T> = readonly [TNode<T>];
+export type Branch7<T> = readonly [...Branch5<T>, T, TNode<T>];

package/fjs/types/btree/types/types.js

@@ -0,0 +1,6 @@
+/**
+ * Shared type definitions for persistent B-tree modules.
+ *
+ * @module
+ */
+export {};

package/fjs/types/byte_set/module.f.d.mts

@@ -0,0 +1,26 @@
+import type { RangeMap } from '../range_map/types.ts';
+import type { SortedSet } from '../sorted_set/types.ts';
+import type { ByteSet } from './types.ts';
+export type _Byte = number;
+/** @import { ByteSet } from './types.ts' */
+/** @typedef {number} _Byte */
+/** @type {(n: _Byte) => (s: ByteSet) => boolean} */
+export declare const has: (n: _Byte) => (s: ByteSet) => boolean;
+export declare const empty = 0n;
+export declare const universe = 115792089237316195423570985008687907853269984665640564039457584007913129639935n;
+/** @type {(n: _Byte) => ByteSet} */
+export declare const one: (n: _Byte) => ByteSet;
+/** @type {(r: readonly [_Byte, _Byte]) => ByteSet} */
+export declare const range: (r: readonly [_Byte, _Byte]) => ByteSet;
+/** @type {(a: ByteSet) => (b: ByteSet) => ByteSet} */
+export declare const union: (a: ByteSet) => (b: ByteSet) => ByteSet;
+/** @type {(n: ByteSet) => ByteSet} */
+export declare const complement: (n: ByteSet) => ByteSet;
+/** @type {(_: number) => (b: ByteSet) => ByteSet} */
+export declare const set: (_: number) => (b: ByteSet) => ByteSet;
+/** @type {(_: readonly [number, number]) => (b: ByteSet) => ByteSet} */
+export declare const setRange: (_: readonly [number, number]) => (b: ByteSet) => ByteSet;
+/** @type {(n: _Byte) => (s: ByteSet) => ByteSet} */
+export declare const unset: (n: _Byte) => (s: ByteSet) => ByteSet;
+/** @type {(n: ByteSet) => (s: string) => RangeMap<SortedSet<string>>} */
+export declare const toRangeMap: (n: ByteSet) => (s: string) => RangeMap<SortedSet<string>>;

package/fjs/types/byte_set/module.f.mjs

@@ -0,0 +1,66 @@
+/**
+ * Compact byte-set operations and predicates. See `./types.ts` for the
+ * `ByteSet` type.
+ *
+ * @module
+ */
+import { compose } from '../function/module.f.mjs'
+/** @import { RangeMap } from '../range_map/types.ts' */
+/** @import { SortedSet } from '../sorted_set/types.ts' */
+import { reverse, countdown, flat, map } from '../list/module.f.mjs'
+/** @import { ByteSet } from './types.ts' */
+
+/** @typedef {number} _Byte */
+
+/** @type {(n: _Byte) => (s: ByteSet) => boolean} */
+export const has = n => s => ((s >> BigInt(n)) & 1n) === 1n
+
+// create a set
+
+export const empty = 0n
+
+//                        0    1    2    3    4    5    6    7    8    9    A    B    C    D    E    F
+export const universe = 0xFFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFFn
+
+/** @type {(n: _Byte) => ByteSet} */
+export const one = n => 1n << BigInt(n)
+
+/** @type {(r: readonly [_Byte, _Byte]) => ByteSet} */
+export const range = ([b, e]) => one(e - b + 1) - 1n << BigInt(b)
+
+// set operations
+
+/** @type {(a: ByteSet) => (b: ByteSet) => ByteSet} */
+export const union = a => b => a | b
+
+/** @type {(a: ByteSet) => (b: ByteSet) => ByteSet} */
+const intersect = a => b => a & b
+
+/** @type {(n: ByteSet) => ByteSet} */
+export const complement = n => universe ^ n
+
+/** @type {(a: ByteSet) => (b: ByteSet) => ByteSet} */
+const difference = compose(intersect)(compose(complement))
+
+// additional operations
+
+/** @type {(_: number) => (b: ByteSet) => ByteSet} */
+export const set = compose(one)(union)
+
+/** @type {(_: readonly [number, number]) => (b: ByteSet) => ByteSet} */
+export const setRange = compose(range)(union)
+
+/** @type {(n: _Byte) => (s: ByteSet) => ByteSet} */
+export const unset = n => s => difference(s)(one(n))
+
+const counter = reverse(countdown(256))
+
+/** @type {(n: ByteSet) => (s: string) => (i: number) => RangeMap<SortedSet<string>>} */
+const toRangeMapOp = n => s => i => {
+    const current = has(i + 1)(n)
+    const prev = has(i)(n)
+    return current === prev ? null : [[prev ? [s] : [], i]]
+}
+
+/** @type {(n: ByteSet) => (s: string) => RangeMap<SortedSet<string>>} */
+export const toRangeMap = n => s => flat(map(toRangeMapOp(n)(s))(counter))

package/fjs/types/byte_set/proof.f.d.mts

@@ -0,0 +1,12 @@
+/** @import { Unknown } from '../../media/json/types.ts' */
+export declare const proof: {
+    has: (() => void)[];
+    setRange: () => void;
+    unset: (() => void)[];
+    universe: () => void;
+    compliment: {
+        empty: () => void;
+        universe: () => void;
+    };
+    toRangeMap: (() => void)[];
+};