functionalscript 0.0.395 → 0.0.396

package/com/types/module.f.cjs

@@ -66,7 +66,7 @@ const paramList = compose(entries)(filterParam)
 const result = v => f => fa => {
     const type = fa._
     return type === undefined ? v : f(type)
-} 
+}
 
 module.exports = {
     /** @readonly */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.395",
+  "version": "0.0.396",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {

package/test.f.cjs

@@ -14,6 +14,7 @@ require('./commonjs/test.cjs')
 require('./commonjs/package/dependencies/test.f.cjs')
 require('./commonjs/package/test.f.cjs')
 require('./commonjs/path/test.f.cjs')
+require('./types/function/test.f.cjs')
 require('./types/function/compare/test.f.cjs')
 require('./types/string_set/test.f.cjs')
 require('./types/option/test.f.cjs')

package/types/function/module.f.cjs

@@ -17,6 +17,20 @@ const identity = value => value
 /** @type {<A, B, C>(f: (a: A) => (b: B) => C) => (b: B) => (a: A) => C} */
 const flip = f => b => a => f(a)(b)
 
+/**
+ * @template I,O
+ * @typedef {{
+ *  readonly result: Func<I, O>
+ *  readonly then: <T>(g: Func<O, T>) => Fn<I, T>
+ * }} Fn
+ */
+
+/** @type {<I, O>(f: (i: I) => O) => Fn<I, O>} */
+const fn = result => ({
+    result,
+    then: g => fn(compose(result)(g))
+})
+
 module.exports = {
     /** @readonly */
     compare: require('./compare/module.f.cjs'),
@@ -28,4 +42,6 @@ module.exports = {
     compose,
     /** @readonly */
     flip,
+    /** @readonly */
+    fn,
 }

package/types/function/test.f.cjs

@@ -0,0 +1,17 @@
+const { fn } = require('./module.f.cjs')
+
+{
+    /** @type {(x: string) => readonly[string]} */
+    const f = x => [x]
+    /** @type {(x: readonly[string]) => readonly[number]} */
+    const g = ([x]) => [x.length]
+    /** @type {(x: readonly[number]) => number} */
+    const w = ([x]) => x
+
+    const r = fn(f).then(g).then(w).result
+
+    const result = r('hello')
+    if (result !== 5) { throw r }
+}
+
+module.exports = {}

package/types/string_set/module.f.cjs

@@ -1,9 +1,9 @@
 const btTypes = require('../btree/types/module.f.cjs')
 const btree = require('../btree/module.f.cjs')
-const { 
+const {
     find: { find, isFound },
-    remove: { remove: btreeRemove }, 
-    set: { set: btreeSet }, 
+    remove: { remove: btreeRemove },
+    set: { set: btreeSet },
     /** @type {(s: StringSet) => list.List<string>} */
     values,
 } = btree