functionalscript 0.2.6 → 0.3.0

package/types/btree/set/{test.f.mjs → test.f.ts}

@@ -1,20 +1,22 @@
-import * as _ from './module.f.mjs'
-import * as BTree from '../types/module.f.mjs'
-import * as s from '../../string/module.f.mjs'
+import * as _ from './module.f.ts'
+import * as BTree from '../types/module.f.ts'
+import * as s from '../../string/module.f.ts'
 const { cmp } = s
-import * as json from '../../../json/module.f.mjs'
-import * as o from '../../object/module.f.mjs'
+import * as json from '../../../json/module.f.ts'
+import * as o from '../../object/module.f.ts'
 const { sort } = o
 
-/** @type {(node: BTree.Node<string>) => (value: string) => BTree.Node<string>} */
-const set = node => value => _.set(cmp(value))(() => value)(node)
+const set
+    : (node: BTree.TNode<string>) => (value: string) => BTree.TNode<string>
+    = node => value => _.set(cmp(value))(() => value)(node)
 
 const jsonStr = json.stringify(sort)
 
 const test = [
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 10; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -22,8 +24,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 11; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -31,8 +34,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 12; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -40,8 +44,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 13; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -49,8 +54,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 14; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -58,8 +64,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 15; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -67,8 +74,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 16; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -76,8 +84,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 17; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -85,8 +94,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 18; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -96,8 +106,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 19; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -107,8 +118,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 20; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -120,8 +132,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 21; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -133,8 +146,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 22; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -146,8 +160,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 23; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -159,8 +174,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 24; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -172,8 +188,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 25; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -185,8 +202,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 26; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -200,8 +218,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 27; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -215,8 +234,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 28; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -230,8 +250,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 29; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -245,8 +266,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 30; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -260,8 +282,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 31; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -275,8 +298,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 32; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -290,8 +314,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 33; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -305,8 +330,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 34; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -320,8 +346,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 35; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -335,8 +362,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 36; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -350,8 +378,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 37; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -365,8 +394,9 @@ const test = [
     },
 
     () => {
-        /** @type {BTree.Node<string>} */
-        let _map = ['1']
+        let _map
+            : BTree.TNode<string>
+            = ['1']
         for (let i = 2; i <= 38; i++)
             _map = set(_map)((i * i).toString())
         const r = jsonStr(_map)
@@ -382,4 +412,4 @@ const test = [
     }
 ]
 
-export default test
+export default test

package/types/btree/{test.f.mjs → test.f.ts}

@@ -1,26 +1,29 @@
-import * as BTree from './types/module.f.mjs'
-import * as _ from './module.f.mjs'
+import * as BTree from './types/module.f.ts'
+import * as _ from './module.f.ts'
 const { values } = _
-import * as json from '../../json/module.f.mjs'
-import * as o from '../object/module.f.mjs'
+import * as json from '../../json/module.f.ts'
+import * as o from '../object/module.f.ts'
 const { sort } = o
-import * as str from '../string/module.f.mjs'
+import * as str from '../string/module.f.ts'
 const { cmp } = str
-import * as list from '../list/module.f.mjs'
-import * as s from './set/module.f.mjs'
-import * as f from './find/module.f.mjs'
+import * as list from '../list/module.f.ts'
+import * as s from './set/module.f.ts'
+import * as f from './find/module.f.ts'
 
 const jsonStr = json.stringify(sort)
 
-/** @type {(sequence: list.List<json.Unknown>) => string} */
-const stringify = sequence => jsonStr(list.toArray(sequence))
+const stringify
+    : (sequence: list.List<json.Unknown>) => string
+    = sequence => jsonStr(list.toArray(sequence))
 
-/** @type {(node: BTree.Node<string>) => (value: string) => BTree.Node<string>} */
-const set = node => value => s.set(cmp(value))(() => value)(node)
+const set
+    : (node: BTree.TNode<string>) => (value: string) => BTree.TNode<string>
+    = node => value => s.set(cmp(value))(() => value)(node)
 
-const valueTest1 = () => {
-    /** @type {BTree.Node<string>} */
-    let _map = ['a']
+const valueTest1 =() => {
+    let _map
+        : BTree.TNode<string>
+        = ['a']
     _map = set(_map)('b')
     _map = set(_map)('c')
     _map = set(_map)('d')
@@ -31,8 +34,9 @@ const valueTest1 = () => {
 }
 
 const valuesTest2 = () => {
-    /** @type {BTree.Node<string>} */
-    let _map = ['1']
+    let _map
+        : BTree.TNode<string>
+        = ['1']
     for(let i = 2; i <= 10; i++)
         _map = set(_map)((i*i).toString())
     let result = stringify(values(_map))
@@ -40,8 +44,9 @@ const valuesTest2 = () => {
 }
 
 const findTrue = () => {
-    /** @type {BTree.Node<string>} */
-    let _map = ['a']
+    let _map
+        : BTree.TNode<string>
+        = ['a']
     _map = set(_map)('b')
     _map = set(_map)('c')
     const result = f.value(f.find(cmp('b'))(_map).first)
@@ -49,8 +54,9 @@ const findTrue = () => {
 }
 
 const find = () => {
-    /** @type {BTree.Node<string>} */
-    let _map = ['a']
+    let _map
+        : BTree.TNode<string>
+        = ['a']
     _map = set(_map)('b')
     _map = set(_map)('c')
     const result = f.value(f.find(cmp('e'))(_map).first)
@@ -58,8 +64,9 @@ const find = () => {
 }
 
 const test = () => {
-    /** @type {BTree.Node<string>} */
-    let _map = ['a']
+    let _map
+        : BTree.TNode<string>
+        = ['a']
     _map = set(_map)('b')
     _map = set(_map)('c')
     _map = set(_map)('d')
@@ -67,8 +74,9 @@ const test = () => {
     _map = set(_map)('f')
     //
     {
-        /** @type {list.Result<string>} */
-        let _item = list.next(values(_map))
+        let _item
+            : list.Result<string>
+            = list.next(values(_map))
         while (_item !== null) {
             _item = list.next(_item.tail)
         }
@@ -81,4 +89,4 @@ export default {
     findTrue,
     find,
     test,
-}
+}

package/types/btree/types/module.f.ts

@@ -0,0 +1,27 @@
+type Array1<T> = readonly[T]
+
+type Array2<T> = readonly[T,T]
+
+type Array3<T> = readonly[T,T,T]
+
+type Index2 = 0|1
+
+type Index3 = 0|1|2
+
+type Index5 = 0|1|2|3|4
+
+export type Leaf1<T> = Array1<T>
+
+export type Leaf2<T> = Array2<T>
+
+export type Branch3<T> = readonly[TNode<T>, T, TNode<T>]
+
+export type Branch5<T> = readonly[TNode<T>, T, TNode<T>, T, TNode<T>]
+
+export type TNode<T> = Leaf1<T> | Leaf2<T> | Branch3<T> | Branch5<T>
+
+export type Tree<T> = TNode<T> | null
+
+export type Branch1<T> = readonly[TNode<T>]
+
+export type Branch7<T> = readonly[...Branch5<T>, T, TNode<T>]

package/types/byte_set/module.f.ts

@@ -0,0 +1,70 @@
+import * as f from '../function/module.f.ts'
+const { compose } = f
+import * as RangeMap from '../range_map/module.f.ts'
+import * as SortedSet from '../sorted_set/module.f.ts'
+import * as list from '../list/module.f.ts'
+const { reverse, countdown, flat, map } = list
+
+export type ByteSet = bigint
+type Byte = number
+
+export const has
+    : (n: Byte) => (s: ByteSet) => boolean
+    = n => s => ((s >> BigInt(n)) & 1n) === 1n
+
+// create a set
+
+export const empty = 0n
+
+//                        0    1    2    3    4    5    6    7    8    9    A    B    C    D    E    F
+export const universe = 0xFFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFF_FFFFn
+
+export const one
+    : (n: Byte) => ByteSet
+    = n => 1n << BigInt(n)
+
+export const range
+    : (r: readonly[Byte, Byte]) => ByteSet
+    = ([b, e]) => one(e - b + 1) - 1n << BigInt(b)
+
+// set operations
+
+export const union
+    : (a: ByteSet) => (b: ByteSet) => ByteSet
+    = a => b => a | b
+
+const intersect
+    : (a: ByteSet) => (b: ByteSet) => ByteSet
+    = a => b => a & b
+
+export const complement
+    : (n: ByteSet) => ByteSet
+    = n => universe ^ n
+
+const difference
+    : (a: ByteSet) => (b: ByteSet) => ByteSet
+    = compose(intersect)(compose(complement))
+
+// additional operations
+
+export const set = compose(one)(union)
+
+export const setRange = compose(range)(union)
+
+export const unset
+    : (n: Byte) => (s: ByteSet) => ByteSet
+    = n => s => difference(s)(one(n))
+
+const counter = reverse(countdown(256))
+
+const toRangeMapOp
+    : (n: ByteSet) => (s: string) => (i: number) => RangeMap.RangeMap<SortedSet.SortedSet<string>>
+    = n => s => i => {
+    const current = has(i + 1)(n)
+    const prev = has(i)(n)
+    return current === prev ? null : [[prev ? [s] : [], i]]
+}
+
+export const toRangeMap
+    : (n: ByteSet) => (s: string) => RangeMap.RangeMap<SortedSet.SortedSet<string>>
+    = n => s => flat(map(toRangeMapOp(n)(s))(counter))

package/types/byte_set/{test.f.mjs → test.f.ts}

@@ -1,12 +1,13 @@
-import * as _ from './module.f.mjs'
-import * as list from '../list/module.f.mjs'
+import * as _ from './module.f.ts'
+import * as list from '../list/module.f.ts'
 const { every, countdown, map, toArray } = list
-import * as json from '../../json/module.f.mjs'
-import * as o from '../object/module.f.mjs'
+import * as json from '../../json/module.f.ts'
+import * as o from '../object/module.f.ts'
 const { sort } = o
 
-/** @type {(a: readonly json.Unknown[]) => string} */
-const stringify = json.stringify(sort)
+const stringify
+    : (a: readonly json.Unknown[]) => string
+    = json.stringify(sort)
 
 export default {
     has: [
@@ -47,7 +48,7 @@ export default {
         }
     ],
     universe: () => {
-        const x = every(map(v => _.has(v)(_.universe))(countdown(256)))
+        const x = every(map((v: any) => _.has(v)(_.universe))(countdown(256)))
         if (!x) { throw x }
     },
     compliment: {

package/types/function/compare/module.f.ts

@@ -0,0 +1,26 @@
+import * as Array from '../../array/module.f.ts'
+
+export type Index3 = Array.Index3
+
+export type Index5 = Array.Index5
+
+type Array2<T> = Array.Array2<T>
+
+export type Sign = -1|0|1
+
+export type Compare<T> = (_: T) => Sign
+
+export const index3
+    : <T>(cmp: Compare<T>) => (value: T) => Index3
+    = cmp => value => (cmp(value) + 1) as Index3
+
+export const index5
+    : <T>(cmp: Compare<T>) => (v2: Array2<T>) => Index5
+    = cmp => ([v0, v1]) => {
+    const _0 = cmp(v0)
+    return (_0 <= 0 ? _0 + 1 : cmp(v1) + 3) as Index5
+}
+
+export const unsafeCmp
+    : <T>(a: T) => (b: T) => Sign
+    = a => b => a < b ? -1 : a > b ? 1 : 0

package/types/function/compare/{test.f.mjs → test.f.ts}

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

package/types/function/module.f.ts

@@ -0,0 +1,43 @@
+/**
+ * A generic function type.
+ */
+type Func<I, O> = (_: I) => O
+
+/**
+ * A postfix compose function.
+ */
+export const compose
+: <I, X>(g: Func<I, X>) => <O>(f: Func<X, O>) => Func<I, O>
+= g => f => x => f(g(x))
+
+/**
+ * A generic identity function.
+ */
+export const identity
+: <T>(value: T) => T
+= value => value
+
+/**
+ * Flips the arguments of a curried function.
+ */
+export const flip
+: <A, B, C>(f: (a: A) => (b: B) => C) => (b: B) => (a: A) => C
+= f => b => a => f(a)(b)
+
+/**
+ * A functional utility type that enables seamless chaining of transformations.
+ */
+type Fn<I, O> = {
+    readonly result: Func<I, O>
+    readonly then: <T>(g: Func<O, T>) => Fn<I, T>
+}
+
+/**
+ * Creates an `Fn` instance from a function, enabling chaining of transformations.
+ */
+export const fn
+: <I, O>(f: (i: I) => O) => Fn<I, O>
+= result => ({
+    result,
+    then: g => fn(compose(result)(g))
+})