functionalscript 0.0.272 → 0.0.277

package/README.md

@@ -161,7 +161,7 @@ Expressions could fall under these categories:
   - Relations Operators: `in`, `instanceof`.
   - Member Operators: `.`, `[]`. 
     
-Note: the `.` member operator has prohibitted property names, such as `constructor` and `push`. To access such properties, it's recommeded to use the `Object.getPropertyDescriptor` function.
+Note: the `.` member operator has prohibitted property names, such as `constructor` and `push`. To access such properties, it's recommeded to use the [Object.getOwnPropertyDescriptor](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Reflect/getOwnPropertyDescriptor) function.
 
 ## 4. Arrow Functions
 

package/commonjs/package/index.js

@@ -1,12 +1,12 @@
 const json = require('../../json')
 const dependencies = require('./dependencies')
 
-/** 
+/**
  * @typedef {{
  *  readonly name: string
  *  readonly version: string
  *  readonly dependencies?: dependencies.DependenciesJson
- * }} PackageJson 
+ * }} PackageJson
  */
 
 /** @type {(j: json.Unknown) => j is PackageJson} */

package/commonjs/path/index.js

@@ -46,22 +46,22 @@ const normItems = items => {
 
 /** @type {(local: string) => (path: string) => LocalPath|undefined} */
 const parseLocal = local => {
-    /** @type {(path: string) => readonly[boolean, list.List<string>]} */
+    /** @type {(path: string) => readonly[boolean, boolean, list.List<string>]} */
     const fSeq = path => {
         const pathSeq = split(path)
-        switch (list.first(undefined)(pathSeq)) {
-            case '.': case '..': { return [false, list.flat([split(local), pathSeq])] }
-            default: { return [true, pathSeq] }
-        }
+        const dir = [undefined, '', '.', '..'].includes(pathSeq[pathSeq.length - 1])
+        return /** @type {readonly (string|undefined)[]} */(['.', '..']).includes(list.first(undefined)(pathSeq)) ?
+            [false, dir, list.flat([split(local), pathSeq])] :
+            [true, dir, pathSeq]
     }
     /** @type {(path: string) => LocalPath|undefined} */
     const f = path => {
-        const [external, items] = fSeq(path)
+        const [external, dir, items] = fSeq(path)
         const n = normItems(items)
         if (n === undefined) { return undefined }
         return {
             external,
-            dir: path[path.length - 1] === '/',
+            dir,
             items: list.toArray(n[0])
         }
     }

package/commonjs/path/test.js

@@ -30,7 +30,7 @@ const stringify = g => {
 
 {
     const result = _.parseLocal('a')('')
-    if (stringify(result) !== '{"external":true,"dir":false,"items":[]}') { throw result }
+    if (stringify(result) !== '{"external":true,"dir":true,"items":[]}') { throw result }
 }
 
 {
@@ -48,6 +48,11 @@ const stringify = g => {
     if (stringify(result) !== '{"external":true,"dir":false,"items":["a","c"]}') { throw result }
 }
 
+{
+    const result = _.parseLocal('')('./x/..')
+    if (stringify(result) !== '{"external":false,"dir":true,"items":[]}') { throw result }
+}
+
 {
     if (_.parseGlobal(() => undefined)(false)(['a', 'b']) !== undefined) { throw 'error' }
     if (_.parseGlobal(() => undefined)(false)(['b']) !== undefined) { throw 'error' }
@@ -91,15 +96,45 @@ const stringify = g => {
                 const path = `node_modules/${x}`
                 return at(path)(packages) !== undefined ? path : undefined
             },
-            file: todo
+            file: path => at(path)({
+                'index.js': 'return "index.js"',
+                'x/index.js': 'return "x/index.js"',
+                'x.js': 'return "x.js"',
+            })
         },
         'node_modules/z': {
             dependency: () => todo(),
             file: path => at(path)({ 'a/c/index.js': 'return "a/c"' }),
         }
     }
-    const result = stringify(_.parseAndFind(p => at(p)(packages))('')('a/b')('z/a/c'))
-    if (result !== '{"package":"node_modules/z","file":"a/c/index.js","source":"return \\"a/c\\""}') { throw result }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('a/b')('z/a/c'))
+        if (result !== '{"package":"node_modules/z","file":"a/c/index.js","source":"return \\"a/c\\""}') { throw result }
+    }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('a/b')('../..'))
+        if (result !== '{"package":"","file":"index.js","source":"return \\"index.js\\""}') { throw result }
+    }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('')('./x'))
+        if (result !== '{"package":"","file":"x.js","source":"return \\"x.js\\""}') { throw result }
+    }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('')('./x.js'))
+        if (result !== '{"package":"","file":"x.js","source":"return \\"x.js\\""}') { throw result }
+    }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('')('./x/'))
+        if (result !== '{"package":"","file":"x/index.js","source":"return \\"x/index.js\\""}') { throw result }
+    }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('x/a')('../'))
+        if (result !== '{"package":"","file":"x/index.js","source":"return \\"x/index.js\\""}') { throw result }
+    }
+    {
+        const result = stringify(_.parseAndFind(p => at(p)(packages))('')('x/a')('..'))
+        if (result !== '{"package":"","file":"x/index.js","source":"return \\"x/index.js\\""}') { throw result }
+    }
 }
 
 {

package/package.json

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

package/test.js

@@ -1,6 +1,7 @@
 const i = require('./')
 
 require('./types/list/test')
+require('./types/array/test')
 require('./types/btree/test')
 require('./json/test')
 require('./types/object/test')

package/types/array/index.js

@@ -3,53 +3,48 @@ const seq = require('../list')
 
 /**
  * @template T
- * @typedef {readonly T[]} Array
- */
-
-/**
- * @template T
- * @typedef {readonly [T]} Array1
+ * @typedef {readonly[T]} Array1
  */
 
 /** @typedef {0} Index1 */
 
 /**
  * @template T
- * @typedef {readonly [T, T]} Array2
+ * @typedef {readonly[T, T]} Array2
  */
 
 /**
  * @template T0
  * @template T1
- * @typedef {readonly [T0, T1]} Tuple2
+ * @typedef {readonly[T0, T1]} Tuple2
  */
 
 /** @typedef {0|1} Index2 */
 
 /**
  * @template T
- * @typedef {readonly [T, T, T]} Array3
+ * @typedef {readonly[T, T, T]} Array3
  */
 
 /**
  * @template T0
  * @template T1
  * @template T2
- * @typedef {readonly [T0, T1, T2]} Tuple3
+ * @typedef {readonly[T0, T1, T2]} Tuple3
  */
 
 /** @typedef {0|1|2} Index3 */
 
 /**
  * @template T
- * @typedef {readonly [T, T, T, T]} Array4
+ * @typedef {readonly[T, T, T, T]} Array4
  */
 
 /** @typedef {0|1|2|3} Index4 */
 
 /**
  * @template T
- * @typedef {readonly [T, T, T, T, T]} Array5
+ * @typedef {readonly[T, T, T, T, T]} Array5
  */
 
 /**
@@ -59,40 +54,40 @@ const seq = require('../list')
 
 /** @typedef {0|1|2|3|4} Index5 */
 
-/** @type {<T>(_: Array<T>) => Array<T>} */
+/** @type {<T>(_: readonly T[]) => readonly T[]} */
 const uncheckTail = a => a.slice(1)
 
-/** @type {<T>(_: Array<T>) => Array<T>} */
+/** @type {<T>(_: readonly T[]) => readonly T[]} */
 const uncheckHead = a => a.slice(0, -1)
 
-/** @type {<T>(_: Array<T>) => T|undefined} */
+/** @type {<T>(_: readonly T[]) => T|undefined} */
 const first = a => a[0]
 
-/** @type {<T>(_: Array<T>) => T|undefined} */
+/** @type {<T>(_: readonly T[]) => T|undefined} */
 const last = a => a[a.length - 1]
 
-/** @type {<T>(_: Array<T>) => Array<T>|undefined} */
+/** @type {<T>(_: readonly T[]) => readonly T[] | undefined} */
 const tail = a => a.length === 0 ? undefined : uncheckTail(a)
 
-/** @type {<T>(_: Array<T>) => readonly [T, Array<T>]|undefined} */
+/** @type {<T>(_: readonly T[]) => readonly[T, readonly T[]]|undefined} */
 const splitFirst = a => {
     /** @typedef {typeof a[0]} T*/
-    /** @type {(_: T) => readonly [T, Array<T>]} */
+    /** @type {(_: T) => readonly[T, readonly T[]]} */
     const split = first => [first, uncheckTail(a)]
     return option.map(split)(a[0])
 }
 
-/** @type {<T>(_: Array<T>) => Array<T>|undefined} */
+/** @type {<T>(_: readonly T[]) => readonly T[]|undefined} */
 const head = a => a.length === 0 ? undefined : uncheckHead(a)
 
-/** @type {<T>(_: Array<T>) => readonly [Array<T>, T]|undefined} */
+/** @type {<T>(_: readonly T[]) => readonly[readonly T[], T]|undefined} */
 const splitLast = a => {
     const lastA = last(a)
     if (lastA === undefined) { return undefined }
     return [uncheckHead(a), lastA]
 }
 
-/** @type {(index: number) => <T>(a: Array<T>) => readonly[T]|undefined} */
+/** @type {(index: number) => <T>(a: readonly T[]) => readonly[T]|undefined} */
 const at = index => a => index < a.length ? [a[index]] : undefined
 
 module.exports = {

package/types/array/test.js

@@ -0,0 +1,94 @@
+const _ = require('.')
+const json = require('../../json')
+const { sort } = require('../object')
+
+/** @type {(a: readonly json.Unknown[]) => string} */
+const stringify = a => json.stringify(sort)(a)
+
+{
+    const result = stringify([1, 20, 300])
+    if (result !== '[1,20,300]') { throw result }
+}
+
+{
+    const result = _.at(2)([1, 20, 300])
+    if (result === undefined) {throw result}
+    if (result[0] !== 300) { throw result }
+}
+
+{
+    const result = _.at(3)([1, 20, 300])
+    if (result !== undefined) {throw result}
+}
+
+{
+    const result = _.first([1, 20, 300])
+    if (result !== 1) { throw result }
+}
+
+{
+    const result = _.first([])
+    if (result !== undefined) {throw result}
+}
+
+{
+    const result = _.last([1, 20, 300])
+    if (result !== 300) { throw result }
+}
+
+{
+    const result = _.last([])
+    if (result !== undefined) {throw result}
+}
+
+{
+    const result = _.head([1, 20, 300])
+    if (result === undefined) {throw result}
+    const str = stringify(result)
+    if (str !== '[1,20]') { throw str }
+}
+
+{
+    const result = _.head([])
+    if (result !== undefined) {throw result}
+}
+
+{
+    const result = _.tail([1, 20, 300])
+    if (result === undefined) {throw result}
+    const str = stringify(result)
+    if (str !== '[20,300]') { throw str }
+}
+
+{
+    const result = _.tail([])
+    if (result !== undefined) {throw result}
+}
+
+{
+    const result = _.splitFirst([1, 20, 300])
+    if (result === undefined) {throw result}
+    const str = stringify(result)
+    if (str !== '[1,[20,300]]') { throw str }
+}
+
+{
+    const result = _.splitFirst([])
+    if (result !== undefined) {throw result}
+}
+
+{
+    const result = _.splitLast([1, 20, 300])
+    if (result === undefined) {throw result}
+    const str = stringify(result)
+    if (str !== '[[1,20],300]') { throw str }
+}
+
+{
+    const result = _.splitLast([])
+    if (result !== undefined) {throw result}
+}
+
+module.exports = {
+
+}

package/types/list/test.js

@@ -58,6 +58,11 @@ const stringify = sequence => json.stringify(sort)(_.toArray(sequence))
     if (result !== '[]') { throw result }
 }
 
+{
+    const result = _.find(undefined)(x => x % 2 === 0)([1, 3, 5, 7])
+    if (result !== undefined) { throw result }
+}
+
 {
     const result = _.find(undefined)(x => x % 2 === 0)([1, 2, 3, 4])
     if (result !== 2) { throw result }
@@ -119,6 +124,11 @@ const stringify = sequence => json.stringify(sort)(_.toArray(sequence))
     if (result !== '') { throw result }
 }
 
+{
+    const result = _.join(' ')(['hello', 'world', '!'])
+    if (result !== 'hello world !') { throw result }
+}
+
 {
     const result = stringify(_.entries([]))
     if (result !== '[]') { throw result }