functionalscript 0.1.609 → 0.2.0

package/types/number/module.f.d.mts

@@ -1,13 +1,7 @@
-declare namespace _default {
-    export { sum };
-    export { min };
-    export { max };
-    export { cmp };
-}
-export default _default;
-declare const sum: (input: import("../list/module.f.mjs").List<number>) => number;
-declare const min: (input: import("../list/module.f.mjs").List<number>) => number | null;
-declare const max: (input: import("../list/module.f.mjs").List<number>) => number | null;
-/** @type {(a: number) => (b: number) => Compare.Sign} */
-declare const cmp: (a: number) => (b: number) => Compare.Sign;
-import * as Compare from '../function/compare/module.f.mjs';
+export const sum: (input: list.List<number>) => number;
+export const min: (input: list.List<number>) => number | null;
+export const max: (input: list.List<number>) => number | null;
+/** @type {(a: number) => (b: number) => compare.Sign} */
+export const cmp: (a: number) => (b: number) => compare.Sign;
+import * as list from '../list/module.f.mjs';
+import * as compare from '../function/compare/module.f.mjs';

package/types/number/module.f.mjs

@@ -1,27 +1,16 @@
 // @ts-self-types="./module.f.d.mts"
-import list from '../list/module.f.mjs'
+import * as list from '../list/module.f.mjs'
 const { reduce } = list
-import operator from '../function/operator/module.f.mjs'
+import * as operator from '../function/operator/module.f.mjs'
 const { addition, min: minOp, max: maxOp } = operator
-import compare, * as Compare from '../function/compare/module.f.mjs'
+import * as compare from '../function/compare/module.f.mjs'
 const { unsafeCmp } = compare
 
-const sum = reduce(addition)(0)
+export const sum = reduce(addition)(0)
 
-const min = reduce(minOp)(null)
+export const min = reduce(minOp)(null)
 
-const max = reduce(maxOp)(null)
+export const max = reduce(maxOp)(null)
 
-/** @type {(a: number) => (b: number) => Compare.Sign} */
-const cmp = unsafeCmp
-
-export default {
-    /** @readonly */
-    sum,
-    /** @readonly */
-    min,
-    /** @readonly */
-    max,
-    /** @readonly */
-    cmp,
-}
+/** @type {(a: number) => (b: number) => compare.Sign} */
+export const cmp = unsafeCmp

package/types/number/test.f.mjs

@@ -1,4 +1,4 @@
-import _ from './module.f.mjs'
+import * as _ from './module.f.mjs'
 const { sum, min, max, cmp } = _
 
 export default {

package/types/object/module.f.d.mts

@@ -1,12 +1,3 @@
-declare namespace _default {
-    export { at };
-    export { sort };
-    export { fromEntries };
-    export { fromMap };
-}
-export default _default;
-export type Map<T> = { readonly [k in string]: T; };
-export type Entry<T> = readonly [string, T];
 /**
  * @template T
  * @typedef {{
@@ -18,12 +9,14 @@ export type Entry<T> = readonly [string, T];
  * @typedef {readonly[string, T]} Entry
  */
 /** @type {(name: string) => <T>(object: Map<T>) => T|null} */
-declare const at: (name: string) => <T>(object: Map<T>) => T | null;
-/** @type {<T>(e: List.List<Entry<T>>) => List.List<Entry<T>>} */
-declare const sort: <T>(e: List.List<Entry<T>>) => List.List<Entry<T>>;
-/** @type {<T>(e: List.List<Entry<T>>) => Map<T>} */
-declare const fromEntries: <T>(e: List.List<Entry<T>>) => Map<T>;
-/** @type {<T>(m: BTMap.Map<T>) => Map<T>} */
-declare const fromMap: <T>(m: BTMap.Map<T>) => Map<T>;
-import * as List from '../list/module.f.mjs';
-import * as BTMap from '../map/module.f.mjs';
+export const at: (name: string) => <T>(object: Map<T>) => T | null;
+/** @type {<T>(e: list.List<Entry<T>>) => list.List<Entry<T>>} */
+export const sort: <T>(e: list.List<Entry<T>>) => list.List<Entry<T>>;
+/** @type {<T>(e: list.List<Entry<T>>) => Map<T>} */
+export const fromEntries: <T>(e: list.List<Entry<T>>) => Map<T>;
+/** @type {<T>(m: btMap.Map<T>) => Map<T>} */
+export const fromMap: <T>(m: btMap.Map<T>) => Map<T>;
+export type Map<T> = { readonly [k in string]: T; };
+export type Entry<T> = readonly [string, T];
+import * as list from '../list/module.f.mjs';
+import * as btMap from '../map/module.f.mjs';

package/types/object/module.f.mjs

@@ -1,7 +1,7 @@
 // @ts-self-types="./module.f.d.mts"
-import list, * as List from '../list/module.f.mjs'
+import * as list from '../list/module.f.mjs'
 const { iterable } = list
-import btMap, * as BTMap from '../map/module.f.mjs'
+import * as btMap from '../map/module.f.mjs'
 const { entries: mapEntries, fromEntries: mapFromEntries } = btMap
 const { getOwnPropertyDescriptor, fromEntries: objectFromEntries } = Object
 
@@ -18,27 +18,16 @@ const { getOwnPropertyDescriptor, fromEntries: objectFromEntries } = Object
  */
 
 /** @type {(name: string) => <T>(object: Map<T>) => T|null} */
-const at = name => object => {
+export const at = name => object => {
     const r = getOwnPropertyDescriptor(object, name)
     return r === void 0 ? null : r.value
 }
 
-/** @type {<T>(e: List.List<Entry<T>>) => List.List<Entry<T>>} */
-const sort = e => mapEntries(mapFromEntries(e))
+/** @type {<T>(e: list.List<Entry<T>>) => list.List<Entry<T>>} */
+export const sort = e => mapEntries(mapFromEntries(e))
 
-/** @type {<T>(e: List.List<Entry<T>>) => Map<T>} */
-const fromEntries = e => objectFromEntries(iterable(e))
+/** @type {<T>(e: list.List<Entry<T>>) => Map<T>} */
+export const fromEntries = e => objectFromEntries(iterable(e))
 
-/** @type {<T>(m: BTMap.Map<T>) => Map<T>} */
-const fromMap = m => fromEntries(mapEntries(m))
-
-export default {
-    /** @readonly */
-    at,
-    /** @readonly */
-    sort,
-    /** @readonly */
-    fromEntries,
-    /** @readonly */
-    fromMap,
-}
+/** @type {<T>(m: btMap.Map<T>) => Map<T>} */
+export const fromMap = m => fromEntries(mapEntries(m))

package/types/object/test.f.mjs

@@ -1,4 +1,4 @@
-import _ from './module.f.mjs'
+import * as _ from './module.f.mjs'
 
 export default {
     ctor: () => {

package/types/range/module.f.d.mts

@@ -1,11 +1,6 @@
-declare namespace _default {
-    export { contains };
-    export { one };
-}
-export default _default;
-export type Range = readonly [number, number];
 /** @typedef {readonly[number,number]} Range */
 /** @type {(range: Range) => (i: number) => boolean} */
-declare const contains: (range: Range) => (i: number) => boolean;
+export const contains: (range: Range) => (i: number) => boolean;
 /** @type {(i: number) => Range} */
-declare const one: (i: number) => Range;
+export const one: (i: number) => Range;
+export type Range = readonly [number, number];

package/types/range/module.f.mjs

@@ -2,14 +2,7 @@
 /** @typedef {readonly[number,number]} Range */
 
 /** @type {(range: Range) => (i: number) => boolean} */
-const contains = ([b, e]) => i => b <= i && i <= e
+export const contains = ([b, e]) => i => b <= i && i <= e
 
 /** @type {(i: number) => Range} */
-const one = a => [a, a]
-
-export default {
-    /** @readonly */
-    contains,
-    /** @readonly */
-    one,
-}
+export const one = a => [a, a]

package/types/range/test.f.mjs

@@ -1,4 +1,4 @@
-import _ from './module.f.mjs'
+import * as _ from './module.f.mjs'
 
 export default () => {
     if (!_.contains([0, 5])(1)) { throw 1 }

package/types/range_map/module.f.d.mts

@@ -1,11 +1,11 @@
-declare namespace _default {
-    export { merge };
-    export { get };
-    export { fromRange };
-}
-export default _default;
+/** @type {<T>(op: Operators<T>) => RangeMerge<T>} */
+export const merge: <T>(op: Operators<T>) => RangeMerge<T>;
+/** @type {<T>(def: T) => (value: number) => (rm: RangeMapArray<T>) => T} */
+export const get: <T>(def: T) => (value: number) => (rm: RangeMapArray<T>) => T;
+/** @type {<T>(def: T) => (r: Range.Range) => (value: T) => RangeMapArray<T>} */
+export const fromRange: <T>(def: T) => (r: Range.Range) => (value: T) => RangeMapArray<T>;
 export type Entry<T> = [T, number];
-export type RangeMap<T> = SortedList.SortedList<Entry<T>>;
+export type RangeMap<T> = sortedList.SortedList<Entry<T>>;
 export type RangeMapArray<T> = readonly Entry<T>[];
 export type Operators<T> = {
     readonly union: O.Reduce<T>;
@@ -13,13 +13,7 @@ export type Operators<T> = {
 };
 export type RangeState<T> = Option.Nullable<Entry<T>>;
 export type RangeMerge<T> = O.Reduce<RangeMap<T>>;
-/** @type {<T>(op: Operators<T>) => RangeMerge<T>} */
-declare const merge: <T>(op: Operators<T>) => RangeMerge<T>;
-/** @type {<T>(def: T) => (value: number) => (rm: RangeMapArray<T>) => T} */
-declare const get: <T>(def: T) => (value: number) => (rm: RangeMapArray<T>) => T;
-/** @type {<T>(def: T) => (r: Range.Range) => (value: T) => RangeMapArray<T>} */
-declare const fromRange: <T>(def: T) => (r: Range.Range) => (value: T) => RangeMapArray<T>;
-import * as SortedList from '../sorted_list/module.f.mjs';
+import * as Range from '../range/module.f.mjs';
+import * as sortedList from '../sorted_list/module.f.mjs';
 import * as O from '../function/operator/module.f.mjs';
 import * as Option from '../nullable/module.f.mjs';
-import * as Range from '../range/module.f.mjs';

package/types/range_map/module.f.mjs

@@ -1,10 +1,10 @@
 // @ts-self-types="./module.f.d.mts"
-import sortedList, * as SortedList from '../sorted_list/module.f.mjs'
+import * as sortedList from '../sorted_list/module.f.mjs'
 const { genericMerge } = sortedList
-import list from '../list/module.f.mjs'
+import * as list from '../list/module.f.mjs'
 const { next } = list
 import * as Option from '../nullable/module.f.mjs'
-import number from '../number/module.f.mjs'
+import * as number from '../number/module.f.mjs'
 const { cmp } = number
 import * as O from '../function/operator/module.f.mjs'
 import * as Range from '../range/module.f.mjs'
@@ -16,7 +16,7 @@ import * as Range from '../range/module.f.mjs'
 
 /**
  * @template T
- * @typedef {SortedList.SortedList<Entry<T>>} RangeMap
+ * @typedef {sortedList.SortedList<Entry<T>>} RangeMap
  */
 
 /**
@@ -42,7 +42,7 @@ import * as Range from '../range/module.f.mjs'
  * @typedef {O.Reduce<RangeMap<T>>} RangeMerge
  */
 
-/** @type {<T>(union: O.Reduce<T>) => (equal: O.Equal<T>) => SortedList.ReduceOp<Entry<T>, RangeState<T>>} */
+/** @type {<T>(union: O.Reduce<T>) => (equal: O.Equal<T>) => sortedList.ReduceOp<Entry<T>, RangeState<T>>} */
 const reduceOp = union => equal => state => ([aItem, aMax]) => ([bItem, bMax]) => {
     const sign = cmp(aMax)(bMax)
     const min = sign === 1 ? bMax : aMax
@@ -51,7 +51,7 @@ const reduceOp = union => equal => state => ([aItem, aMax]) => ([bItem, bMax]) =
     return [newState, sign, [u, min]]
 }
 
-/** @type {<T>(equal: O.Equal<T>) => SortedList.TailReduce<Entry<T>, RangeState<T>>} */
+/** @type {<T>(equal: O.Equal<T>) => sortedList.TailReduce<Entry<T>, RangeState<T>>} */
 const tailReduce = equal => state => tail => {
     if (state === null) { return tail }
     const tailResult = next(tail)
@@ -61,10 +61,10 @@ const tailReduce = equal => state => tail => {
 }
 
 /** @type {<T>(op: Operators<T>) => RangeMerge<T>} */
-const merge = ({ union, equal }) => genericMerge({ reduceOp: reduceOp(union)(equal), tailReduce: tailReduce(equal) })(null)
+export const merge = ({ union, equal }) => genericMerge({ reduceOp: reduceOp(union)(equal), tailReduce: tailReduce(equal) })(null)
 
 /** @type {<T>(def: T) => (value: number) => (rm: RangeMapArray<T>) => T} */
-const get = def => value => rm => {
+export const get = def => value => rm => {
     const len = rm.length
     let b = 0
     let e = len - 1
@@ -81,13 +81,4 @@ const get = def => value => rm => {
 }
 
 /** @type {<T>(def: T) => (r: Range.Range) => (value: T) => RangeMapArray<T>} */
-const fromRange = def => ([a, b]) => v => [[def, a - 1], [v, b]]
-
-export default {
-    /** @readonly */
-    merge,
-    /** @readonly */
-    get,
-    /** @readonly */
-    fromRange,
-}
+export const fromRange = def => ([a, b]) => v => [[def, a - 1], [v, b]]

package/types/range_map/test.f.mjs

@@ -1,79 +1,79 @@
-import _, * as T from './module.f.mjs'
-import compare from '../function/compare/module.f.mjs'
+import * as _ from './module.f.mjs'
+import * as compare from '../function/compare/module.f.mjs'
 const { unsafeCmp } = compare
-import json, * as Json from '../../json/module.f.mjs'
-import object from '../object/module.f.mjs'
+import * as json from '../../json/module.f.mjs'
+import * as object from '../object/module.f.mjs'
 const { sort } = object
-import sortedSet, * as SortedSet from '../sorted_set/module.f.mjs'
-import list from '../list/module.f.mjs'
-import operator from '../function/operator/module.f.mjs'
+import * as sortedSet from '../sorted_set/module.f.mjs'
+import * as list from '../list/module.f.mjs'
+import * as operator from '../function/operator/module.f.mjs'
 
-/** @type {(a: readonly Json.Unknown[]) => string} */
+/** @type {(a: readonly json.Unknown[]) => string} */
 const stringify = json.stringify(sort)
 
-/** @type {T.Operators<SortedSet.SortedSet<string>>} */
+/** @type {_.Operators<sortedSet.SortedSet<string>>} */
 const op = { union: sortedSet.union(unsafeCmp), equal: list.equal(operator.strictEqual) }
 
 export default {
     merge: [
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = [[['a'], 1], [['b'], 2]]
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = null
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a"],1],[["b"],2]]') { throw result }
         },
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = null
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = [[['a'], 1], [['b'], 2]]
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a"],1],[["b"],2]]') { throw result }
         },
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = [[['a'], 1], [['b'], 2]]
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = [[['a'], 1], [['b'], 2]]
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a"],1],[["b"],2]]') { throw result }
         },
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = [[['a'], 1], [['c'], 3]]
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = [[['b'], 2], [['d'], 4]]
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a","b"],1],[["b","c"],2],[["c","d"],3],[["d"],4]]') { throw result }
         },
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = [[['a'], 1], [['d'], 4]]
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = [[['b'], 2], [['c'], 3]]
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a","b"],1],[["b","d"],2],[["c","d"],3],[["d"],4]]') { throw result }
         },
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = [[['a'], 1], [['b'], 2]]
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = [[['b'], 1], [['a'], 2]]
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
             if (result !== '[[["a","b"],2]]') { throw result }
         },
         () => {
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const a = [[['a'], 1], [['b'], 2], [['a'], 3]]
-            /** @type {T.RangeMap<SortedSet.SortedSet<string>>} */
+            /** @type {_.RangeMap<sortedSet.SortedSet<string>>} */
             const b = [[['a'], 5]]
             const merged = _.merge(op)(a)(b)
             const result = stringify(list.toArray(merged))
@@ -81,54 +81,54 @@ export default {
         }
     ],
     get: () => {
-        /** @type {SortedSet.SortedSet<string>} */
+        /** @type {sortedSet.SortedSet<string>} */
         const sortedSetEmpty = []
         const get = _.get(sortedSetEmpty)
         return [
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(5)(rm))
                 if (result !== '["a"]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(10)(rm))
                 if (result !== '["a"]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(15)(rm))
                 if (result !== '["b"]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(20)(rm))
                 if (result !== '["b"]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(25)(rm))
                 if (result !== '["c"]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(30)(rm))
                 if (result !== '["c"]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = [[['a'], 10], [['b'], 20], [['c'], 30]]
                 const result = stringify(get(35)(rm))
                 if (result !== '[]') { throw result }
             },
             () => {
-                /** @type {T.RangeMapArray<SortedSet.SortedSet<string>>} */
+                /** @type {_.RangeMapArray<sortedSet.SortedSet<string>>} */
                 const rm = []
                 const result = stringify(get(10)(rm))
                 if (result !== '[]') { throw result }

package/types/result/module.d.mts

@@ -2,6 +2,6 @@ declare namespace _default {
     export { tryCatch };
 }
 export default _default;
-/** @type {<T>(f: () => T) => Result.Result<T, unknown>} */
-declare const tryCatch: <T>(f: () => T) => Result.Result<T, unknown>;
-import * as Result from './module.f.mjs';
+/** @type {<T>(f: () => T) => result.Result<T, unknown>} */
+declare const tryCatch: <T>(f: () => T) => result.Result<T, unknown>;
+import * as result from './module.f.mjs';

package/types/result/module.f.d.mts

@@ -1,12 +1,3 @@
-declare namespace _default {
-    export { ok };
-    export { error };
-    export { unwrap };
-}
-export default _default;
-export type Ok<T> = readonly ["ok", T];
-export type Error<E> = readonly ["error", E];
-export type Result<T, E> = Ok<T> | Error<E>;
 /**
  * @template T
  * @typedef {readonly['ok', T]} Ok
@@ -21,8 +12,11 @@ export type Result<T, E> = Ok<T> | Error<E>;
  * @typedef {Ok<T>|Error<E>} Result
  */
 /** @type {<T>(value: T) => Ok<T>} */
-declare const ok: <T>(value: T) => Ok<T>;
+export const ok: <T>(value: T) => Ok<T>;
 /** @type {<E>(e: E) => Error<E>} */
-declare const error: <E>(e: E) => Error<E>;
+export const error: <E>(e: E) => Error<E>;
 /** @type {<T, E>(r: Result<T, E>) => T} */
-declare const unwrap: <T, E>(r: Result<T, E>) => T;
+export const unwrap: <T, E>(r: Result<T, E>) => T;
+export type Ok<T> = readonly ["ok", T];
+export type Error<E> = readonly ["error", E];
+export type Result<T, E> = Ok<T> | Error<E>;

package/types/result/module.f.mjs

@@ -16,22 +16,13 @@
  */
 
 /** @type {<T>(value: T) => Ok<T>} */
-const ok = value => ['ok', value]
+export const ok = value => ['ok', value]
 
 /** @type {<E>(e: E) => Error<E>} */
-const error = e => ['error', e]
+export const error = e => ['error', e]
 
 /** @type {<T, E>(r: Result<T, E>) => T} */
-const unwrap = ([kind, v]) => {
+export const unwrap = ([kind, v]) => {
     if (kind === 'error') { throw v }
     return v
 }
-
-export default {
-    /** @readonly */
-    ok,
-    /** @readonly */
-    error,
-    /** @readonly */
-    unwrap,
-}

package/types/result/module.mjs

@@ -1,7 +1,7 @@
-import result, * as Result from './module.f.mjs'
+import * as result from './module.f.mjs'
 const { ok, error } = result
 
-/** @type {<T>(f: () => T) => Result.Result<T, unknown>} */
+/** @type {<T>(f: () => T) => result.Result<T, unknown>} */
 const tryCatch = f => {
     // Side effect: `try catch` is not allowed in FunctionalScript.
     try {

package/types/sorted_list/module.f.d.mts

@@ -1,28 +1,6 @@
-declare namespace _default {
-    export { merge };
-    export { genericMerge };
-    export { find };
-}
-export default _default;
-export type SortedList<T> = List.List<T>;
-export type SortedArray<T> = readonly T[];
-export type Cmp<T> = (a: T) => (b: T) => compare.Sign;
-export type ReduceOp<T, S> = (state: S) => (a: T) => (b: T) => readonly [option.Nullable<T>, compare.Sign, S];
-export type TailReduce<T, S> = (state: S) => (tail: List.List<T>) => List.List<T>;
-export type MergeReduce<T, S> = {
-    readonly reduceOp: ReduceOp<T, S>;
-    readonly tailReduce: TailReduce<T, S>;
-};
-export type CmpReduceOp<T> = ReduceOp<T, null>;
-/**
- * @template T
- * @typedef {ReduceOp<T, null>} CmpReduceOp
- */
-/** @type {<T>(cmp: Cmp<T>) => (a: SortedList<T>) => (b: SortedList<T>) => SortedList<T>} */
-declare const merge: <T>(cmp: Cmp<T>) => (a: SortedList<T>) => (b: SortedList<T>) => SortedList<T>;
 /**
  * @template T
- * @typedef {List.List<T>} SortedList
+ * @typedef {list.List<T>} SortedList
  */
 /**
  * @template T
@@ -40,7 +18,7 @@ declare const merge: <T>(cmp: Cmp<T>) => (a: SortedList<T>) => (b: SortedList<T>
 /**
  * @template T
  * @template S
- * @typedef {(state: S) => (tail: List.List<T>) => List.List<T>} TailReduce
+ * @typedef {(state: S) => (tail: list.List<T>) => list.List<T>} TailReduce
  */
 /**
  * @template T
@@ -50,10 +28,26 @@ declare const merge: <T>(cmp: Cmp<T>) => (a: SortedList<T>) => (b: SortedList<T>
  *  readonly tailReduce: TailReduce<T,S>
   * }} MergeReduce
  */
-/** @type {<T,S>(reduce: MergeReduce<T,S>) => (state: S) => (a: List.List<T>) => (b: List.List<T>) => List.List<T>} */
-declare const genericMerge: <T, S>(reduce: MergeReduce<T, S>) => (state: S) => (a: List.List<T>) => (b: List.List<T>) => List.List<T>;
+/** @type {<T,S>(reduce: MergeReduce<T,S>) => (state: S) => (a: list.List<T>) => (b: list.List<T>) => list.List<T>} */
+export const genericMerge: <T, S>(reduce: MergeReduce<T, S>) => (state: S) => (a: list.List<T>) => (b: list.List<T>) => list.List<T>;
+/**
+ * @template T
+ * @typedef {ReduceOp<T, null>} CmpReduceOp
+ */
+/** @type {<T>(cmp: Cmp<T>) => (a: SortedList<T>) => (b: SortedList<T>) => SortedList<T>} */
+export const merge: <T>(cmp: Cmp<T>) => (a: SortedList<T>) => (b: SortedList<T>) => SortedList<T>;
 /** @type {<T>(cmp: Cmp<T>) => (value: T) => (array: SortedArray<T>) =>  T|null} */
-declare const find: <T>(cmp: Cmp<T>) => (value: T) => (array: SortedArray<T>) => T | null;
-import * as List from '../list/module.f.mjs';
+export const find: <T>(cmp: Cmp<T>) => (value: T) => (array: SortedArray<T>) => T | null;
+export type SortedList<T> = list.List<T>;
+export type SortedArray<T> = readonly T[];
+export type Cmp<T> = (a: T) => (b: T) => compare.Sign;
+export type ReduceOp<T, S> = (state: S) => (a: T) => (b: T) => readonly [option.Nullable<T>, compare.Sign, S];
+export type TailReduce<T, S> = (state: S) => (tail: list.List<T>) => list.List<T>;
+export type MergeReduce<T, S> = {
+    readonly reduceOp: ReduceOp<T, S>;
+    readonly tailReduce: TailReduce<T, S>;
+};
+export type CmpReduceOp<T> = ReduceOp<T, null>;
+import * as list from '../list/module.f.mjs';
 import * as compare from '../function/compare/module.f.mjs';
 import * as option from '../nullable/module.f.mjs';