functionalscript 0.3.4 → 0.3.5

package/types/btree/set/test.f.ts

@@ -1,415 +0,0 @@
-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.ts'
-import * as o from '../../object/module.f.ts'
-const { sort } = o
-
-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 = [
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 10; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1","100"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 11; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1"],"100",["121"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 12; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1"],"100",["121","144"],"16",["25","36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 13; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1"],"100",["121","144"]],"16",[["169"],"25",["36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 14; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1"],"100",["121","144"]],"16",[["169","196"],"25",["36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 15; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"],"25",["36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 16; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"],"25",["256","36"]],"4",[["49"],"64",["81","9"]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 17; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !== '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["36"]],"4",[["49"],"64",["81","9"]]]]') { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 18; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["324","36"]],"4",[["49"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 19; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],"25",[[["256"],"289",["324"],"36",["361"]],"4",[["49"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 20; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400","49"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 21; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["49"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 22; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484","49"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 23; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 24; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529","576"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 25; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]],"49",[["529"],"576",["625"],"64",["81","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 26; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"81",["9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 27; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676","729"],"81",["9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 28; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"],"81",["9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 29; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"],"81",["841","9"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 30; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 31; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["121","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 32; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["1024"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 33; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["1024","1089"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 34; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 35; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 36; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"],"1296",["144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 37; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"],"1296",["1369","144"]],"16",[["169"],"196",["225"]]],' +
-            '"25",' +
-            '[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]'
-        ) { throw r }
-    },
-
-    () => {
-        let _map
-            : BTree.TNode<string>
-            = ['1']
-        for (let i = 2; i <= 38; i++)
-            _map = set(_map)((i * i).toString())
-        const r = jsonStr(_map)
-        if (r !==
-            '[[[[["1"],"100",["1024"]],"1089",[["1156"],"121",["1225"]]],' +
-            '"1296",' +
-            '[[["1369"],"144",["1444"]],"16",[["169"],"196",["225"]]]],' +
-            '"25",' +
-            '[[[["256"],"289",["324"],"36",["361"]],"4",[["400"],"441",["484"]]],' +
-            '"49",' +
-            '[[["529"],"576",["625"]],"64",[["676"],"729",["784"]],"81",[["841"],"9",["900","961"]]]]]'
-        ) { throw r }
-    }
-]
-
-export default test

package/types/btree/test.f.ts

@@ -1,92 +0,0 @@
-import * as BTree from './types/module.f.ts'
-import * as _ from './module.f.ts'
-const { values } = _
-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.ts'
-const { cmp } = str
-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)
-
-const stringify
-    : (sequence: list.List<json.Unknown>) => string
-    = sequence => jsonStr(list.toArray(sequence))
-
-const set
-    : (node: BTree.TNode<string>) => (value: string) => BTree.TNode<string>
-    = node => value => s.set(cmp(value))(() => value)(node)
-
-const valueTest1 =() => {
-    let _map
-        : BTree.TNode<string>
-        = ['a']
-    _map = set(_map)('b')
-    _map = set(_map)('c')
-    _map = set(_map)('d')
-    _map = set(_map)('e')
-    _map = set(_map)('f')
-    let result = stringify(values(_map))
-    if (result !== '["a","b","c","d","e","f"]') { throw result }
-}
-
-const valuesTest2 = () => {
-    let _map
-        : BTree.TNode<string>
-        = ['1']
-    for(let i = 2; i <= 10; i++)
-        _map = set(_map)((i*i).toString())
-    let result = stringify(values(_map))
-    if (result !== '["1","100","16","25","36","4","49","64","81","9"]') { throw result }
-}
-
-const findTrue = () => {
-    let _map
-        : BTree.TNode<string>
-        = ['a']
-    _map = set(_map)('b')
-    _map = set(_map)('c')
-    const result = f.value(f.find(cmp('b'))(_map).first)
-    if (result !== 'b') { throw result }
-}
-
-const find = () => {
-    let _map
-        : BTree.TNode<string>
-        = ['a']
-    _map = set(_map)('b')
-    _map = set(_map)('c')
-    const result = f.value(f.find(cmp('e'))(_map).first)
-    if (result !== null) { throw result }
-}
-
-const test = () => {
-    let _map
-        : BTree.TNode<string>
-        = ['a']
-    _map = set(_map)('b')
-    _map = set(_map)('c')
-    _map = set(_map)('d')
-    _map = set(_map)('e')
-    _map = set(_map)('f')
-    //
-    {
-        let _item
-            : list.Result<string>
-            = list.next(values(_map))
-        while (_item !== null) {
-            _item = list.next(_item.tail)
-        }
-    }
-}
-
-export default {
-    valueTest1,
-    valuesTest2,
-    findTrue,
-    find,
-    test,
-}

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

@@ -1,27 +0,0 @@
-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

@@ -1,73 +0,0 @@
-import { compose } from '../function/module.f.ts'
-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
-: (_: number) => (b: ByteSet) => ByteSet
-= compose(one)(union)
-
-export const setRange
-: (_: readonly [number, number]) => (b: ByteSet) => ByteSet
-= 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))