functionalscript 0.3.4 → 0.3.5

package/types/sorted_list/test.f.ts

@@ -1,57 +0,0 @@
-import * as _ from './module.f.ts'
-import * as compare from '../function/compare/module.f.ts'
-const { unsafeCmp } = compare
-import * as json from '../../json/module.f.ts'
-import * as object from '../object/module.f.ts'
-const { sort } = object
-import * as list from '../list/module.f.ts'
-const { toArray, countdown, length } = list
-import * as Map from '../map/module.f.ts'
-import * as f from '../function/module.f.ts'
-const { flip } = f
-
-const stringify
-    : (a: readonly json.Unknown[]) => string
-    = json.stringify(sort)
-
-const reverseCmp
-    : <T>(a: T) => (b: T) => Map.Sign
-    = flip(unsafeCmp)
-
-export default {
-    sortedMergre: [
-        () => {
-            const result = stringify(toArray(_.merge(unsafeCmp)([2, 3, 4])([1, 3, 5])))
-            if (result !== '[1,2,3,4,5]') { throw result }
-        },
-        () => {
-            const result = stringify(toArray(_.merge(unsafeCmp)([1, 2, 3])([])))
-            if (result !== '[1,2,3]') { throw result }
-        },
-        () => {
-            const n = 10_000
-            const list = countdown(n)
-            const result = _.merge(reverseCmp)(list)(list)
-            const len = length(result)
-            if (len != n) { throw result }
-        }
-    ],
-    find: [
-        () => {
-            const result = _.find(unsafeCmp)(0)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (result !== 0) { throw result }
-        },
-        () => {
-            const result = _.find(unsafeCmp)(3)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (result !== null) { throw result }
-        },
-        () => {
-            const result = _.find(unsafeCmp)(77)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (result !== null) { throw result }
-        },
-        () => {
-            const result = _.find(unsafeCmp)(80)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (result !== 80) { throw result }
-        }
-    ]
-}

package/types/sorted_set/module.f.ts

@@ -1,36 +0,0 @@
-import * as Compare from '../function/compare/module.f.ts'
-import * as list from "../list/module.f.ts"
-const { toArray } = list
-import * as sortedList from '../sorted_list/module.f.ts'
-const { merge, genericMerge, find } = sortedList
-
-export type SortedSet<T> = readonly T[]
-
-type Cmp<T> = (a: T) => (b: T) => Compare.Sign
-
-type Byte = number
-
-export const union
-    : <T>(cmp: Cmp<T>) => (a: SortedSet<T>) => (b: SortedSet<T>) => SortedSet<T>
-    = cmp => a => b => toArray(merge(cmp)(a)(b))
-
-export const intersect
-    : <T>(cmp: Cmp<T>) => (a: SortedSet<T>) => (b: SortedSet<T>) => SortedSet<T>
-    = cmp => a => b => toArray(intersectMerge(cmp)(a)(b))
-
-const tailReduce = () => () => null
-
-const intersectMerge
-    : <T>(cmp: Cmp<T>) => (a: sortedList.SortedList<T>) => (b: sortedList.SortedList<T>) => sortedList.SortedList<T>
-    = cmp => genericMerge({ reduceOp: intersectReduce(cmp), tailReduce })(null)
-
-const intersectReduce
-    : <T,S>(cmp: Cmp<T>) => sortedList.ReduceOp<T,S>
-    = cmp => state => a => b => {
-    const sign = cmp(a)(b)
-    return [sign === 0 ? a : null, sign, state]
-}
-
-export const has
-    : <T>(cmp: Cmp<T>) => (value: T) => (set: SortedSet<T>) => boolean
-    = cmp => value => set => find(cmp)(value)(set) === value

package/types/sorted_set/test.f.ts

@@ -1,67 +0,0 @@
-import * as _ from './module.f.ts'
-import * as compare from '../function/compare/module.f.ts'
-const { unsafeCmp } = compare
-import * as json from '../../json/module.f.ts'
-import * as object from '../object/module.f.ts'
-const { sort } = object
-import * as list from '../list/module.f.ts'
-const { toArray, countdown, length } = list
-import * as Map from '../map/module.f.ts'
-import * as f from '../function/module.f.ts'
-const { flip } = f
-
-const stringify
-    : (a: readonly json.Unknown[]) => string
-    = a => json.stringify(sort)(a)
-
-const reverseCmp
-    : <T>(a: T) => (b: T) => Map.Sign
-    = flip(unsafeCmp)
-
-export default {
-    union: [
-        () => {
-            const result = stringify(toArray(_.union(unsafeCmp)([2, 3, 4])([1, 3, 5])))
-            if (result !== '[1,2,3,4,5]') { throw result }
-        },
-        () => {
-            const result = stringify(toArray(_.union(unsafeCmp)([1, 2, 3])([])))
-            if (result !== '[1,2,3]') { throw result }
-        },
-        () => {
-            const n = 10_000
-            const sortedSet = toArray(countdown(n))
-            const result = _.union(reverseCmp)(sortedSet)(sortedSet)
-            const len = length(result)
-            if (len != n) { throw result }
-        }
-    ],
-    intersect: [
-        () => {
-            const result = stringify(toArray(_.intersect(unsafeCmp)([2, 3, 4])([1, 3, 5])))
-            if (result !== '[3]') { throw result }
-        },
-        () => {
-            const result = stringify(toArray(_.intersect(unsafeCmp)([1, 2, 3])([])))
-            if (result !== '[]') { throw result }
-        }
-    ],
-    has: [
-        () => {
-            const result = _.has(unsafeCmp)(0)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (!result) { throw result }
-        },
-        () => {
-            const result = _.has(unsafeCmp)(3)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (result) { throw result }
-        },
-        () => {
-            const result = _.has(unsafeCmp)(77)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (result) { throw result }
-        },
-        () => {
-            const result = _.has(unsafeCmp)(80)([0, 10, 20, 30, 40, 50, 60, 70, 80, 90])
-            if (!result) { throw result }
-        }
-    ]
-}

package/types/string/module.f.ts

@@ -1,26 +0,0 @@
-import * as list from '../list/module.f.ts'
-const { reduce: listReduce, repeat: listRepeat } = list
-import { compose } from '../function/module.f.ts'
-import * as compare from '../function/compare/module.f.ts'
-const { unsafeCmp } = compare
-import { join as joinOp, concat as concatOp, type Reduce } from '../function/operator/module.f.ts'
-
-const reduce
-: (o: Reduce<string>) => (input: list.List<string>) => string
-= o => listReduce(o)('')
-
-export const join
-: (_: string) => (input: list.List<string>) => string
-= compose(joinOp)(reduce)
-
-export const concat
-: (input: list.List<string>) => string
-= reduce(concatOp)
-
-export const repeat
-: (n: string) => (v: number) => string
-= v => compose(listRepeat(v))(concat)
-
-export const cmp
-: (a: string) => (b: string) => compare.Sign
-= unsafeCmp

package/types/string/test.f.ts

@@ -1,43 +0,0 @@
-import * as _ from './module.f.ts'
-const { join, concat, repeat, cmp } = _
-import * as list from '../list/module.f.ts'
-const { repeat: repeatList } = list
-
-export default {
-    join: {
-        0: () => {
-            const result = join('/')([])
-            if (result !== '') { throw result }
-        },
-        1: () => {
-            const result = join('/')([''])
-            if (result !== '') { throw result }
-        },
-        3: () => {
-            const result = join(' ')(['hello', 'world', '!'])
-            if (result !== 'hello world !') { throw result }
-        }
-    },
-    concat: () => {
-        const result = concat(['hello', 'world'])
-        if (result !== 'helloworld') { throw result }
-    },
-    repeatList: {
-        0: () => {
-            const s = join('.')(repeatList('x')(0))
-            if (s != '') { throw s }
-        },
-        5: () => {
-            const s = join('.')(repeatList('x')(5))
-            if (s != 'x.x.x.x.x') { throw s }
-        }
-    },
-    repeat: () => {
-        const s = repeat('x')(5)
-        if(s != 'xxxxx') { throw s }
-    },
-    cmp: () => {
-        const result = cmp('3')('4')
-        if (result !== -1) { throw result }
-    }
-}

package/types/string_set/module.f.ts

@@ -1,37 +0,0 @@
-import * as BtreeTypes from '../btree/types/module.f.ts'
-import * as btree from '../btree/module.f.ts'
-import * as btf from '../btree/find/module.f.ts'
-const { find, isFound } = btf
-import * as btr from '../btree/remove/module.f.ts'
-const { remove: btreeRemove } = btr
-import * as bts from '../btree/set/module.f.ts'
-const { set: btreeSet } = bts
-import * as string from "../string/module.f.ts"
-const { cmp } = string
-import { fold, type List } from '../list/module.f.ts'
-import * as f from '../function/module.f.ts'
-const { compose } = f
-
-export const values: (s: StringSet) => List<string> = btree.values
-export const empty: null = btree.empty
-
-export type StringSet = BtreeTypes.Tree<string>
-
-export const contains
-    : (value: string) => (set: StringSet) => boolean
-    = value => {
-    const f = find(cmp(value))
-    return s => s !== null && isFound(f(s).first)
-}
-
-export const set
-    : (value: string) => (s: StringSet) => StringSet
-    = value => btreeSet(cmp(value))(() => value)
-
-export const fromValues
-: (input: List<string>) => StringSet
-= fold(set)(null)
-
-export const remove
-: (value: string) => (s: StringSet) => StringSet
-= compose(cmp)(btreeRemove)

package/types/string_set/test.f.ts

@@ -1,34 +0,0 @@
-import * as _ from './module.f.ts'
-
-export default {
-    contains: () => {
-        const r = _.set('hello')(null)
-        if (!_.contains('hello')(r)) { throw r }
-        if (_.contains('hello1')(r)) { throw r }
-    },
-    remove: () => {
-        let r = _.set('hello')(null)
-        r = _.set('world')(r)
-        r = _.set('HELLO')(r)
-        r = _.set('WORLD!')(r)
-        if (!_.contains('hello')(r)) { throw r }
-        if (_.contains('hello1')(r)) { throw r }
-        if (!_.contains('HELLO')(r)) { throw r }
-        if (_.contains('WORLD')(r)) { throw r }
-        if (!_.contains('world')(r)) { throw r }
-        if (_.contains('world!')(r)) { throw r }
-        if (!_.contains('WORLD!')(r)) { throw r }
-        //
-        r = _.remove('hello')(r)
-        if (_.contains('hello')(r)) { throw r }
-        if (!_.contains('world')(r)) { throw r }
-        r = _.remove('world')(r)
-        if (_.contains('world')(r)) { throw r }
-        if (!_.contains('HELLO')(r)) { throw r }
-        r = _.remove('HELLO')(r)
-        if (_.contains('HELLO')(r)) { throw r }
-        if (!_.contains('WORLD!')(r)) { throw r }
-        r = _.remove('WORLD!')(r)
-        if (r !== null) { throw r }
-    }
-}