functionalscript 0.3.3 → 0.3.5

package/nanvm-lib/tests/test.f.ts

@@ -1,80 +0,0 @@
-const e
-    : (a: unknown) => (b: unknown) => void
-    = a => b => {
-    if (a === b) { } else { throw [a, '===', b] }
-}
-
-const n
-    : (a: unknown) => (b: unknown) => void
-    = a => b => {
-    if (a !== b) { } else { throw [a, '!==', b] }
-}
-
-export default {
-    eq: {
-        nullish: () => {
-            e(null)(null)
-            e(undefined)(undefined)
-            n(null)(undefined)
-        },
-        boolean: {
-            boolean: () => {
-                e(true)(true)
-                e(false)(false)
-                n(true)(false)
-            },
-            nullish: () => {
-                n(false)(undefined)
-            }
-        },
-        number: {
-            number: () => {
-                e(2.3)(2.3)
-                n(2.3)(-5.4)
-                n(NaN)(NaN)
-                e(0)(-0)
-                if (!Object.is(-0, -0)) { throw -0 }
-                if (Object.is(0, -0)) { throw -0 }
-                e(Infinity)(Infinity)
-                e(-Infinity)(-Infinity)
-                n(Infinity)(-Infinity)
-            },
-            nullish: () => {
-                n(undefined)(NaN)
-                n(undefined)(0)
-            }
-        },
-        string: {
-            string: () => {
-                e("hello")("hello")
-                n("hello")("world")
-            },
-            number: () => {
-                n(0)("0")
-            }
-        },
-        bigint: {
-            bigint: () => {
-                e(12n)(12n)
-                n(12n)(-12n)
-                n(12n)(13n)
-            }
-        },
-        array: {
-            array: () => {
-                const a: any = []
-                e(a)(a)
-                n([])([])
-                const a0 = ['0']
-                e(a0)(a0)
-            }
-        },
-        object: {
-            object: () => {
-                const o = { '0': '0' }
-                e(o)(o)
-                n(o)({ '0': '0' })
-            }
-        }
-    }
-}

package/nanvm-lib/tests/test.rs

@@ -1,108 +0,0 @@
-use nanvm_lib::{interface::{Complex, Container, Extension, Any, Utf8}, naive, nullish::Nullish, sign::Sign, simple::Simple};
-
-fn eq<A: Any>() {
-    // nullish
-    let null0: A = Simple::Nullish(Nullish::Null).to_unknown();
-    let null1 = Simple::Nullish(Nullish::Null).to_unknown();
-    let undefined0 = Simple::Nullish(Nullish::Undefined).to_unknown();
-    let undefined1 = Simple::Nullish(Nullish::Undefined).to_unknown();
-    {
-        assert_eq!(null0, null1);
-        assert_eq!(undefined0, undefined1);
-        assert_ne!(null1, undefined0);
-    }
-    // boolean
-    let true0: A = Simple::Boolean(true).to_unknown();
-    let true1 = Simple::Boolean(true).to_unknown();
-    let false0 = Simple::Boolean(false).to_unknown();
-    let false1 = Simple::Boolean(false).to_unknown();
-    {
-        // boolean
-        {
-            assert_eq!(true0, true1);
-            assert_eq!(false0, false1);
-            assert_ne!(true0, false0);
-        }
-        // nullish
-        {
-            assert_ne!(false0, undefined0);
-        }
-    }
-    // number
-    let number00: A = Simple::Number(2.3).to_unknown();
-    let number01: A = Simple::Number(2.3).to_unknown();
-    let number1: A = Simple::Number(-5.4).to_unknown();
-    let number_nan: A = Simple::Number(f64::NAN).to_unknown();
-    let number_p0: A = Simple::Number(0.0).to_unknown();
-    let number_n0: A = Simple::Number(-0.0).to_unknown();
-    let number_p_inf0: A = Simple::Number(f64::INFINITY).to_unknown();
-    let number_p_inf1: A = Simple::Number(f64::INFINITY).to_unknown();
-    let number_n_inf0: A = Simple::Number(-f64::INFINITY).to_unknown();
-    let number_n_inf1: A = Simple::Number(-f64::INFINITY).to_unknown();
-    {
-        // number
-        {
-            assert_eq!(number00, number01);
-            assert_ne!(number00, number1);
-            assert_ne!(number_nan, number_nan);
-            assert_eq!(number_p0, number_n0);
-            // Object.is()
-            assert_eq!((-0f64).to_bits(), (-0f64).to_bits());
-            assert_ne!(0f64.to_bits(), (-0f64).to_bits());
-            assert_eq!(number_p_inf0, number_p_inf1);
-            assert_eq!(number_n_inf0, number_n_inf1);
-            assert_ne!(number_p_inf0, number_n_inf0);
-        }
-        // nullish
-        {
-            assert_ne!(number_nan, undefined0);
-            assert_ne!(number00, undefined0);
-        }
-    }
-    // string
-    let string_hello0: A = "Hello!".to_unknown();
-    let string_hello1: A = "Hello!".to_unknown();
-    let string_world0: A = "world!".to_unknown();
-    let string0: A = "0".to_unknown();
-    let s0 = "0".to_string16::<A>();
-    {
-        {
-            assert_eq!(string_hello0, string_hello1);
-            assert_ne!(string_hello0, string_world0);
-        }
-        {
-            assert_ne!(number_p0, string0.clone());
-        }
-    }
-    // bigint
-    let bigint12_0: A = A::BigInt::new(Sign::Positive, [12]).to_unknown();
-    let bigint12_1: A = A::BigInt::new(Sign::Positive, [12]).to_unknown();
-    let bigint12m: A =  A::BigInt::new(Sign::Negative, [12]).to_unknown();
-    let bigint13: A =  A::BigInt::new(Sign::Positive, [13]).to_unknown();
-    {
-        assert_eq!(bigint12_0, bigint12_1);
-        assert_ne!(bigint12_0, bigint12m);
-        assert_ne!(bigint12_0, bigint13);
-    }
-    // array
-    let array0: A = [].to_array_unknown();
-    let array1: A = [].to_array_unknown();
-    let array2: A = [string0.clone()].to_array_unknown();
-    {
-        assert_eq!(array0, array0);
-        assert_ne!(array0, array1);
-        assert_eq!(array2, array2);
-    }
-    // object
-    let object0: A = [(s0.clone(), string0.clone())].to_object_unknown();
-    let object1: A = [(s0, string0)].to_object_unknown();
-    {
-        assert_eq!(object0, object0);
-        assert_ne!(object0, object1);
-    }
-}
-
-#[test]
-fn naive_eq() {
-    eq::<naive::Any>();
-}

package/nodejs/version/main.ts

@@ -1,4 +0,0 @@
-import * as _ from './module.f.ts'
-import fs from 'node:fs'
-
-_.updateVersion({ fs })

package/nodejs/version/module.f.ts

@@ -1,42 +0,0 @@
-export type Buffer = {}
-
-type Fs<T> = {
-   readonly readFileSync: (name: string) => Buffer
-   readonly writeFileSync: (name: string, content: string) => T
-}
-
-export type Node<T> = {
-   readonly fs: Fs<T>
-}
-
-const { stringify, parse } = JSON
-
-export const getVersion
-    : <T>(fs: Fs<T>) => string
-    = fs => readJson(fs)('package').version
-
-const jsonFile = (jsonFile: string) => `${jsonFile}.json`
-
-const readJson
-    : <T>(node: Fs<T>) => (name: string) => any
-    = fs => name => parse(fs.readFileSync(jsonFile(name)).toString())
-
-export const updateVersion
-    : <T>(node: Node<T>) => readonly[T, T]
-    = ({ fs }) => {
-    const f = (name: string) => {
-        return fs.writeFileSync(
-            jsonFile(name),
-            stringify(
-                {
-                    ...readJson(fs)(name),
-                    version: getVersion(fs)
-                },
-                null,
-                2))
-    }
-    return [
-        f('package'),
-        f('deno')
-    ]
-}

package/text/README.md

@@ -1,110 +0,0 @@
-# UNICODE
-
-## UTF-8
-
-Requirement: no loss for UTF8 => codepoint => UTF8
-
-|utf8     |utf8 code                              |size     |codepoint                                         |
-|---------|---------------------------------------|---------|--------------------------------------------------|
-|[a]      |0xxx_xxxx                              |7 bit    |0_0000_0000_0000_0xxx_xxxx                        |
-|[b,a]    |110x_xxxx 10xx_xxxx                    |11 bit   |0_0000_0000_0xxx_xxxx_xxxx + 0_0000_0000_1000_0000|
-|[c,b,a]  |1110_xxxx 10xx_xxxx 10xx_xxxx          |16 bit   |0_0000_xxxx_xxxx_xxxx_xxxx + 0_0000_1000_0000_0000|
-|[d,c,b,a]|1111_0xxx 10xx_xxxx 10xx_xxxx 10xx_xxxx|21 bit   |x_xxxx_xxxx_xxxx_xxxx_xxxx + 1_0000_0000_0000_0000|
-
-|utf8 error|utf8 code                    |size  |codepoint          |
-|----------|-----------------------------|------|-------------------|
-|[e]       |1111_1xxx                    | 3 bit|                   |
-|[d,]      |1111_0xxx                    | 3 bit|                   |
-|[c,]      |1110_xxxx                    | 4 bit|                   |
-|[b,]      |110x_xxxx                    | 5 bit|                   |
-|[e]       |10xx_xxxx                    | 6 bit|0000_0000 1xxx_xxxx|
-|[d,c,]    |1111_0xxx 10xx_xxxx          | 9 bit|0000_001x xxxx_xxxx|
-|[c,b,]    |1110_xxxx 10xx_xxxx          |10 bit|0000_01xx xxxx_xxxx|
-|[d,c,b,]  |1111_0xxx 10xx_xxxx 10xx_xxxx|15 bit|1xxx_xxxx xxxx_xxxx|
-
-Total error states:
-
-- 2^6 + 2^3 + 2^5 + 2^4 + 2^10 + 2^3 + + 2^9 + 2^15
-- 2^4 + 2^6 + 2^5 + 2^4 + 2^10 + 2^9 + 2^15
-- 2^5 + 2^6 + 2^5 + 2^10 + 2^9 + 2^15
-- 2^6 + 2^6 + 2^10 + 2^9 + 2^15
-- 2^7 + 2^9 + 2^10 + 2^15
-- 0b1000_0110_1000_000
-- 128 + 512 + 1024 + 32_768
-- 34_432
-- < 2^16
-
-### utf8/module.f.mjs
-
-```js
-/** @type {(input: List<u8|null>) => List<i32>} */
-const toCodePointList
-
-/** @type {(input: List<i32>) => List<u8>} */
-const fromCodePointList
-```
-
-## UTF-16
-
-Requirement: no loss for UTF16 => codepoint => UTF16
-
-0xD800..0xDFFF
-0b_1101_1000_0000_0000
-0b_1101_1111_1111_1111
-
-0b_1101_1xxx_xxxx_xxxx : 11 bits
-
-- first : 0xD800: 0b_1101_10xx_xxxx_xxxx : 10 bit
-- second: 0xDC00: 0b_1101_11xx_xxxx_xxxx : 10 bit
-
-|utf16    |utf16 code                             |size  |codepoint                                       |
-|---------|---------------------------------------|------|------------------------------------------------|
-|[a]      |xxxx_xxxx_xxxx_xxxx                    |16 bit|0000_xxxx_xxxx_xxxx_xxxx                        |
-|[b,a]    |1101_10xx_xxxx_xxxx 1101_11xx_xxxx_xxxx|20 bit|xxxx_xxxx_xxxx_xxxx_xxxx + 1_0000_0000_0000_0000|
-
-|utf16 error|utf16 code         |size  |codepoint          |
-|-----------|-------------------|------|-------------------|
-|[e]        |1101_11xx_xxxx_xxxx|10 bit|1101_11xx_xxxx_xxxx|
-|[b,]       |1101_10xx_xxxx_xxxx|10 bit|1101_10xx_xxxx_xxxx|
-
-Total error states: 11 bit
-
-### utf16/module.f.mjs
-
-```js
-/** @type {(input: List<u16|null>) => List<i32>} */
-const toCodePointList
-
-/** @type {(input: List<i32>) => List<u16>} */
-const fromCodePointList
-
-/** @type {(input: string) => List<u16>} */
-const stringToList
-
-/** @type {(input: List<u16>) => string} */
-const listToString
-```
-
-UTF-16 => CP => UTF-8 => CP = UTF-16
-
-## Example
-
-- UTF-16:
-  - 1101_11xx_xxxx_xxxx
-  - 1101_11xx_xxxx_xxxx
-- CP:
-  - 1000_0000_0000_0000_1101_11xx_xxxx_xxxx
-  - 1000_0000_0000_0000_1101_11xx_xxxx_xxxx
-- UTF-8:
-  - 1111_0.101
-  - 10.11_xxxx
-  - 10xx_xxxx
-  - 1111_0.101
-  - 10.11_xxxx
-  - 10xx_xxxx
-- CP:
-  - 1000_0000_0000_0000_1101_11xx_xxxx_xxxx
-  - 1000_0000_0000_0000_1101_11xx_xxxx_xxxx
-- UTF-16:
-  - 1101_11xx_xxxx_xxxx
-  - 1101_11xx_xxxx_xxxx

package/text/ascii/module.f.ts

@@ -1,222 +0,0 @@
-import * as _range from '../../types/range/module.f.ts'
-
-const at
-    : (s: string) => (i: number) => number
-    = s => i => {
-    const r = s.codePointAt(i)
-    if (r === void 0) { throw s }
-    return r
-}
-
-export const one
-    : (s: string) => number
-    = s => at(s)(0)
-
-export const range
-    : (s: string) => _range.Range
-    = s => {
-    const f = at(s)
-    const f0 = f(0)
-    if (s.length === 1) { return [f0, f0] }
-    return [f0, f(1)]
-}
-
-export const ascii = {
-    // 0x00..
-
-    /** @readonly 0x08 */
-    backspace: one('\b'),
-
-    /** @readonly 0x09 */
-    ht: one('\t'),
-
-    /** @readonly 0x0A */
-    lf: one('\n'),
-
-    /** @readonly 0x0C */
-    ff: one('\f'),
-    /** @readonly 0x0D */
-    cr: one('\r'),
-
-    // 0x20..
-
-    /** @readonly 0x20 */
-    space: one(' '),
-
-    /** @readonly 0x21 */
-    exclamationMark: one('!'),
-
-    /** @readonly 0x22 */
-    quotationMark: one('"'),
-
-    /** @readonly 0x23 */
-    numberSign: one('#'),
-
-    /** @readonly 0x24 */
-    dollarSign: one('$'),
-
-    /** @readonly 0x25 */
-    percentSign: one('%'),
-
-    /** @readonly 0x26 */
-    ampersand: one('&'),
-
-    /** @readonly 0x27 */
-    apostrophe: one("'"),
-
-    /** @readonly 0x28 */
-    leftParenthesis: one('('),
-
-    /** @readonly 0x29 */
-    rightParenthesis: one(')'),
-
-    /** @readonly 0x2A */
-    asterisk: one('*'),
-
-    /** @readonly 0x2B */
-    plusSign: one('+'),
-
-    /** @readonly 0x2C */
-    comma: one(','),
-
-    /** @readonly 0x2D */
-    hyphenMinus: one('-'),
-
-    /** @readonly 0x2E */
-    fullStop: one('.'),
-
-    /** @readonly 0x2F */
-    solidus: one('/'),
-
-    // 0x30..
-
-    /** @readonly 0x30..0x39 */
-    digitRange: range('09'),
-
-    /** @readonly 0x30 */
-    digit0: one('0'),
-
-    /** @readonly 0x31 */
-    digit1: one('1'),
-
-    /** @readonly 0x32 */
-    digit2: one('2'),
-
-    /** @readonly 0x33 */
-    digit3: one('3'),
-
-    /** @readonly 0x34 */
-    digit4: one('4'),
-
-    /** @readonly 0x35 */
-    digit5: one('5'),
-
-    /** @readonly 0x36 */
-    digit6: one('6'),
-
-    /** @readonly 0x37 */
-    digit7: one('7'),
-
-    /** @readonly 0x38 */
-    digit8: one('8'),
-
-    /** @readonly 0x39 */
-    digit9: one('9'),
-
-    /** @readonly 0x3A */
-    colon: one(':'),
-
-    /** @readonly 0x3B */
-    semicolon: one(';'),
-
-    /** @readonly 0x3C */
-    lessThanSign: one('<'),
-
-    /** @readonly 0x3D */
-    equalsSign: one('='),
-
-    /** @readonly 0x3E */
-    greaterThanSign: one('>'),
-
-    /** @readonly 0x3F */
-    questionMark: one('?'),
-
-    // 0x40..
-
-    /** @readonly 0x40 */
-    commercialAt: one('@'),
-
-    /** @readonly 0x41..0x5A */
-    latinCapitalLetterRange: range('AZ'),
-
-    /** @readonly 0x41 */
-    latinCapitalLetterA: one('A'),
-
-    /** @readonly 0x45 */
-    latinCapitalLetterE: one('E'),
-
-    /** @readonly 0x46 */
-    latinCapitalLetterF: one('F'),
-
-    /** @readonly 0x5B */
-    leftSquareBracket: one('['),
-
-    /** @readonly 0x5C */
-    reverseSolidus: one('\\'),
-
-    /** @readonly 0x5D */
-    rightSquareBracket: one(']'),
-
-    /** @readonly 0x5E */
-    circumflexAccent: one('^'),
-
-    /** @readonly 0x5F */
-    lowLine: one('_'),
-
-    // 0x60..
-
-    /** @readonly 0x60 */
-    graveAccent: one('`'),
-
-    /** @readonly 0x61..0x7A */
-    latinSmallLetterRange: range('az'),
-
-    /** @readonly 0x61 */
-    latinSmallLetterA: one('a'),
-
-    /** @readonly 0x62 */
-    latinSmallLetterB: one('b'),
-
-    /** @readonly 0x65 */
-    latinSmallLetterE: one('e'),
-
-    /** @readonly 0x66 */
-    latinSmallLetterF: one('f'),
-
-    /** @readonly 0x6E */
-    latinSmallLetterN: one('n'),
-
-    /** @readonly 0x72 */
-    latinSmallLetterR: one('r'),
-
-    /** @readonly 0x74 */
-    latinSmallLetterT: one('t'),
-
-    /** @readonly 0x75 */
-    latinSmallLetterU: one('u'),
-
-    /** @readonly 0x7A */
-    latinSmallLetterZ: one('z'),
-
-    /** @readonly 0x7B */
-    leftCurlyBracket: one('{'),
-
-    /** @readonly 0x7C */
-    verticalLine: one('|'),
-
-    /** @readonly 0x7D */
-    rightCurlyBracket: one('}'),
-
-    /** @readonly 0x7E */
-    tilde: one('~'),
-}

package/text/ascii/test.f.ts

@@ -1,14 +0,0 @@
-import * as _ from './module.f.ts'
-const { range } = _
-import * as json from '../../json/module.f.ts'
-import * as o from '../../types/object/module.f.ts'
-const { sort } = o
-
-const stringify = json.stringify(sort)
-
-export default {
-    range: () => {
-        const r = stringify(range("A"))
-        if (r !== '[65,65]') { throw r }
-    }
-}

package/text/module.f.ts

@@ -1,30 +0,0 @@
-import * as list from '../types/list/module.f.ts'
-const { flatMap } = list
-
-export type Block = ItemThunk|ItemArray
-
-type ItemArray = readonly Item[]
-
-type ItemThunk = () => list.List<Item>
-
-export type Item = string|ItemArray|ItemThunk
-
-export const flat
-    : (indent: string) => (text: Block) => list.List<string>
-    = indent => {
-
-    const f
-        : (prefix: string) => (text: Block) => list.List<string>
-        = prefix => {
-        const g
-            : (item: Item) => list.List<string>
-            = item => typeof (item) === 'string' ? [`${prefix}${item}`] : f(`${prefix}${indent}`)(item)
-        return flatMap(g)
-    }
-
-    return f('')
-}
-
-export const curly
-    : (type: string) => (name: string) => (body: Block) => Block
-    = type => name => body => [`${type} ${name}`, '{', body, '}']

package/text/sgr/README.md

@@ -1,3 +0,0 @@
-# SGR (Select Graphic Rendition) parameters
-
-https://en.wikipedia.org/wiki/ANSI_escape_code#SGR_(Select_Graphic_Rendition)_parameters

package/text/sgr/module.f.ts

@@ -1,13 +0,0 @@
-/**
- * https://en.wikipedia.org/wiki/ANSI_escape_code#SGR
- */
-export const sgr
-    : (c: number) => string
-    = c => `\x1b[${c.toString()}m`
-
-export const codes = {
-    reset: sgr(0),
-    bold: sgr(1),
-    fgRed: sgr(31),
-    fgGreen: sgr(32),
-}

package/text/test.f.ts

@@ -1,19 +0,0 @@
-import * as _ from './module.f.ts'
-import * as string from '../types/string/module.f.ts'
-const { join } = string
-
-export default () => {
-    const text
-        : _.Block
-        = [
-        'a',
-        'b',
-        () => [
-            'c',
-            () => ['d'],
-        ],
-        'e',
-    ]
-    const result = join('\n')(_.flat(':')(text))
-    if (result !== 'a\nb\n:c\n::d\ne') { throw result }
-}