functionalscript 0.0.155 → 0.0.162

package/array/index.js

@@ -0,0 +1,90 @@
+const option = require('../option')
+
+/**
+ * @template T
+ * @typedef {readonly T[]} Array
+ */
+
+/**
+ * @template T
+ * @typedef {readonly [T]} Array1
+ */
+
+/** @typedef {0} Index1 */
+
+/**
+ * @template T
+ * @typedef {readonly [T, T]} Array2
+ */
+
+/** @typedef {0|1} Index2 */
+
+/**
+ * @template T
+ * @typedef {readonly [T, T, T]} Array3
+ */
+
+/** @typedef {0|1|2} Index3 */
+
+/**
+ * @template T
+ * @typedef {readonly [T, T, T, T]} Array4
+ */
+
+/** @typedef {0|1|2|3} Index4 */
+
+/**
+ * @template T
+ * @typedef {readonly [T, T, T, T, T]} Array5
+ */
+
+/** @typedef {0|1|2|3|4} Index5 */
+
+/** @type {<T>(_: Array<T>) => Array<T>} */
+const uncheckTail = a => a.slice(1)
+
+/** @type {<T>(_: Array<T>) => Array<T>} */
+const uncheckHead = a => a.slice(0, -1)
+
+/** @type {<T>(_: Array<T>) => T|undefined} */
+const first = a => a[0]
+
+/** @type {<T>(_: Array<T>) => T|undefined} */
+const last = a => a[a.length - 1]
+
+/** @type {<T>(_: Array<T>) => Array<T>|undefined} */
+const tail = a => a.length === 0 ? undefined : uncheckTail(a)
+
+/** @type {<T>(_: Array<T>) => readonly [T, Array<T>]|undefined} */
+const splitFirst = a => {
+    /** @typedef {typeof a[0]} T*/
+    /** @type {(_: T) => readonly [T, Array<T>]} */
+    const split = first => [first, uncheckTail(a)]
+    return option.map(split)(a[0])
+}
+
+/** @type {<T>(_: Array<T>) => Array<T>|undefined} */
+const head = a => a.length === 0 ? undefined : uncheckHead(a)
+
+/** @type {<T>(_: Array<T>) => readonly [Array<T>, T]|undefined} */
+const splitLast = a => {
+    /** @typedef {typeof a[0]} T*/
+    /** @type {(_: T) => readonly [Array<T>, T]} */
+    const split = x => [uncheckHead(a), x]
+    return option.map(split)(last(a))
+}
+
+module.exports = {
+    /** @readnly */
+    first,
+    /** @readonly */
+    last,
+    /** @readonly */
+    head,
+    /** @readonly */
+    tail,
+    /** @readonly */
+    splitFirst,
+    /** @readonly */
+    splitLast,
+}

package/async/iterable/index.js

@@ -0,0 +1,112 @@
+const { todo } = require('../../dev')
+const { pipe } = require('../../func')
+const mapReduce = require('../../map-reduce')
+
+/** 
+ * @template T
+ * @typedef {Promise<T>|T} PromiseOrValue
+ */
+
+/** @type {<T, R>(f: (value: T) => PromiseOrValue<R>) => (c: AsyncIterable<T>) => AsyncIterable<R>} */
+const map = f => c => ({
+    async *[Symbol.asyncIterator]() {
+        for await (const i of c) {
+            yield f(i)
+        }
+    }
+})
+
+/** @type {<T>(c: AsyncIterable<AsyncIterable<T>>) => AsyncIterable<T>} */
+const flatten = c => ({
+    async *[Symbol.asyncIterator]() {
+        for await (const i of c) {
+            yield *i
+        }
+    }
+})
+
+/** @type {<T>(f: (value: T) => Promise<boolean>) => (c: AsyncIterable<T>) => AsyncIterable<T>} */
+const filter = f => c => ({
+    async *[Symbol.asyncIterator]() {
+        for await (const i of c) {
+            if (await f(i)) {
+                yield i
+            }
+        }
+    }
+})
+
+/** @type {<T, R>(f: (value: T) => AsyncIterable<R>) => (c: AsyncIterable<T>) => AsyncIterable<R>} */
+const flatMap = f => pipe(map(f))(flatten)
+
+/** 
+ * @template A
+ * @template T
+ * @typedef {(accumulator: A) => (value: T) => PromiseOrValue<A>} Merge
+ */
+
+/** @type {<A, T>(f: Merge<A, T>) => (init: A) => (c: AsyncIterable<T>) => Promise<A>} */
+const reduce = merge => init => async c => {
+    let result = init
+    for await (const i of c) {
+        result = await merge(result)(i)
+    }
+    return result
+}
+
+/** @type {<A, T>(f: Merge<A, T>) => (init: A) => (c: AsyncIterable<T>) => AsyncIterable<A>} */
+const exclusiveScan = reduceFn => init => c => ({
+    async *[Symbol.asyncIterator]() {
+        let result = init
+        for await (const i of c) {
+            result = await reduceFn(result)(i)
+            yield result
+        }
+    }
+})
+
+/** @type {<A, T>(f: Merge<A, T>) => (init: A) => (c: AsyncIterable<T>) => AsyncIterable<A>} */
+const inclusiveScan = reduceFn => init => {
+    const e = exclusiveScan(reduceFn)(init)
+    return c => ({
+        async *[Symbol.asyncIterator]() {
+            yield init
+            yield *e(c)
+        }
+    })
+}
+
+/** @type {<T>(iterable: Iterable<T>) => AsyncIterable<T>} */
+const cast = iterable => ({
+    async *[Symbol.asyncIterator]() {
+        for (const i of iterable) {
+            yield i
+        }
+    }
+})
+
+/** @type {<I, S, R>(op: mapReduce.Operation<I, S, R>) => (_: AsyncIterable<I>) => Promise<R>} */
+const apply = ({ merge, init, result }) => async c => result(await reduce(merge)(init)(c))
+
+const sum = apply(mapReduce.sum)
+
+module.exports = {
+    /** @readonly */
+    apply,
+    /** @readonly */
+    cast,
+    /** @readonly */
+    map,
+    /** @readonly */
+    filter,
+    /** @readonly */
+    flatMap,
+    /** @readonly */
+    reduce,
+    /** @readonly */
+    sum,
+    /** @readonly */
+    exclusiveScan,
+    /** @readonly */
+    inclusiveScan,
+}

package/async/iterable/test.js

@@ -0,0 +1,24 @@
+const { cast, map, filter, flatMap, sum } = require('.')
+
+const test = async () => {
+    {
+        const a = cast([1, 2, 3])
+        const m = map(async x => x * x)(a)
+        const result = await sum(m)
+        if (result !== 14) { throw 'filter' }
+    }
+    {
+        const a = cast([1, 2, 3, 4])
+        const f = filter(async x => x !== 2)(a)
+        const result = await sum(f)
+        if (result !== 8) { throw 'filter' }
+    }
+    {
+        const a = cast([1, 2])
+        const f = flatMap(x => cast([x, x * x]))(a)
+        const result = await sum(f)
+        if (result !== 8) { throw 'filter' }
+    }
+}
+
+test()

package/{lib/tree → btree}/index.js

@@ -1,35 +1,35 @@
-const { index3, index5 } = require('./cmp')
+const { index3, index5 } = require('../cmp')
 
 /**
  * @template T
- * @typedef {import('./lazy').Lazy<T>} Lazy
+ * @typedef {() => T} Lazy
  */
 
 /**
  * @template T
- * @typedef {import('./cmp').Cmp<T>} Cmp
+ * @typedef {import('../cmp').Cmp<T>} Cmp
  */
 
 /**
  * @template T
- * @typedef {import('./array').Array1<T>} Array1
+ * @typedef {import('../array').Array1<T>} Array1
  */
 
 /**
  * @template T
- * @typedef {import('./array').Array2<T>} Array2
+ * @typedef {import('../array').Array2<T>} Array2
  */
 
 /**
  * @template T
- * @typedef {import('./array').Array3<T>} Array3
+ * @typedef {import('../array').Array3<T>} Array3
  */
 
-/** @typedef {import('./array').Index2} Index2 */
+/** @typedef {import('../array').Index2} Index2 */
 
-/** @typedef {import('./array').Index3} Index3 */
+/** @typedef {import('../array').Index3} Index3 */
 
-/** @typedef {import('./array').Index5} Index5 */
+/** @typedef {import('../array').Index5} Index5 */
 
 //
 
@@ -55,27 +55,37 @@ const { index3, index5 } = require('./cmp')
 
 /**
  * @template T
- * @typedef {Leaf1<T>|Leaf2<T>|Branch3<T>|Branch5<T>} TNode
+ * @typedef { Leaf1<T> | Leaf2<T> | Branch3<T> | Branch5<T>} TNode
+ */
+
+/** @typedef {{ readonly done: false }} NotFoundDone */
+
+/** 
+ * @template T
+ * @typedef {{ 
+ *  readonly done: true 
+ *  readonly value: T 
+ * }} FoundDone 
  */
 
 /**
  * @template T
- * @typedef {{ done: false } | { done: true, value: T }} Done
+ * @typedef { NotFoundDone | FoundDone<T> } Done
  */
 
 /**
  * @template T
- * @typedef {{ replace: TNode<T> }} Replace
+ * @typedef {{ readonly replace: TNode<T> }} Replace
  */
 
 /**
  * @template T
- * @typedef {{ overflow: Branch3<T> }} Overflow
+ * @typedef {{ readonly overflow: Branch3<T> }} Overflow
  */
 
 /**
  * @template T
- * @typedef {Done<T> | Replace<T> | Overflow<T>} Result
+ * @typedef { Done<T> | Replace<T> | Overflow<T> } Result
  */
 
 /** @typedef {<T>(_: Lazy<T>) => (_: Leaf1<T>) => Result<T>} InLeaf1 */
@@ -85,35 +95,35 @@ const { index3, index5 } = require('./cmp')
 
 /** 
  * @typedef {{
- *  leaf1: InLeaf1
- *  leaf2_left: InLeaf2
- *  leaf2_right: InLeaf2
- *  branch3: InBranch3
- *  branch5_left: InBranch5
- *  branch5_right: InBranch5
+ *  readonly leaf1: InLeaf1
+ *  readonly leaf2_left: InLeaf2
+ *  readonly leaf2_right: InLeaf2
+ *  readonly branch3: InBranch3
+ *  readonly branch5_left: InBranch5
+ *  readonly branch5_right: InBranch5
  * }} Found
  */
 
 /**
  * @typedef {{
- *  leaf1_left: InLeaf1
- *  leaf1_right: InLeaf1
- *  leaf2_left: InLeaf2
- *  leaf2_middle: InLeaf2
- *  leaf2_right: InLeaf2
+ *  readonly leaf1_left: InLeaf1
+ *  readonly leaf1_right: InLeaf1
+ *  readonly leaf2_left: InLeaf2
+ *  readonly leaf2_middle: InLeaf2
+ *  readonly leaf2_right: InLeaf2
  * }} NotFound
  */
 
 /** 
  * @typedef {{
- *  found: Found
- *  notFound: NotFound
+ *  readonly found: Found
+ *  readonly notFound: NotFound
  * }} Visitor
  */
 
 /**
  * @template T
- * @typedef {readonly [TNode<T>, T, TNode<T>, T, TNode<T>, T, TNode<T>]} Branch7
+ * @typedef { readonly [TNode<T>, T, TNode<T>, T, TNode<T>, T, TNode<T>] } Branch7
  */
 
 /** @type {<T>(n: Branch7<T>) => Branch3<T>} */
@@ -221,7 +231,7 @@ const visit = ({ found, notFound }) => cmp => {
     }
 }
 
-/** @type {<T>(_: T) => Done<T>} */
+/** @type { <T>(_: T) => Done<T> } */
 const found = value => ({ done: true, value })
 
 /** @type {Found} */
@@ -233,7 +243,7 @@ const foundGet = {
     branch5_left: () => ([, value]) => found(value),
     branch5_right: () => ([, , , value]) => found(value),
 }
-/** @type {() => () => { done: false }} */
+/** @type { () => () => NotFoundDone } */
 const notFound = () => () => ({ done: false })
 
 /** @type {NotFound} */
@@ -245,7 +255,7 @@ const notFoundGet = {
     leaf2_right: notFound,
 }
 
-/** @type {<T>(_: TNode<T>) => Replace<T>} */
+/** @type { <T>(_: TNode<T>) => Replace<T> } */
 const replace = node => ({ replace: node })
 
 /** @type {Found} */
@@ -288,6 +298,7 @@ const getOrInsertVisitor = {
     notFound: notFoundInsert,
 }
 
+/** @type {Visitor} */
 const replaceVisitor = {
     found: foundReplace,
     notFound: notFoundGet,
@@ -324,7 +335,7 @@ module.exports = {
     values,
     /** 
      * @readonly
-     * @type {<T>(cmp: Cmp<T>) => (node: TNode<T>) => T|undefined}
+     * @type { <T>(cmp: Cmp<T>) => (node: TNode<T>) => T|undefined }
      */
     getVisitor: cmp => node => {
         const result = visit(getVisitor)(cmp)(() => { throw '' })(node)

package/{lib/tree/cmp.js → cmp/index.js}

@@ -1,9 +1,9 @@
-/** @typedef {import('./array').Index3} Index3 */
-/** @typedef {import('./array').Index5} Index5 */
+/** @typedef {import('../array').Index3} Index3 */
+/** @typedef {import('../array').Index5} Index5 */
 
 /**
  * @template T
- * @typedef {import('./array').Array2<T>} Array2 
+ * @typedef {import('../array').Array2<T>} Array2 
  */
 
 /** @typedef {-1|0|1} Sign */

package/dev/index.js

@@ -0,0 +1,4 @@
+module.exports = {
+    /** @readonly */
+    todo: () => { throw 'not implemented' },
+}

package/func/index.js

@@ -0,0 +1,12 @@
+/** @type {<I, X>(_: (_: I) => X) => <O>(_: (_: X) => O) => (_: I) => O} */
+const pipe = g => f => x => f(g(x))
+
+/** @type {<T>(value: T) => T} */
+const id = value => value
+
+module.exports = {
+    /** @readonly */
+    id,
+    /** @readonly */
+    pipe,
+}

package/index.js

@@ -1,9 +1,3 @@
-"use strict";
-
-const lib = require('./lib')
-
-const todo = () => lib.panic('not implemented')
-
 /** @type {<F>(c: string, found: (before: string, after: string) => F, notFound: (c: string, source: string) => F) => (source: string) => F} */
 const splitOne = (c, found, notFound) => source => {
     const i = source.indexOf(c)

package/{lib/iterable → iterable}/index.js

@@ -1,7 +1,8 @@
-const lib = require('../')
+const { pipe } = require('../func')
+const mr = require('../map-reduce')
 
-/** @type {<T, R>(_: lib.Reduce<T, R>) => (_: Iterable<T>) => R} */
-const reduce = ({ merge, init }) => c => {
+/** @type {<T, R>(merge: (_: R) => (_: T) => R) => (init: R) => (_: Iterable<T>) => R} */
+const reduce = merge => init => c => {
     let result = init
     for (const i of c) {
         result = merge(result)(i)
@@ -9,15 +10,21 @@ const reduce = ({ merge, init }) => c => {
     return result
 }
 
+/** @type {<I, S, R>(op: mr.Operation<I, S, R>) => (_: Iterable<I>) => R} */
+const apply = ({ merge, init, result }) => pipe(reduce(merge)(init))(result)
+
 module.exports = {
+    /** @readonly */
+    apply,
+
     /** @readonly */
     reduce,
 
     /** @readonly */
-    join: lib.pipe(lib.join)(reduce),
+    join: pipe(mr.join)(apply),
 
     /** @readonly */
-    sum: reduce(lib.sum),
+    sum: apply(mr.sum),
 
     /** 
      * @readonly
@@ -31,18 +38,6 @@ module.exports = {
         }
     }),
 
-    /**
-     * @readonly
-     * @type {<T, R>(f: (value: T) => Promise<R>) => (c: AsyncIterable<T>) => AsyncIterable<R>}
-     */
-    asyncMap: f => c => ({
-        async *[Symbol.asyncIterator]() {
-            for await (const i of c) {
-                yield* [f(i)]
-            }
-        }
-    }),
-
     /** 
      * @readonly
      * @type {<T>(_: (_: T) => boolean) => (_: Iterable<T>) => T|undefined} 

package/iterable/test.js

@@ -0,0 +1,41 @@
+const i = require('.')
+const { pipe } = require('../func')
+
+{
+    const r = i.sum([120, 300, 42])
+    if (r !== 462) { throw 'error' }
+}
+
+{
+    if (i.sum([1, 2]) !== 3) { throw 'error' }
+    if (i.sum([1, 2]) !== 3) { throw 'error' }
+}
+
+{
+    const x = Array.from(i.map(a => a ** 2)([1, 2, 3]))
+    if (x.length !== 3) { throw 'error' }
+    if (x[0] !== 1) { throw 'error' }
+    if (x[1] !== 4) { throw 'error' }
+    if (x[2] !== 9) { throw 'error' }
+}
+
+{
+    if (i.join('/')([]) !== '') { throw 'error' }
+    if (i.join('/')(['a']) !== 'a') { throw 'error' }
+    if (i.join('/')(['a', 'b']) !== 'a/b') { throw 'error'}
+}
+
+{
+    if (i.find(x => x === 'c')(['a', 'b', 'c']) !== 'c') { throw 'error' }
+}
+
+{
+    /** @type {(_: string) => string|undefined} */
+    const file = _ => 'x'
+    /** @type {(_: string) => string|undefined} */
+    const x = p => pipe
+        (i.map(x => file(x())))
+        (i.find(x => x !== undefined))
+        ([() => p, () => `${p}.js`, () => `${p}/index.js`])
+    if (x('index.js') !== 'x') { throw 'error' }
+}

package/{lib/map → map}/index.js

@@ -1,21 +1,21 @@
-const { optionMap } = require("..")
-const { getVisitor, setVisitor, values } = require("../tree")
+const option = require("../option")
+const { getVisitor, setVisitor, values } = require("../btree")
 
-/** @typedef {import("../tree/cmp").Sign} Sign */
+/** @typedef {import("../cmp").Sign} Sign */
 
 /**
  * @template T 
- * @typedef {import("../tree").Leaf1<T>} Leaf1 
+ * @typedef {import("../btree").Leaf1<T>} Leaf1 
  */
 
 /**
  * @template T
- * @typedef {import("../tree").TNode<T>} TNode
+ * @typedef {import("../btree").TNode<T>} TNode
  */
 
 /**
  * @template T
- * @typedef {import("../tree/cmp").Cmp<T>} Cmp
+ * @typedef {import("../cmp").Cmp<T>} Cmp
  */
 
 /**
@@ -38,7 +38,7 @@ const cmp = a => ([b]) => a < b ? -1 : a === b ? 0 : 1
 
 /** @type {<T>(node: TNode<Entry<T>>) => Map<T>} */
 const create = root => ({
-    get: name => optionMap(([,value]) => value)(getVisitor(cmp(name))(root)),
+    get: name => option.map(([,value]) => value)(getVisitor(cmp(name))(root)),
     set: name => value => {
         const result = setVisitor(cmp(name))(() => [name, value])(root)
         if ('replace' in result) { return create(result.replace) }
@@ -53,7 +53,7 @@ const create = root => ({
  * @type {{
  *  readonly get: (name: string) => undefined
  *  readonly set: (name: string) => <T>(value: T) => Map<T>
- *  readonly entries: () => []
+ *  readonly entries: () => readonly []
  *  readonly root: undefined
  * }} 
  */

package/{lib/map → map}/test.js

@@ -1,5 +1,4 @@
 const { empty } = require('.')
-const lib = require('..')
 
 {
     let m = empty.set('a')(1)
@@ -42,18 +41,17 @@ const lib = require('..')
 
 {
     const m = empty.set('x')(12).set('y')(44)
-    lib.panic_if('map.get(\'x\')')(m.get('x') !== 12)
-    lib.panic_if('map.get(\'y\')')(m.get('y') !== 44)
-    lib.panic_if('map.get(\'a\')')(m.get('a') !== undefined)
+    if (m.get('x') !== 12) { throw 'error' }
+    if (m.get('y') !== 44) { throw 'error' }
+    if (m.get('a') !== undefined) { throw 'error' }
     const entries = Array.from(m.entries())
-    lib.panic_if('map.entries()')(entries.length !== 2)
+    if (entries.length !== 2) { throw 'error' }
 }
 
-
 {
     /** @type {import('.').Map<number>} */
     let m = empty
-    for (let i = 0; i < 1_000_000; ++i) {
+    for (let i = 0; i < 100_000; ++i) {
         m = m.set((i*i).toString())(i)
         /*
         console.log()

package/map-reduce/index.js

@@ -0,0 +1,48 @@
+const { pipe, id } = require('../func')
+
+/**
+ * @template S
+ * @template I
+ * @typedef {(state: S) => (value: I) => S} Merge
+ */
+
+/**
+ * @template I
+ * @template S
+ * @template O
+ * @typedef {{
+ *  readonly merge: Merge<S, I>
+ *  readonly result: (state: S) => O
+ *  readonly init: S
+ * }} Operation
+ */
+
+/** @type {<I, T>(mapFn: (value: I) => T) => <S, O>(op: Operation<T, S, O>) => Operation<I, S, O>} */
+const map = mapFn => ({ merge, result, init}) => ({
+    merge: pipe(merge)(pipe(mapFn)),
+    result,
+    init,
+})
+
+/** @type {(separator: string) => Operation<string, string|undefined, string>} */
+const join = separator => ({ 
+    merge: s => i => s === undefined ? i : `${s}${separator}${i}`, 
+    init: undefined,
+    result: s => s === undefined ? '' : s
+})
+
+/** @type {Operation<number, number, number>} */
+const sum = { 
+    merge: a => i => a + i, 
+    result: id,
+    init: 0,
+}
+
+module.exports = {
+    /** @readonly */
+    map,
+    /** @readonly */
+    join,
+    /** @readonly */
+    sum,
+}

package/module-manager/index.js

@@ -1,34 +1,45 @@
-const lib = require('../lib')
-const iter = require('../lib/iterable')
+const array = require('../array')
+const { pipe } = require('../func')
+const option = require('../option')
+const { head, last, splitLast, splitFirst } = array
+const iter = require('../iterable')
+const mr = require('../map-reduce')
+
+/**
+ * @template T
+ * @typedef {array.Array<T>} Array
+ */
+
+/** @typedef {Array<string>} Path */
 
 /** @typedef {(_: string) => string|undefined} ReadFile */
 
 /**
  * @typedef {{
- *  id: string[]
- *  dependencies: Dependencies
- *  file: ReadFile
+ *  readonly id: Array<string>
+ *  readonly dependencies: Dependencies
+ *  readonly file: ReadFile
  * }} Package
  */
 
 /**
  * @typedef {{
- *  pack: Package,
- *  local: string[],
+ *  readonly pack: Package,
+ *  readonly local: Array<string>,
  * }} Location
  */
 
 /**
  * @typedef {{
- *  fileName: string
- *  location: Location
- *  source: string
+ *  readonly fileName: string
+ *  readonly location: Location
+ *  readonly source: string
  * }} Module
  */
 
 /** @typedef {(_: string) => undefined|Package|Dependencies} Dependencies */
 
-/** @type {lib.Reduce<string, undefined|string[]>} */
+/** @type {mr.Operation<string, undefined|Path, undefined|Path>} */
 const pathNormReduce = {
     merge: path => item =>
         path === undefined ?
@@ -36,49 +47,52 @@ const pathNormReduce = {
         ['', '.'].includes(item) ?
             path :
         item === '..' ?
-            lib.head(path) :
+            head(path) :
             [...path, item],
-    init: []
+    init: [],
+    result: s => s,
 }
 
-/** @type {(_: string[]) => boolean} */
+/** @type {(_: Array<string>) => boolean} */
 const isRelative = localId => ['.', '..'].includes(localId[0])
 
-const pathNorm = iter.reduce(pathNormReduce)
+const pathNorm = iter.apply(pathNormReduce)
 
-/** @type {(_: Package) => (_: string[]) => Module|undefined} */
+/** @type {(_: Package) => (_: Path) => Module|undefined} */
 const internal = pack => {
-    /** @type {(_: string[]) => (_: string) => Module|undefined} */
+    /** @type {(_: Path) => (_: string) => Module|undefined} */
     const readFile = local => fileName => {
         const source = pack.file([...local, fileName].join('/'))
         return source === undefined ? undefined : { fileName, location: { pack, local }, source}
     }
     return path => {
-        /** @type {(_: string[]) => Module|undefined} */
+        /** @type {(_: Path) => Module|undefined} */
         const read = local => {
-            /** @type {(_: [string[], string]) => Module|undefined} */
-            const tryFiles = ([head, last]) => {
+            /** @type {(_: readonly[Path, string]) => Module|undefined} */
+            const tryFiles = ([head, file]) => {
                 /** @type {(_: string) => Module|undefined} */                
-                const one = ext => readFile(head)(last + ext)
-                return ['.', '..', '', undefined].includes(lib.last(path)) ? undefined : one('') ?? one('.js')
+                const one = ext => readFile(head)(file + ext)
+                return ['.', '..', '', undefined].includes(last(path)) ? undefined : one('') ?? one('.js')
             }
-            return lib.optionMap(tryFiles)(lib.splitLast(local)) ?? readFile(local)('index.js')
+            return option.map(tryFiles)(splitLast(local)) ?? readFile(local)('index.js')
         }
-        return lib.optionMap(read)(pathNorm(path))
+        return option.map(read)(pathNorm(path))
     }
 }
 
-/** @type {(_: Package|Dependencies|undefined) => (_: string[]) => Module|undefined} */
+/** @type {(_: Package|Dependencies|undefined) => (_: Path) => Module|undefined} */
 const externalOrInternal = p => 
     p === undefined ? () => undefined : (typeof p === 'function' ? external(p) : internal(p))
 
-/** @type {(_: Dependencies) => (_: string[]) => Module|undefined} */
+/** @type {(_: Dependencies) => (_: Path) => Module|undefined} */
 const external = packages => { 
-    /** @type {(_: [string, string[]]) => Module|undefined} */
+    /** @type {(_: readonly [string, Path]) => Module|undefined} */
     const defined = ([first, tail]) => externalOrInternal(packages(first))(tail)
-    /** @type {(_: string[]) => [string, string[]]|undefined} */
-    const splitFirst = lib.splitFirst
-    return lib.pipe(splitFirst)(lib.optionMap(defined))
+    /** @type {(_: Path) => readonly [string, Path]|undefined} */
+    const sf = splitFirst
+    return pipe
+        (sf)
+        (option.map(defined))
 }
 
 /** @type {(_: Location) => (_: string) => Module|undefined} */
@@ -91,8 +105,12 @@ const getModule = ({pack, local}) => path => {
 const moduleId = module => [...module.location.pack.id, ...module.location.local, module.fileName].join('/') 
 
 module.exports = {
+    /** @readonly */
     isRelative,
+    /** @readonly */
     pathNorm,
+    /** @readonly */
     getModule,
+    /** @readonly */
     moduleId,
-}
+}

package/module-manager/node/test.js

@@ -1,4 +1,3 @@
-const lib = require('../../lib')
 const mm = require('..')
 const i = require('.')
 

package/module-manager/test.js

@@ -1,23 +1,18 @@
 const i = require('.')
 
-const lib = require('../lib')
-
-{
-    if (require('./test0') !== 'test0.js') { throw './test0' }
-    if (require('./test0.js') !== 'test0.js') { throw './test0.js'}
-    if (require('./test0.js.js') !== 'test0.js.js') { throw './test0.js.js'}
-}
-
 require('./node/test')
 
 /** @type {<T>(_: T | undefined) => T} */
-const cast = x => x === undefined ? lib.panic('x') : x
+const cast = x => {
+    if (x === undefined) { throw 'x' } 
+    return x
+}
 
-lib.panic_if('isRelative')(i.isRelative('a/b/c'.split('/')))
-lib.panic_if('!isRelative')(!i.isRelative('./a/b/c'.split('/')))
-lib.panic_if('pathNorm')(cast(i.pathNorm('a/../b'.split('/'))).join('/') !== 'b')
-lib.panic_if('pathNorm')(cast(i.pathNorm('a/../b/../c'.split('/'))).join('/') !== 'c')
-lib.panic_if('pathNorm')(cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('/') !== 'b/d')
+if (i.isRelative('a/b/c'.split('/'))) { throw 'error '}
+if (!i.isRelative('./a/b/c'.split('/'))) { throw 'error ' }
+if (cast(i.pathNorm('a/../b'.split('/'))).join('/') !== 'b') { throw 'error ' }
+if (cast(i.pathNorm('a/../b/../c'.split('/'))).join('/') !== 'c') { throw 'error ' }
+if (cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('/') !== 'b/d') { throw 'error ' }
 
 {
     /** @type {i.Package} */
@@ -41,7 +36,8 @@ lib.panic_if('pathNorm')(cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('
                 'index.js': 'b/c ./index.js',
                 'x/index.js': 'b/c ./x/index.js',
             }
-            return ['.js', '', 'undefined.js'].includes(path) ? lib.panic('.js') : f[path]
+            if (['.js', '', 'undefined.js'].includes(path)) { throw '.js' }
+            return f[path]
         },
         id: ['c']
     }
@@ -65,7 +61,8 @@ lib.panic_if('pathNorm')(cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('
                 'a/index.js': './a/index.js',
                 'a/index.js.js': './a/index.js.js',
             }
-            return ['.js', '', 'undefined.js'].includes(path) ? lib.panic('.js') : f[path] 
+            if (['.js', '', 'undefined.js'].includes(path)) { throw '.js' }
+            return  f[path] 
         },
         id: ['']
     }
@@ -78,8 +75,8 @@ lib.panic_if('pathNorm')(cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('
     }
     {        
         const g = i.getModule({pack, local: []})
-        lib.panic_if('getModule')(g('') !== undefined)
-        lib.panic_if('getModule')(g('..') !== undefined)
+        if (g('') !== undefined) { throw 'error' }
+        if (g('..') !== undefined) { throw 'error' }
         expect(g('.'))({ fileName: 'index.js', location: { pack, local: []}, source: './index.js'})
         expect(g('./index'))({ fileName: 'index.js', location: { pack, local: []}, source: './index.js'})
         expect(g('./index.js'))({ fileName: 'index.js', location: { pack, local: []}, source: './index.js'})
@@ -87,10 +84,10 @@ lib.panic_if('pathNorm')(cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('
         expect(g('./a'))({ fileName: 'index.js', location: { pack, local: ['a']}, source: './a/index.js'})
         expect(g('./a/index'))({ fileName: 'index.js', location: { pack, local: ['a']}, source: './a/index.js'})
         expect(g('./a/index.js'))({ fileName: 'index.js.js', location: { pack, local: ['a']}, source: './a/index.js'})
-        lib.panic_if('getModule')(g('./x') !== undefined)
+        if (g('./x') !== undefined) { throw 'error' }
         expect(g('a'))({ fileName: 'index.js', location: { pack: a, local: []}, source: 'a ./index.js'})
         expect(g('a/index'))({ fileName: 'index.js', location: { pack: a, local: []}, source: 'a ./index.js'})
-        lib.panic_if('getModule')(g('b') !== undefined)
+        if (g('b') !== undefined) { throw 'error' }
         expect(g('b/c'))({ fileName: 'index.js', location: { pack: c, local: []}, source: 'b/c ./index.js'})
         expect(g('b/c/index'))({ fileName: 'index.js', location: { pack: c, local: []}, source: 'b/c ./index.js'})
         expect(g('b/c/index.js'))({ fileName: 'index.js', location: { pack: c, local: []}, source: 'b/c ./index.js'})
@@ -99,21 +96,21 @@ lib.panic_if('pathNorm')(cast(i.pathNorm('./a/../b/c/..//d/'.split('/'))).join('
     }
     {
         const g = i.getModule({pack, local: ['index']})
-        lib.panic_if('getModule')(g('') !== undefined)
+        if (g('') !== undefined) { throw 'error' }
         expect(g('..'))({ fileName: 'index.js', location: { pack, local: []}, source: './index.js'})
         expect(g('.'))({ fileName: 'index.js', location: { pack, local: ['index']}, source: './index/index.js'})
         expect(g('./index'))({ fileName: 'index.js', location: { pack, local: ['index']}, source: './index/index.js'})
         expect(g('./index.js'))({ fileName: 'index.js', location: { pack, local: ['index']}, source: './index/index.js'})
-        lib.panic_if('getModule')(g('./index/') !== undefined)
-        lib.panic_if('getModule')(g('./a') !== undefined)
+        if (g('./index/') !== undefined) { throw 'error' }
+        if (g('./a') !== undefined) { throw 'error' }
         expect(g('../a'))({ fileName: 'index.js', location: { pack, local: ['a']}, source: './a/index.js'})
         expect(g('../a/index'))({ fileName: 'index.js', location: { pack, local: ['a']}, source: './a/index.js'})
         expect(g('../a/index.js'))({ fileName: 'index.js', location: { pack, local: ['a']}, source: './a/index.js'})
         expect(g('../a/index.js.js'))({ fileName: 'index.js.js', location: { pack, local: ['a']}, source: './a/index.js.js'})
-        lib.panic_if('getModule')(g('./x') !== undefined)
+        if (g('./x') !== undefined) { throw 'error' }
         expect(g('a'))({ fileName: 'index.js', location: { pack: a, local: []}, source: 'a ./index.js'})
         expect(g('a/index'))({ fileName: 'index.js', location: { pack: a, local: []}, source: 'a ./index.js'})
-        lib.panic_if('getModule')(g('b') !== undefined)
+        if (g('b') !== undefined) { throw 'error' }
         expect(g('b/c'))({ fileName: 'index.js', location: { pack: c, local: []}, source: 'b/c ./index.js'})
         expect(g('b/c/index'))({ fileName: 'index.js', location: { pack: c, local: []}, source: 'b/c ./index.js'})
         expect(g('b/c/index.js'))({ fileName: 'index.js', location: { pack: c, local: []}, source: 'b/c ./index.js'})

package/option/index.js

@@ -0,0 +1,12 @@
+/**
+ * @template T
+ * @typedef {T|undefined} Option
+ */
+
+/** @type {<T, R>(_: (_: T) => R) => (_: T|undefined) => R|undefined} */
+const map = f => x => x === undefined ? undefined : f(x)
+
+module.exports = {
+    /** @readonly */
+    map,
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.155",
+  "version": "0.0.162",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "index.js",
   "scripts": {

package/test.js

@@ -1,14 +1,13 @@
-const lib = require('./lib')
 const i = require('./')
 
+require('./async/iterable/test')
 require('./module-manager/test')
-require('./lib/test')
 
 /** @type {() => never} */
-const assert = () => lib.panic('assert')
+const assert = () => { throw 'assert' }
 
 /** @type {(_: boolean) => void} */
-const assert_if = c => lib.panic_if('assert_if')(c)
+const assert_if = c => { if (c) { throw 'assert_if' } }
 
 {
     i.parseModuleUrl('')(

package/lib/index.js

@@ -1,157 +0,0 @@
-"use strict";
-
-/**
- * @template T
- * @typedef {T|undefined} Option
- */
-
-/**
- * @template T
- * @typedef {() => NotEmptySequence<T>|undefined} Sequence 
- */
-
-/**
- * @template T
- * @typedef {{ first: T, tail: Sequence<T>}} NotEmptySequence
- */
-
-/**
- * @template T
- * @typedef {() => Continuation<T>} Continue
- */
-
-/**
- * @template T
- * @typedef {[T]|Continue<T>} Continuation
- */ 
-
-/** @type {(_: string) => never} */
-const panic = message => { throw message }
-
-/** @type {<A>(_: A) => <B>(_: B) => [A, B]} */
-const tuple2 = a => b => [a, b]
-
-// /** @type {<T>(_: (_: string) => T) => (_: Dictionary<T>) => (_: string) => [T, Dictionary<T>]} */
-// const cache = f => d => k => {
-//     const set = () => {
-//         const r = f(k)                
-//         return tuple2(r)(d.set(k)(r))
-//     }
-//     const result = d.get(k) 
-//     return result !== undefined ? [result, d] : set()
-// }
-
-/**
- * @template T
- * @template R
- * @typedef {{
- *  merge: (_: R) => (_: T) => R
- *  init: R
- * }} Reduce
- */
-
-/** @type {<I, X>(_: (_: I) => X) => <O>(_: (_: X) => O) => (_: I) => O} */
-const pipe = g => f => x => f(g(x))
-
-/** @type {<T, R>(_: (_: T) => R) => (_: T|undefined) => R|undefined} */
-const optionMap = f => x => x === undefined ? undefined : f(x)
-
-/** @type {<T>(_: T[]) => T[]} */
-const uncheckTail = a => a.slice(1)
-
-/** @type {<T>(_: T[]) => T[]} */
-const uncheckHead = a => a.slice(0, -1)
-
-/** @type {<T>(_: T[]) => T|undefined} */
-const last = a => a[a.length - 1]
-
-/**
- * @template I
- * @typedef {{
- *  readonly i: <O>(f: (input: I) => O) => Chain<O>
- *  readonly result: () => I
- * }} Chain
- */
-
-/** @type {<I>(value: I) => Chain<I>} */
-const chain = value => ({
-    i: f => chain(f(value)),
-    result: () => value
-})
-
-/**
- * @template I
- * @template T
- * @typedef {{
- *  readonly x: <O>(f: (v: T) => O) => Pipe<I, O>
- *  readonly f: (input: I) => T
- * }} Pipe
- */
-
-/** @type {<I, T>(f: (input: I) => T) => Pipe<I, T>} */
-const pipex = f => ({
-    x: g => pipex(pipe(f)(g)),
-    f,
-})
-
-module.exports = {
-
-    panic,
-
-    todo: () => panic('not implemented'),
-
-    /** @type {(_: string) => (_: boolean) => void} */
-    panic_if: message => condition => condition ? panic(message) : undefined,
-
-    /** @type {<T>(_: Continuation<T>) => T} */
-    trampoline: continuation => {
-        while (true) {
-            if (typeof continuation !== 'function') {
-                return continuation[0]
-            }
-            continuation = continuation()
-        }
-    },
-
-    /** @type {(s: string) => Reduce<string, string>} */
-    join: s => ({ merge: a => i => a === '' ? i : a + s + i, init: ''}),
-
-    pipe,
-
-    pipex,
-
-    /** @type {Reduce<number, number>} */
-    sum: { merge: a => i => a + i, init: 0 },
-
-    /** @type {<I, X>(f: (init: I) => X) => <O>(reduce: Reduce<X, O>) => Reduce<I, O>} */
-    map: f => ({merge, init}) => ({
-        merge: pipe(merge)(pipe(f)),
-        init,
-    }),
-
-    last,
-
-    optionMap,
-
-    /** @type {<T>(_: T[]) => T[]|undefined} */
-    tail: a => a.length === 0 ? undefined : uncheckTail(a),
-
-    /** @type {<T>(_: T[]) => [T, T[]]|undefined} */
-    splitFirst: a => {
-        /** @typedef {typeof a[0]} T*/
-        /** @type {(_: T) => [T, T[]]} */
-        const split = first => [first, uncheckTail(a)]
-        return optionMap(split)(a[0])
-    },
-
-    /** @type {<T>(_: T[]) => T[]|undefined} */    
-    head: a => a.length === 0 ? undefined : uncheckHead(a),
-
-    /** @type {<T>(_: T[]) => [T[], T]|undefined} */
-    splitLast: a => {
-        /** @typedef {typeof a[0]} T*/
-        /** @type {(_: T) => [T[], T]} */
-        const split = x => [uncheckHead(a), x]        
-        return optionMap(split)(last(a))
-    },
-}

package/lib/iterable/test.js

@@ -1,41 +0,0 @@
-const i = require('.')
-const lib = require('..')
-
-{
-    const r = i.sum([120, 300, 42])
-    lib.panic_if('reduce')(r !== 462)
-}
-
-{
-    lib.panic_if('first sum')(i.sum([1, 2]) !== 3)
-    lib.panic_if('second sum')(i.sum([1, 2]) !== 3)
-}
-
-{
-    const x = Array.from(i.map(a => a ** 2)([1, 2, 3]))
-    lib.panic_if('map')(x.length !== 3)
-    lib.panic_if('map[0]')(x[0] !== 1)
-    lib.panic_if('map[1]')(x[1] !== 4)
-    lib.panic_if('map[2]')(x[2] !== 9)
-}
-
-{
-    lib.panic_if('join')(i.join('/')([]) !== '')
-    lib.panic_if('join')(i.join('/')(['a']) !== 'a')
-    lib.panic_if('join')(i.join('/')(['a', 'b']) !== 'a/b')
-}
-
-{
-    lib.panic_if('find')(i.find(x => x === 'c')(['a', 'b', 'c']) !== 'c') 
-}
-
-{
-    /** @type {(_: string) => string|undefined} */
-    const file = _ => 'x'
-    /** @type {(_: string) => string|undefined} */
-    const x = p => lib.pipe
-        (i.map(x => file(x())))
-        (i.find(x => x !== undefined))
-        ([() => p, () => `${p}.js`, () => `${p}/index.js`])
-    lib.panic_if('map.find')(x('index.js') !== 'x')
-}

package/lib/test.js

@@ -1,5 +0,0 @@
-const lib = require('./index')
-
-require('./iterable/test')
-require('./map/test')
-

package/lib/tree/array.js

@@ -1,36 +0,0 @@
-/**
- * @template T
- * @typedef {readonly [T]} Array1
- */
-
-/** @typedef {0} Index1 */
-
-/**
- * @template T
- * @typedef {readonly [T, T]} Array2
- */
-
-/** @typedef {0|1} Index2 */
-
-/**
- * @template T
- * @typedef {readonly [T, T, T]} Array3
- */
-
-/** @typedef {0|1|2} Index3 */
-
-/**
- * @template T
- * @typedef {readonly [T, T, T, T]} Array4
- */
-
-/** @typedef {0|1|2|3} Index4 */
-
-/**
- * @template T
- * @typedef {readonly [T, T, T, T, T]} Array5
- */
-
-/** @typedef {0|1|2|3|4} Index5 */
-
-module.exports = {}

package/lib/tree/lazy.js

@@ -1,6 +0,0 @@
-/**
- * @template T
- * @typedef {() => T} Lazy
- */
-
-module.exports = {}

package/module-manager/test0.js

@@ -1 +0,0 @@
-module.exports = 'test0.js'

package/module-manager/test0.js.js

@@ -1 +0,0 @@
-module.exports = 'test0.js.js'