functionalscript 0.0.0 → 0.0.126

package/lib/index.js

@@ -1,163 +1,163 @@
-"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 }
-
-/**
- * @template T
- * @typedef {{ 
- *  get: (_: string) => T|undefined
- *  set: (_: string) => (_: T) => Dictionary<T> 
- *  entries: () => Iterable<[string, T]>
- * }} Dictionary
- */
-
-/**
- * @template T
- * @typedef {{
- *  [_ in string]: T
- * }} InternalMap
- */
-
-const emptyDictionary = {
-    get: () => undefined,
-    /** @type {(_: string) => <T>(_: T) => Dictionary<T>} */
-    set: key => value => dictionary({[key]: value}),
-    entries: () => []
-}
-
-/** @type {<T>(_: InternalMap<T>) => Dictionary<T>} */
-const dictionary = internal => ({
-    get: key => internal[key],
-    set: key => value => dictionary({ ...internal, [key]: value }),
-    entries: () => Object.entries(internal),
-})
-
-/** @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]
-
-module.exports = {
-
-    panic,
-
-    todo: () => panic('not implemented'),
-
-    /** @type {(_: string) => (_: boolean) => void} */
-    panic_if: message => condition => condition ? panic(message) : undefined,
-
-    // /** @type {<T>() => Dictionary<T>} */
-    // dictionary: () => dictionary({}),
-
-    emptyDictionary,
-
-    /** @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,
-
-    /** @type {Reduce<number, number>} */
-    sum: { merge: a => i => a + i, init: 0 },
-
-    /** @type {<I, X>(_: (_: I) => X) => <O>(_: Reduce<X, O>) => Reduce<I, O>} */
-    map: f => ({merge, init}) => ({
-        merge: pipe(merge)(pipe(f)),
-        init,
-    }),
-
-    last,
-
-    optionMap,
-
-    cache,
-
-    /** @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))
-    },
-}
+"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 }
+
+/**
+ * @template T
+ * @typedef {{ 
+ *  get: (_: string) => T|undefined
+ *  set: (_: string) => (_: T) => Dictionary<T> 
+ *  entries: () => Iterable<[string, T]>
+ * }} Dictionary
+ */
+
+/**
+ * @template T
+ * @typedef {{
+ *  [_ in string]: T
+ * }} InternalMap
+ */
+
+const emptyDictionary = {
+    get: () => undefined,
+    /** @type {(_: string) => <T>(_: T) => Dictionary<T>} */
+    set: key => value => dictionary({[key]: value}),
+    entries: () => []
+}
+
+/** @type {<T>(_: InternalMap<T>) => Dictionary<T>} */
+const dictionary = internal => ({
+    get: key => internal[key],
+    set: key => value => dictionary({ ...internal, [key]: value }),
+    entries: () => Object.entries(internal),
+})
+
+/** @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]
+
+module.exports = {
+
+    panic,
+
+    todo: () => panic('not implemented'),
+
+    /** @type {(_: string) => (_: boolean) => void} */
+    panic_if: message => condition => condition ? panic(message) : undefined,
+
+    // /** @type {<T>() => Dictionary<T>} */
+    // dictionary: () => dictionary({}),
+
+    emptyDictionary,
+
+    /** @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,
+
+    /** @type {Reduce<number, number>} */
+    sum: { merge: a => i => a + i, init: 0 },
+
+    /** @type {<I, X>(_: (_: I) => X) => <O>(_: Reduce<X, O>) => Reduce<I, O>} */
+    map: f => ({merge, init}) => ({
+        merge: pipe(merge)(pipe(f)),
+        init,
+    }),
+
+    last,
+
+    optionMap,
+
+    cache,
+
+    /** @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/index.js

@@ -1,33 +1,33 @@
-const lib = require('../')
-
-/** @type {<T, R>(_: lib.Reduce<T, R>) => (_: Iterable<T>) => R} */
-const reduce = ({merge, init}) => c => {
-    let result = init
-    for (let i of c) {
-        result = merge(result)(i)
-    }
-    return result
-}
-
-module.exports = {
-    reduce,
-    join: lib.pipe(lib.join)(reduce),
-    sum: reduce(lib.sum),
-    /** @type {<T, R>(_: (_: T) => R) => (_: Iterable<T>) => Iterable<R>} */
-    map: f => c => ({
-        *[Symbol.iterator]() {
-            for (let i of c) {
-                yield f(i)
-            }
-        }
-    }),
-    /** @type {<T>(_: (_: T) => boolean) => (_: Iterable<T>) => T|undefined} */
-    find: f => c => {
-        for (let i of c) {
-            if (f(i)) {
-                return i
-            }
-        }
-        return undefined
-    }
-}
+const lib = require('../')
+
+/** @type {<T, R>(_: lib.Reduce<T, R>) => (_: Iterable<T>) => R} */
+const reduce = ({merge, init}) => c => {
+    let result = init
+    for (let i of c) {
+        result = merge(result)(i)
+    }
+    return result
+}
+
+module.exports = {
+    reduce,
+    join: lib.pipe(lib.join)(reduce),
+    sum: reduce(lib.sum),
+    /** @type {<T, R>(_: (_: T) => R) => (_: Iterable<T>) => Iterable<R>} */
+    map: f => c => ({
+        *[Symbol.iterator]() {
+            for (let i of c) {
+                yield f(i)
+            }
+        }
+    }),
+    /** @type {<T>(_: (_: T) => boolean) => (_: Iterable<T>) => T|undefined} */
+    find: f => c => {
+        for (let i of c) {
+            if (f(i)) {
+                return i
+            }
+        }
+        return undefined
+    }
+}

package/lib/iterable/test.js

@@ -1,41 +1,41 @@
-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')
+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,12 +1,12 @@
-const lib = require('./index')
-
-require('./iterable/test')
-
-{
-    const map = lib.emptyDictionary.set('x')(12).set('y')(44)
-    lib.panic_if('map.get(\'x\')')(map.get('x') !== 12)
-    lib.panic_if('map.get(\'y\')')(map.get('y') !== 44)
-    lib.panic_if('map.get(\'a\')')(map.get('a') !== undefined)
-    const entries = Array.from(map.entries())
-    lib.panic_if('map.entries()')(entries.length !== 2)
-}
+const lib = require('./index')
+
+require('./iterable/test')
+
+{
+    const map = lib.emptyDictionary.set('x')(12).set('y')(44)
+    lib.panic_if('map.get(\'x\')')(map.get('x') !== 12)
+    lib.panic_if('map.get(\'y\')')(map.get('y') !== 44)
+    lib.panic_if('map.get(\'a\')')(map.get('a') !== undefined)
+    const entries = Array.from(map.entries())
+    lib.panic_if('map.entries()')(entries.length !== 2)
+}