functionalscript 0.3.4 → 0.3.6

package/text/utf16/module.f.ts

@@ -1,120 +0,0 @@
-import {
-    map,
-    flat,
-    stateScan,
-    reduce,
-    flatMap,
-    empty,
-    type List,
-    type Result,
-    type Thunk,
-} from '../../types/list/module.f.ts'
-import * as operator from '../../types/function/operator/module.f.ts'
-import { contains } from '../../types/range/module.f.ts'
-import * as f from '../../types/function/module.f.ts'
-const { fn } = f
-
-type WordOrEof = u16|null
-
-type Utf16State = number|null
-
-type u16 = number
-
-type i32 = number
-
-const lowBmp = contains([0x0000, 0xd7ff])
-const highBmp = contains([0xe000, 0xffff])
-
-const isBmpCodePoint
-    : (codePoint: i32) => boolean
-    = codePoint => lowBmp(codePoint) || highBmp(codePoint)
-
-const isHighSurrogate
-    : (codePoint: i32) => boolean
-    = contains([0xd800, 0xdbff])
-
-const isLowSurrogate
-    : (codePoint: i32) => boolean
-    = contains([0xdc00, 0xdfff])
-
-const errorMask = 0b1000_0000_0000_0000_0000_0000_0000_0000
-
-const isSupplementaryPlane
-    : (a: i32) => boolean
-    = contains([0x01_0000, 0x10_ffff])
-
-const codePointToUtf16
-: (input: i32) => List<u16>
-= 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
-: (input: List<number>) => Thunk<number>
-= flatMap(codePointToUtf16)
-
-const u16
-: (i: number) => boolean
-= contains([0x0000, 0xFFFF])
-
-const utf16ByteToCodePointOp
-: operator.StateScan<u16, Utf16State, List<i32>>
-= 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]
-}
-
-const utf16EofToCodePointOp
-: (state: Utf16State) => readonly[List<i32>, Utf16State]
-= state => [state === null ? empty : [state | errorMask],  null]
-
-const utf16ByteOrEofToCodePointOp
-: operator.StateScan<WordOrEof, Utf16State, List<i32>>
-= state => input => input === null ? utf16EofToCodePointOp(state) : utf16ByteToCodePointOp(state)(input)
-
-const eofList
-: List<WordOrEof>
-= [null]
-
-export const toCodePointList
-: (input: List<u16>) => List<i32>
-= input => flat(stateScan(utf16ByteOrEofToCodePointOp)(null)(flat([input, eofList])))
-
-export const stringToList
-: (s: string) => List<u16>
-= s => {
-    const at
-    : (i: number) => Result<number>
-    = i => {
-        const first = s.charCodeAt(i)
-        return isNaN(first) ? empty : { first, tail: () => at(i + 1) }
-    }
-    return at(0)
-}
-
-export const listToString
-: (input: List<u16>) => string
-= fn(map(String.fromCharCode))
-    .then(reduce(operator.concat)(''))
-    .result

package/text/utf16/test.f.ts

@@ -1,107 +0,0 @@
-import * as encoding from './module.f.ts'
-import * as json from '../../json/module.f.ts'
-import * as o from '../../types/object/module.f.ts'
-const { sort } = o
-import * as list from '../../types/list/module.f.ts'
-
-const stringify
-    : (a: readonly json.Unknown[]) => string
-    = a => json.stringify(sort)(a)
-
-export default {
-    toCodePointList: [
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([-1, 65536])))
-            if (result !== '[4294967295,4294967295]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([0, 36, 8364, 55295, 57344, 65535])))
-            if (result !== '[0,36,8364,55295,57344,65535]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([56320, 57343])))
-            if (result !== '[-2147427328,-2147426305]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([55296, 56320, 55297, 56375, 55378, 57186, 56319, 57343])))
-            if (result !== '[65536,66615,150370,1114111]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([55296, 55296])))
-            if (result !== '[-2147428352,-2147428352]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([55296, 0])))
-            if (result !== '[-2147428352,0]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([56320])))
-            if (result !== '[-2147427328]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([56320, 0])))
-            if (result !== '[-2147427328,0]') { throw result }
-        }
-    ],
-    fromCodePointList: [
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0])))
-            if (result !== '[0]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x24])))
-            if (result !== '[36]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x20AC])))
-            if (result !== '[8364]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0xd7ff])))
-            if (result !== '[55295]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0xe000])))
-            if (result !== '[57344]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0xffff])))
-            if (result !== '[65535]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x10000])))
-            if (result !== '[55296,56320]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x10437])))
-            if (result !== '[55297,56375]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x24B62])))
-            if (result !== '[55378,57186]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x10ffff])))
-            if (result !== '[56319,57343]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([-1, 0xd800, 0xdfff, 0x110000])))
-            if (result !== '[65535,55296,57343,0]') { throw result }
-        }
-    ],
-    string: [
-        () => {
-            const utf16List = encoding.stringToList("Hello world!😂🚜🚲")
-            const result = encoding.listToString(utf16List)
-            if (result !== "Hello world!😂🚜🚲") { throw result }
-        },
-        () => {
-            const a = encoding.stringToList("Hello world!😂🚜🚲")
-            const b = encoding.toCodePointList(a)
-            const c = encoding.fromCodePointList(b)
-            const result = encoding.listToString(c)
-            if (result !== "Hello world!😂🚜🚲") { throw result }
-
-        }
-    ]
-}

package/text/utf8/module.f.ts

@@ -1,116 +0,0 @@
-import { flatMap, flat, stateScan, type List, type Thunk } from '../../types/list/module.f.ts'
-import * as operator from '../../types/function/operator/module.f.ts'
-import * as Array from '../../types/array/module.f.ts'
-
-type ByteOrEof = u8|null
-
-type Utf8NonEmptyState = Array.Array1<number>|Array.Array2<number>|Array.Array3<number>
-
-type Utf8State = null|Utf8NonEmptyState
-
-type u8 = number
-
-type i32 = number
-
-const errorMask = 0b1000_0000_0000_0000_0000_0000_0000_0000
-
-const codePointToUtf8
-    : (input:number) => List<u8>
-    = input => {
-    if (input >= 0x0000 && input <= 0x007f) { return [input & 0b01111_1111] }
-    if (input >= 0x0080 && input <= 0x07ff) { return [input >> 6 | 0b1100_0000, input & 0b0011_1111 | 0b1000_0000] }
-    if (input >= 0x0800 && input <= 0xffff) { return [input >> 12 | 0b1110_0000, input >> 6 & 0b0011_1111 | 0b1000_0000, input & 0b0011_1111 | 0b1000_0000] }
-    if (input >= 0x10000 && input <= 0x10ffff) { return [input >> 18 | 0b1111_0000, input >> 12 & 0b0011_1111 | 0b1000_0000, input >> 6 & 0b0011_1111 | 0b1000_0000, input & 0b0011_1111 | 0b1000_0000] }
-    if ((input & errorMask) !== 0) {
-        if ((input & 0b1000_0000_0000_0000) !== 0) { return [input >> 12 & 0b0000_0111 | 0b1111_0000, input >> 6 & 0b0011_1111 | 0b1000_0000, input & 0b0011_1111 | 0b1000_0000] }
-        if ((input & 0b0000_0100_0000_0000) !== 0) { return [input >> 6 & 0b0000_1111 | 0b1110_0000, input & 0b0011_1111 | 0b1000_0000] }
-        if ((input & 0b0000_0010_0000_0000) !== 0) { return [input >> 6 & 0b0000_0111 | 0b1111_0000, input & 0b0011_1111 | 0b1000_0000] }
-        if ((input & 0b0000_0000_1000_0000) !== 0) { return [input & 0b1111_1111] }
-    }
-    return [errorMask]
-}
-
-export const fromCodePointList
-: (input: List<number>) => Thunk<number>
-= flatMap(codePointToUtf8)
-
-const utf8StateToError
-    : (state: Utf8NonEmptyState) => i32
-    = state => {
-    let x
-    switch (state.length) {
-        case 1: {
-            [x] = state
-            break
-        }
-        case 2: {
-            const [s0, s1] = state
-            x = s0 < 0b1111_0000
-                ? ((s0 & 0b0000_1111) << 6) + (s1 & 0b0011_1111) + 0b0000_0100_0000_0000
-                : ((s0 & 0b0000_0111) << 6) + (s1 & 0b0011_1111) + 0b0000_0010_0000_0000
-            break
-        }
-        case 3: {
-            const [s0, s1, s2] = state
-            x = ((s0 & 0b0000_0111) << 12) + ((s1 & 0b0011_1111) << 6) + (s2 & 0b0011_1111) + 0b1000_0000_0000_0000
-            break
-        }
-        default:
-            throw 'invalid state'
-    }
-    return x | errorMask
-}
-
-const utf8ByteToCodePointOp
-    : operator.StateScan<number, Utf8State, List<i32>>
-    = state => byte => {
-    if (byte < 0x00 || byte > 0xff) {
-        return [[errorMask], state]
-    }
-    if (state === null) {
-        if (byte < 0b1000_0000) { return [[byte], null] }
-        if (byte >= 0b1100_0010 && byte <= 0b1111_0100) { return [[], [byte]] }
-        return [[byte | errorMask], null]
-    }
-    if (byte >= 0b1000_0000 && byte < 0b1100_0000) {
-        switch (state.length) {
-            case 1: {
-                const [s0] = state
-                if (s0 < 0b1110_0000) { return [[((s0 & 0b0001_1111) << 6) + (byte & 0b0011_1111)], null] }
-                if (s0 < 0b1111_1000) { return [[], [s0, byte]] }
-                break
-            }
-            case 2: {
-                const [s0, s1] = state
-                if (s0 < 0b1111_0000) { return [[((s0 & 0b0000_1111) << 12) + ((s1 & 0b0011_1111) << 6) + (byte & 0b0011_1111)], null] }
-                if (s0 < 0b1111_1000) { return [[], [s0, s1, byte]] }
-                break
-            }
-            case 3: {
-                const [s0, s1, s2] = state
-                return [[((s0 & 0b0000_0111) << 18) + ((s1 & 0b0011_1111) << 12) + ((s2 & 0b0011_1111) << 6) + (byte & 0b0011_1111)], null]
-            }
-        }
-    }
-    const error = utf8StateToError(state)
-    if (byte < 0b1000_0000) { return [[error, byte], null] }
-    if (byte >= 0b1100_0010 && byte <= 0b1111_0100) { return [[error], [byte]] }
-    return [[error, byte | errorMask], null]
-}
-
-const utf8EofToCodePointOp
-: (state: Utf8State) => readonly[List<i32>, Utf8State]
-= state =>
-    [state === null ? null : [utf8StateToError(state)], null]
-
-const utf8ByteOrEofToCodePointOp
-: operator.StateScan<ByteOrEof, Utf8State, List<i32>>
-= state => input => input === null ? utf8EofToCodePointOp(state) : utf8ByteToCodePointOp(state)(input)
-
-const eofList
-: List<ByteOrEof>
-= [null]
-
-export const toCodePointList
-: (input: List<u8>) => List<i32>
-= input => flat(stateScan(utf8ByteOrEofToCodePointOp)(null)(flat([input, eofList])))

package/text/utf8/test.f.ts

@@ -1,125 +0,0 @@
-import * as encoding from './module.f.ts'
-import * as json from '../../json/module.f.ts'
-import * as o from '../../types/object/module.f.ts'
-const { sort } = o
-import * as list from '../../types/list/module.f.ts'
-
-const stringify = json.stringify(sort)
-
-export default {
-    toCodePoint: [
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([-1, 256])))
-            if (result !== '[2147483648,2147483648]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([128, 193, 245, 255])))
-            if (result !== '[-2147483520,-2147483455,-2147483403,-2147483393]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([0, 1, 127])))
-            if (result !== '[0,1,127]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([194, 128, 194, 169, 223, 191])))
-            if (result !== '[128,169,2047]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([194, 194, 127, 194, 192, 194])))
-            if (result !== '[-2147483454,-2147483454,127,-2147483454,-2147483456,-2147483454]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([224, 160, 128, 224, 160, 129, 239, 191, 191])))
-            if (result !== '[2048,2049,65535]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([224, 224, 160, 127, 239, 191])))
-            if (result !== '[-2147483424,-2147482592,127,-2147481601]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([240, 144, 128, 128, 240, 144, 128, 129, 244, 143, 191, 191])))
-            if (result !== '[65536,65537,1114111]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([240, 240, 160, 127, 244, 191])))
-            if (result !== '[-2147483408,-2147483104,127,-2147482817]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.toCodePointList([240, 160, 160, 244, 160, 160])))
-            if (result !== '[-2147448800,-2147432416]') { throw result }
-        }
-    ],
-    fromCodePointList: [
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0, 1, 0x7F])))
-            if (result !== '[0,1,127]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x80])))
-            if (result !== '[194,128]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0xa9])))
-            if (result !== '[194,169]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x7ff])))
-            if (result !== '[223,191]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x800])))
-            if (result !== '[224,160,128]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x801])))
-            if (result !== '[224,160,129]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0xffff])))
-            if (result !== '[239,191,191]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x10000])))
-            if (result !== '[240,144,128,128]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x10001])))
-            if (result !== '[240,144,128,129]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x10FFFF])))
-            if (result !== '[244,143,191,191]') { throw result }
-        },
-        () => {
-            const result = stringify(list.toArray(encoding.fromCodePointList([0x110000, 2147483648])))
-            if (result !== '[2147483648,2147483648]') { throw result }
-        }
-    ],
-    toFrom: [
-        () => {
-            const codePointList = encoding.toCodePointList([128, 193, 245, 255])
-            const result = stringify(list.toArray(encoding.fromCodePointList(codePointList)))
-            if (result !== '[128,193,245,255]') { throw result }
-        },
-        () => {
-            const codePointList = encoding.toCodePointList([194, 194, 127, 194, 192, 194])
-            const result = stringify(list.toArray(encoding.fromCodePointList(codePointList)))
-            if (result !== '[194,194,127,194,192,194]') { throw result }
-        },
-        () => {
-            const codePointList = encoding.toCodePointList([224, 224, 160, 127, 239, 191])
-            const result = stringify(list.toArray(encoding.fromCodePointList(codePointList)))
-            if (result !== '[224,224,160,127,239,191]') { throw result }
-        },
-        () => {
-            const codePointList = encoding.toCodePointList([240, 240, 160, 127, 244, 191])
-            const result = stringify(list.toArray(encoding.fromCodePointList(codePointList)))
-            if (result !== '[240,240,160,127,244,191]') { throw result }
-        },
-        () => {
-            const codePointList = encoding.toCodePointList([240, 160, 160, 244, 160, 160])
-            const result = stringify(list.toArray(encoding.fromCodePointList(codePointList)))
-            if (result !== '[240,160,160,244,160,160]') { throw result }
-        }
-    ]
-}

package/tsconfig.json

@@ -1,104 +0,0 @@
-{
-  "compilerOptions": {
-    /* Visit https://aka.ms/tsconfig.json to read more about this file */
-    "allowImportingTsExtensions": true,
-    "rewriteRelativeImportExtensions": true,
-    "verbatimModuleSyntax": true,
-
-    /* Projects */
-    // "incremental": true,                              /* Enable incremental compilation */
-    // "composite": true,                                /* Enable constraints that allow a TypeScript project to be used with project references. */
-    // "tsBuildInfoFile": "./",                          /* Specify the folder for .tsbuildinfo incremental compilation files. */
-    // "disableSourceOfProjectReferenceRedirect": true,  /* Disable preferring source files instead of declaration files when referencing composite projects */
-    // "disableSolutionSearching": true,                 /* Opt a project out of multi-project reference checking when editing. */
-    // "disableReferencedProjectLoad": true,             /* Reduce the number of projects loaded automatically by TypeScript. */
-
-    /* Language and Environment */
-    "target": "ES2022",                                     /* Set the JavaScript language version for emitted JavaScript and include compatible library declarations. */
-    // "lib": ["ES2021"],                                        /* Specify a set of bundled library declaration files that describe the target runtime environment. */
-    // "jsx": "preserve",                                /* Specify what JSX code is generated. */
-    // "experimentalDecorators": true,                   /* Enable experimental support for TC39 stage 2 draft decorators. */
-    // "emitDecoratorMetadata": true,                    /* Emit design-type metadata for decorated declarations in source files. */
-    // "jsxFactory": "",                                 /* Specify the JSX factory function used when targeting React JSX emit, e.g. 'React.createElement' or 'h' */
-    // "jsxFragmentFactory": "",                         /* Specify the JSX Fragment reference used for fragments when targeting React JSX emit e.g. 'React.Fragment' or 'Fragment'. */
-    // "jsxImportSource": "",                            /* Specify module specifier used to import the JSX factory functions when using `jsx: react-jsx*`.` */
-    // "reactNamespace": "",                             /* Specify the object invoked for `createElement`. This only applies when targeting `react` JSX emit. */
-    // "noLib": true,                                    /* Disable including any library files, including the default lib.d.ts. */
-    // "useDefineForClassFields": true,                  /* Emit ECMAScript-standard-compliant class fields. */
-
-    /* Modules */
-    "module": "ES2022",                                /* Specify what module code is generated. */
-    // "rootDir": "./",                                  /* Specify the root folder within your source files. */
-    // "moduleResolution": "node",                       /* Specify how TypeScript looks up a file from a given module specifier. */
-    // "baseUrl": "./",                                  /* Specify the base directory to resolve non-relative module names. */
-    // "paths": {},                                      /* Specify a set of entries that re-map imports to additional lookup locations. */
-    // "rootDirs": [],                                   /* Allow multiple folders to be treated as one when resolving modules. */
-    // "typeRoots": [],                                  /* Specify multiple folders that act like `./node_modules/@types`. */
-    // "types": [],                                      /* Specify type package names to be included without being referenced in a source file. */
-    // "allowUmdGlobalAccess": true,                     /* Allow accessing UMD globals from modules. */
-    // "resolveJsonModule": true,                        /* Enable importing .json files */
-    // "noResolve": true,                                /* Disallow `import`s, `require`s or `<reference>`s from expanding the number of files TypeScript should add to a project. */
-
-    /* JavaScript Support */
-    "allowJs": true,                                  /* Allow JavaScript files to be a part of your program. Use the `checkJS` option to get errors from these files. */
-    "checkJs": true,                                  /* Enable error reporting in type-checked JavaScript files. */
-    // "maxNodeModuleJsDepth": 1,                        /* Specify the maximum folder depth used for checking JavaScript files from `node_modules`. Only applicable with `allowJs`. */
-
-    /* Emit */
-    "declaration": true,                              /* Generate .d.ts files from TypeScript and JavaScript files in your project. */
-    // "declarationMap": true,                           /* Create sourcemaps for d.ts files. */
-    // "emitDeclarationOnly": true,                      /* Only output d.ts files and not JavaScript files. */
-    // "sourceMap": true,                                /* Create source map files for emitted JavaScript files. */
-    // "outFile": "./",                                  /* Specify a file that bundles all outputs into one JavaScript file. If `declaration` is true, also designates a file that bundles all .d.ts output. */
-    // "outDir": "./out",                                   /* Specify an output folder for all emitted files. */
-    // "removeComments": true,                           /* Disable emitting comments. */
-    "noEmit": true,                                   /* Disable emitting files from a compilation. */
-    // "importHelpers": true,                            /* Allow importing helper functions from tslib once per project, instead of including them per-file. */
-    // "importsNotUsedAsValues": "remove",               /* Specify emit/checking behavior for imports that are only used for types */
-    // "downlevelIteration": true,                       /* Emit more compliant, but verbose and less performant JavaScript for iteration. */
-    // "sourceRoot": "",                                 /* Specify the root path for debuggers to find the reference source code. */
-    // "mapRoot": "",                                    /* Specify the location where debugger should locate map files instead of generated locations. */
-    // "inlineSourceMap": true,                          /* Include sourcemap files inside the emitted JavaScript. */
-    // "inlineSources": true,                            /* Include source code in the sourcemaps inside the emitted JavaScript. */
-    // "emitBOM": true,                                  /* Emit a UTF-8 Byte Order Mark (BOM) in the beginning of output files. */
-    // "newLine": "crlf",                                /* Set the newline character for emitting files. */
-    // "stripInternal": true,                            /* Disable emitting declarations that have `@internal` in their JSDoc comments. */
-    // "noEmitHelpers": true,                            /* Disable generating custom helper functions like `__extends` in compiled output. */
-    // "noEmitOnError": true,                            /* Disable emitting files if any type checking errors are reported. */
-    // "preserveConstEnums": true,                       /* Disable erasing `const enum` declarations in generated code. */
-    // "declarationDir": "./",                           /* Specify the output directory for generated declaration files. */
-
-    /* Interop Constraints */
-    // "isolatedModules": true,                          /* Ensure that each file can be safely transpiled without relying on other imports. */
-    // "allowSyntheticDefaultImports": true,             /* Allow 'import x from y' when a module doesn't have a default export. */
-    "esModuleInterop": true,                             /* Emit additional JavaScript to ease support for importing CommonJS modules. This enables `allowSyntheticDefaultImports` for type compatibility. */
-    // "preserveSymlinks": true,                         /* Disable resolving symlinks to their realpath. This correlates to the same flag in node. */
-    "forceConsistentCasingInFileNames": true,            /* Ensure that casing is correct in imports. */
-
-    /* Type Checking */
-    "strict": true,                                      /* Enable all strict type-checking options. */
-    // "noImplicitAny": true,                            /* Enable error reporting for expressions and declarations with an implied `any` type.. */
-    // "strictNullChecks": true,                         /* When type checking, take into account `null` and `undefined`. */
-    // "strictFunctionTypes": true,                      /* When assigning functions, check to ensure parameters and the return values are subtype-compatible. */
-    // "strictBindCallApply": true,                      /* Check that the arguments for `bind`, `call`, and `apply` methods match the original function. */
-    // "strictPropertyInitialization": true,             /* Check for class properties that are declared but not set in the constructor. */
-    // "noImplicitThis": true,                           /* Enable error reporting when `this` is given the type `any`. */
-    // "useUnknownInCatchVariables": true,               /* Type catch clause variables as 'unknown' instead of 'any'. */
-    // "alwaysStrict": true,                             /* Ensure 'use strict' is always emitted. */
-    // "noUnusedLocals": true,                           /* Enable error reporting when a local variables aren't read. */
-    // "noUnusedParameters": true,                       /* Raise an error when a function parameter isn't read */
-    // "exactOptionalPropertyTypes": true,               /* Interpret optional property types as written, rather than adding 'undefined'. */
-    // "noImplicitReturns": true,                        /* Enable error reporting for codepaths that do not explicitly return in a function. */
-    // "noFallthroughCasesInSwitch": true,               /* Enable error reporting for fallthrough cases in switch statements. */
-    // "noUncheckedIndexedAccess": true,                 /* Include 'undefined' in index signature results */
-    // "noImplicitOverride": true,                       /* Ensure overriding members in derived classes are marked with an override modifier. */
-    // "noPropertyAccessFromIndexSignature": true,       /* Enforces using indexed accessors for keys declared using an indexed type */
-    // "allowUnusedLabels": true,                        /* Disable error reporting for unused labels. */
-    // "allowUnreachableCode": true,                     /* Disable error reporting for unreachable code. */
-
-    /* Completeness */
-    // "skipDefaultLibCheck": true,                      /* Skip type checking .d.ts files that are included with TypeScript. */
-    "skipLibCheck": true                                 /* Skip type checking all .d.ts files. */
-  },
-  "exclude": ["target"]
-}

package/types/array/module.f.ts

@@ -1,89 +0,0 @@
-import * as option from '../nullable/module.f.ts'
-const { map } = option
-
-export type Array1<T> = readonly[T]
-
-type Index1 = 0
-
-export type Array2<T> = readonly[T, T]
-
-type Tuple2<T0, T1> = readonly[T0, T1]
-
-type Index2 = 0|1
-
-export type Array3<T> = readonly[T, T, T]
-
-type Tuple3<T0, T1, T2> = readonly[T0, T1, T2]
-
-export type Index3 = 0|1|2
-
-export type Array4<T> = readonly[T, T, T, T]
-
-type Index4 = 0|1|2|3
-
-export type Array5<T> = readonly[T, T, T, T, T]
-
-export type Array8<T> = readonly[T, T, T, T, T, T, T, T]
-
-export type Array16<T> = readonly[T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T]
-
-type Index16 = 0|1|2|3|4|5|6|7|8|9|10|11|12|13|14|15
-
-type Array1_5<T> = Array1<T>| Array2<T> | Array3<T> | Array4<T> | Array5<T>
-
-export type Index5 = 0|1|2|3|4
-
-export type KeyOf<T> = T extends Array1<infer _> ? Index1 :
-    T extends Array2<infer _> ? Index2 :
-    T extends Array3<infer _> ? Index3 :
-    T extends Array4<infer _> ? Index4 :
-    T extends Array5<infer _> ? Index5 :
-    T extends readonly (infer _)[] ? number :
-    never
-
-const uncheckTail
-    : <T>(_: readonly T[]) => readonly T[]
-    = a => a.slice(1)
-
-const uncheckHead
-    : <T>(_: readonly T[]) => readonly T[]
-    = a => a.slice(0, -1)
-
-export const at
-    : (index: number) => <T>(a: readonly T[]) => T|null
-    = i => a => {
-    const r = a[i]
-    return r === void 0 ? null : r
-}
-
-export const first
-    : <T>(_: readonly T[]) => T|null
-    = at(0)
-
-export const last
-    : <T>(_: readonly T[]) => T|null
-    = a => at(a.length - 1)(a)
-
-export const tail
-    : <T>(_: readonly T[]) => readonly T[] | null
-    = a => a.length === 0 ? null : uncheckTail(a)
-
-export const splitFirst
-    = <T>(a: readonly T[]): readonly[T, readonly T[]]|null => {
-    const split
-        : (_: T) => readonly[T, readonly T[]]
-        = first => [first, uncheckTail(a)]
-    return map(split)(first(a))
-}
-
-export const head
-    : <T>(_: readonly T[]) => readonly T[]|null
-    = a => a.length === 0 ? null : uncheckHead(a)
-
-export const splitLast
-    : <T>(_: readonly T[]) => readonly[readonly T[], T]|null
-    = a => {
-    const lastA = last(a)
-    if (lastA === null) { return null }
-    return [uncheckHead(a), lastA]
-}