functionalscript 0.2.5 → 0.3.0

package/out/nodejs/version/test.f.d.mts

@@ -1,2 +0,0 @@
-declare function _default(): void;
-export default _default;

package/out/nodejs/version/test.f.mjs

@@ -1,97 +0,0 @@
-import * as _ from './module.f.mjs';
-const version = '0.3.0';
-/**
- * @type {{
- *  readonly[k in string]: unknown
- * }}
- */
-const x = {
-    'package.json': {
-        "name": "functionalscript",
-        version,
-        "description": "FunctionalScript is a functional subset of JavaScript",
-        "main": "module.f.cjs",
-        "scripts": {
-            "tsc": "tsc",
-            "test": "tsc && npm run test-only",
-            "version": "node ./nodejs/version/main.cjs",
-            "test-only": "node --trace-uncaught ./test.f.cjs"
-        },
-        "repository": {
-            "type": "git",
-            "url": "git+https://github.com/functionalscript/functionalscript.git"
-        },
-        "author": "NatFoam",
-        "license": "MIT",
-        "keywords": [
-            "lambda",
-            "functional-programming",
-            "closure",
-            "pure-functional",
-            "typescript",
-            "programming-language",
-            "lazy-evaluation"
-        ],
-        "bugs": {
-            "url": "https://github.com/functionalscript/functionalscript/issues"
-        },
-        "homepage": "https://github.com/functionalscript/functionalscript#readme",
-        "devDependencies": {
-            "@types/node": "^18.6.2",
-            "typescript": "^4.7.4"
-        }
-    },
-    "jsr.json": {}
-};
-const e = '{\n' +
-    '  "name": "functionalscript",\n' +
-    `  "version": "${version}",\n` +
-    '  "description": "FunctionalScript is a functional subset of JavaScript",\n' +
-    '  "main": "module.f.cjs",\n' +
-    '  "scripts": {\n' +
-    '    "tsc": "tsc",\n' +
-    '    "test": "tsc && npm run test-only",\n' +
-    '    "version": "node ./nodejs/version/main.cjs",\n' +
-    '    "test-only": "node --trace-uncaught ./test.f.cjs"\n' +
-    '  },\n' +
-    '  "repository": {\n' +
-    '    "type": "git",\n' +
-    '    "url": "git+https://github.com/functionalscript/functionalscript.git"\n' +
-    '  },\n' +
-    '  "author": "NatFoam",\n' +
-    '  "license": "MIT",\n' +
-    '  "keywords": [\n' +
-    '    "lambda",\n' +
-    '    "functional-programming",\n' +
-    '    "closure",\n' +
-    '    "pure-functional",\n' +
-    '    "typescript",\n' +
-    '    "programming-language",\n' +
-    '    "lazy-evaluation"\n' +
-    '  ],\n' +
-    '  "bugs": {\n' +
-    '    "url": "https://github.com/functionalscript/functionalscript/issues"\n' +
-    '  },\n' +
-    '  "homepage": "https://github.com/functionalscript/functionalscript#readme",\n' +
-    '  "devDependencies": {\n' +
-    '    "@types/node": "^18.6.2",\n' +
-    '    "typescript": "^4.7.4"\n' +
-    '  }\n' +
-    '}';
-/** @type {(s: string) => _.Buffer} */
-const buffer = s => ({
-    toString: () => s
-});
-export default () => {
-    /** @type {_.Node<string>} */
-    const node = {
-        fs: {
-            readFileSync: n => buffer(JSON.stringify(x[n])),
-            writeFileSync: (_, content) => content
-        }
-    };
-    const [n, d] = _.updateVersion(node);
-    if (n !== e) {
-        throw [n, e];
-    }
-};

package/out/text/ascii/module.f.d.mts

@@ -1,70 +0,0 @@
-/** @type {(s: string) => number} */
-export const one: (s: string) => number;
-/** @type {(s: string) => _range.Range} */
-export const range: (s: string) => _range.Range;
-export namespace ascii {
-    let backspace: number;
-    let ht: number;
-    let lf: number;
-    let ff: number;
-    let cr: number;
-    let space: number;
-    let exclamationMark: number;
-    let quotationMark: number;
-    let numberSign: number;
-    let dollarSign: number;
-    let percentSign: number;
-    let ampersand: number;
-    let apostrophe: number;
-    let leftParenthesis: number;
-    let rightParenthesis: number;
-    let asterisk: number;
-    let plusSign: number;
-    let comma: number;
-    let hyphenMinus: number;
-    let fullStop: number;
-    let solidus: number;
-    let digitRange: _range.Range;
-    let digit0: number;
-    let digit1: number;
-    let digit2: number;
-    let digit3: number;
-    let digit4: number;
-    let digit5: number;
-    let digit6: number;
-    let digit7: number;
-    let digit8: number;
-    let digit9: number;
-    let colon: number;
-    let semicolon: number;
-    let lessThanSign: number;
-    let equalsSign: number;
-    let greaterThanSign: number;
-    let questionMark: number;
-    let commercialAt: number;
-    let latinCapitalLetterRange: _range.Range;
-    let latinCapitalLetterA: number;
-    let latinCapitalLetterE: number;
-    let latinCapitalLetterF: number;
-    let leftSquareBracket: number;
-    let reverseSolidus: number;
-    let rightSquareBracket: number;
-    let circumflexAccent: number;
-    let lowLine: number;
-    let graveAccent: number;
-    let latinSmallLetterRange: _range.Range;
-    let latinSmallLetterA: number;
-    let latinSmallLetterB: number;
-    let latinSmallLetterE: number;
-    let latinSmallLetterF: number;
-    let latinSmallLetterN: number;
-    let latinSmallLetterR: number;
-    let latinSmallLetterT: number;
-    let latinSmallLetterU: number;
-    let latinSmallLetterZ: number;
-    let leftCurlyBracket: number;
-    let verticalLine: number;
-    let rightCurlyBracket: number;
-    let tilde: number;
-}
-import * as _range from '../../types/range/module.f.mjs';

package/out/text/ascii/module.f.mjs

@@ -1,154 +0,0 @@
-// @ts-self-types="./module.f.d.mts"
-import * as _range from '../../types/range/module.f.mjs';
-/** @type {(s: string) => (i: number) => number} */
-const at = s => i => {
-    const r = s.codePointAt(i);
-    if (r === void 0) {
-        throw s;
-    }
-    return r;
-};
-/** @type {(s: string) => number} */
-export const one = s => at(s)(0);
-/** @type {(s: string) => _range.Range} */
-export const 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/out/text/ascii/test.f.d.mts

@@ -1,4 +0,0 @@
-declare namespace _default {
-    function range(): void;
-}
-export default _default;

package/out/text/ascii/test.f.mjs

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

package/out/text/module.f.d.mts

@@ -1,13 +0,0 @@
-/** @typedef {ItemThunk|ItemArray} Block */
-/** @typedef {readonly Item[]} ItemArray */
-/** @typedef {() => list.List<Item>} ItemThunk */
-/** @typedef {string|ItemArray|ItemThunk} Item */
-/** @type {(indent: string) => (text: Block) => list.List<string>} */
-export const flat: (indent: string) => (text: Block) => list.List<string>;
-/** @type {(type: string) => (name: string) => (body: Block) => Block} */
-export const curly: (type: string) => (name: string) => (body: Block) => Block;
-export type Block = ItemThunk | ItemArray;
-export type ItemArray = readonly Item[];
-export type ItemThunk = () => list.List<Item>;
-export type Item = string | ItemArray | ItemThunk;
-import * as list from '../types/list/module.f.mjs';

package/out/text/module.f.mjs

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

package/out/text/sgr/module.f.d.mts

@@ -1,12 +0,0 @@
-/**
- * https://en.wikipedia.org/wiki/ANSI_escape_code#SGR
- *
- * @type {(c: number) => string}
- */
-export const sgr: (c: number) => string;
-export namespace codes {
-    let reset: string;
-    let bold: string;
-    let fgRed: string;
-    let fgGreen: string;
-}

package/out/text/sgr/module.f.mjs

@@ -1,17 +0,0 @@
-// @ts-self-types="./module.f.d.mts"
-/**
- * https://en.wikipedia.org/wiki/ANSI_escape_code#SGR
- *
- * @type {(c: number) => string}
- */
-export const sgr = c => `\x1b[${c.toString()}m`;
-export const codes = {
-    /** @readonly */
-    reset: sgr(0),
-    /** @readonly */
-    bold: sgr(1),
-    /** @readonly */
-    fgRed: sgr(31),
-    /** @readonly */
-    fgGreen: sgr(32),
-};

package/out/text/test.f.d.mts

@@ -1,2 +0,0 @@
-declare function _default(): void;
-export default _default;

package/out/text/test.f.mjs

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

package/out/text/utf16/module.f.d.mts

@@ -1,12 +0,0 @@
-export const fromCodePointList: (input: list.List<number>) => list.Thunk<number>;
-/** @type {(input: list.List<u16>) => list.List<i32>} */
-export const toCodePointList: (input: list.List<u16>) => list.List<i32>;
-/** @type {(s: string) => list.List<u16>} */
-export const stringToList: (s: string) => list.List<u16>;
-/** @type {(input: list.List<u16>) => string} */
-export const listToString: (input: list.List<u16>) => string;
-export type WordOrEof = u16 | null;
-export type Utf16State = number | null;
-export type u16 = number;
-export type i32 = number;
-import * as list from '../../types/list/module.f.mjs';

package/out/text/utf16/module.f.mjs

@@ -1,86 +0,0 @@
-// @ts-self-types="./module.f.d.mts"
-import * as list from '../../types/list/module.f.mjs';
-import * as operator from '../../types/function/operator/module.f.mjs';
-import * as range from '../../types/range/module.f.mjs';
-const { contains } = range;
-import * as f from '../../types/function/module.f.mjs';
-const { fn } = f;
-const { map, flat, stateScan, reduce, flatMap, empty } = list;
-/** @typedef {u16|null} WordOrEof */
-/** @typedef {number|null} Utf16State */
-/** @typedef {number} u16 */
-/** @typedef {number} i32 */
-const lowBmp = contains([0x0000, 0xd7ff]);
-const highBmp = contains([0xe000, 0xffff]);
-/** @type {(codePoint: i32) => boolean} */
-const isBmpCodePoint = codePoint => lowBmp(codePoint) || highBmp(codePoint);
-/** @type {(codePoint: i32) => boolean} */
-const isHighSurrogate = contains([0xd800, 0xdbff]);
-/** @type {(codePoint: i32) => boolean} */
-const isLowSurrogate = contains([0xdc00, 0xdfff]);
-const errorMask = 0b1000_0000_0000_0000_0000_0000_0000_0000;
-/** @type {(a: i32) => boolean} */
-const isSupplementaryPlane = contains([0x01_0000, 0x10_ffff]);
-/** @type {(input: i32) => list.List<u16>} */
-const codePointToUtf16 = codePoint => {
-    if (isBmpCodePoint(codePoint)) {
-        return [codePoint];
-    }
-    if (isSupplementaryPlane(codePoint)) {
-        const n = codePoint - 0x1_0000;
-        const high = (n >> 10) + 0xd800;
-        const low = (n & 0b0011_1111_1111) + 0xdc00;
-        return [high, low];
-    }
-    return [codePoint & 0xffff];
-};
-export const fromCodePointList = flatMap(codePointToUtf16);
-const u16 = contains([0x0000, 0xFFFF]);
-/** @type {operator.StateScan<u16, Utf16State, list.List<i32>>} */
-const utf16ByteToCodePointOp = state => word => {
-    if (!u16(word)) {
-        return [[0xffffffff], state];
-    }
-    if (state === null) {
-        if (isBmpCodePoint(word)) {
-            return [[word], null];
-        }
-        if (isHighSurrogate(word)) {
-            return [[], word];
-        }
-        return [[word | errorMask], null];
-    }
-    if (isLowSurrogate(word)) {
-        const high = state - 0xd800;
-        const low = word - 0xdc00;
-        return [[(high << 10) + low + 0x10000], null];
-    }
-    if (isBmpCodePoint(word)) {
-        return [[state | errorMask, word], null];
-    }
-    if (isHighSurrogate(word)) {
-        return [[state | errorMask], word];
-    }
-    return [[state | errorMask, word | errorMask], null];
-};
-/** @type {(state: Utf16State) => readonly[list.List<i32>, Utf16State]} */
-const utf16EofToCodePointOp = state => [state === null ? empty : [state | errorMask], null];
-/** @type {operator.StateScan<WordOrEof, Utf16State, list.List<i32>>} */
-const utf16ByteOrEofToCodePointOp = state => input => input === null ? utf16EofToCodePointOp(state) : utf16ByteToCodePointOp(state)(input);
-/** @type {list.List<WordOrEof>} */
-const eofList = [null];
-/** @type {(input: list.List<u16>) => list.List<i32>} */
-export const toCodePointList = input => flat(stateScan(utf16ByteOrEofToCodePointOp)(null)(flat([input, eofList])));
-/** @type {(s: string) => list.List<u16>} */
-export const stringToList = s => {
-    /** @type {(i: number) => list.Result<number>} */
-    const at = i => {
-        const first = s.charCodeAt(i);
-        return isNaN(first) ? empty : { first, tail: () => at(i + 1) };
-    };
-    return at(0);
-};
-/** @type {(input: list.List<u16>) => string} */
-export const listToString = fn(map(String.fromCharCode))
-    .then(reduce(operator.concat)(''))
-    .result;

package/out/text/utf16/test.f.d.mts

@@ -1,6 +0,0 @@
-declare namespace _default {
-    let toCodePointList: (() => void)[];
-    let fromCodePointList: (() => void)[];
-    let string: (() => void)[];
-}
-export default _default;