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