functionalscript 0.3.3 → 0.3.5

package/types/array/test.f.ts

@@ -1,88 +0,0 @@
-import * as _ from './module.f.ts'
-import * as json from '../../json/module.f.ts'
-import * as o from '../object/module.f.ts'
-const { sort } = o
-
-const stringify = json.stringify(sort)
-
-export default {
-    stringify: () => {
-        const result = stringify([1, 20, 300])
-        if (result !== '[1,20,300]') { throw result }
-    },
-    at: [
-        () => {
-            const result = _.at(2)([1, 20, 300])
-            if (result !== 300) { throw result }
-        },
-
-        () => {
-            const result = _.at(3)([1, 20, 300])
-            if (result !== null) { throw result }
-        }
-    ],
-    first: [
-        () => {
-            const result = _.first([1, 20, 300])
-            if (result !== 1) { throw result }
-        },
-        () => {
-            const result = _.first([])
-            if (result !== null) { throw result }
-        }
-    ],
-    last: [
-        () => {
-            const result = _.last([1, 20, 300])
-            if (result !== 300) { throw result }
-        },
-        () => {
-            const result = _.last([])
-            if (result !== null) { throw result }
-        }
-    ],
-    head: [
-        () => {
-            const result = _.head([1, 20, 300])
-            if (result === null) { throw result }
-            const str = stringify(result)
-            if (str !== '[1,20]') { throw str }
-        },
-        () => {
-            const result = _.head([])
-            if (result !== null) { throw result }
-        }
-    ],
-    tail: [
-        () => {
-            const result = _.tail([1, 20, 300])
-            const str = stringify(result)
-            if (str !== '[20,300]') { throw str }
-        },
-        () => {
-            const result = _.tail([])
-            if (result !== null) { throw result }
-        }
-    ],
-
-    splitFirst: [
-        () => {
-            const result = _.splitFirst([1, 20, 300])
-            const str = stringify(result)
-            if (str !== '[1,[20,300]]') { throw str }
-        },
-        () => {
-            const result = _.splitFirst([])
-            if (result !== null) { throw result }
-        },
-        () => {
-            const result = _.splitLast([1, 20, 300])
-            const str = stringify(result)
-            if (str !== '[[1,20],300]') { throw str }
-        },
-        () => {
-            const result = _.splitLast([])
-            if (result !== null) { throw result }
-        }
-    ]
-}

package/types/bigfloat/module.f.ts

@@ -1,93 +0,0 @@
-import * as bi from '../bigint/module.f.ts'
-const { abs, sign } = bi
-
-export type BigFloat = readonly[bigint,number]
-
-type BigFloatWithRemainder = readonly[BigFloat,bigint]
-
-const twoPow53 = 0b0010_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n
-const twoPow54 = 0b0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n
-
-const increaseMantissa
-    : (value: BigFloat) => (min: bigint) => BigFloat
-    = ([m, e]) => min => {
-    if (m === 0n) {
-        return [m, e]
-    }
-    const s = sign(m)
-    m = abs(m)
-    while (true) {
-        if (m >= min) {
-            return [BigInt(s) * m, e]
-        }
-        m = m << 1n
-        e--
-    }
-}
-
-const decreaseMantissa
-    : (value: BigFloat) => (max: bigint) => BigFloat
-    = ([m, e]) => max => {
-    if (m === 0n) {
-        return [m, e]
-    }
-    const s = sign(m)
-    m = abs(m)
-    while (true) {
-        if (m < max) {
-            return [BigInt(s) * m, e]
-        }
-        m = m >> 1n
-        e++
-    }
-}
-
-const pow
-    : (base: bigint) => (exp: number) => bigint
-    = base => exp => base ** BigInt(exp)
-
-const pow5 = pow(5n)
-
-export const multiply
-    : (b: BigFloat) => (mul: bigint) => BigFloat
-    = ([m, e]) => mul => [m * mul, e]
-
-const divide
-    : (b: BigFloat) => (div: bigint) => BigFloatWithRemainder
-    = ([m, e]) => div => [[m / div, e], m % div]
-
-const round53
-    : (b: BigFloatWithRemainder) => BigFloat
-    = ([[m, e], r]) => {
-    const mabs = abs(m)
-    const s = BigInt(sign(m))
-    const [m54, e54] = decreaseMantissa([mabs, e])(twoPow54)
-    const o54 = m54 & 1n
-    const m53 = m54 >> 1n
-    const e53 = e54 + 1
-    if (o54 === 1n && r === 0n && mabs === m54 >> BigInt(e - e54)) {
-        const odd = m53 & 1n
-        return multiply([m53 + odd, e53])(s)
-    }
-    return multiply([m53 + o54, e53])(s)
-}
-
-export const decToBin
-    : (dec: BigFloat) => BigFloat
-    = dec => {
-    if (dec[0] === 0n) {
-        return [0n, 0]
-    }
-    if (dec[1] >= 0) {
-        const bin: BigFloat = [dec[0] * pow5(dec[1]), dec[1]]
-        const inc = increaseMantissa(bin)(twoPow53)
-        return round53([inc, 0n])
-    }
-    const p = pow5(-dec[1])
-    const [m, e] = increaseMantissa(dec)(p * twoPow53)
-    const mAbs = abs(m)
-    const s = BigInt(sign(m))
-    const qr = divide([mAbs, e])(p)
-    const r53 = round53(qr)
-    return multiply(r53)(s)
-}

package/types/bigfloat/test.f.ts

@@ -1,218 +0,0 @@
-import * as _ from './module.f.ts'
-const { decToBin } = _
-
-export default {
-    decToBin: [
-        () => {
-            const result = decToBin([0n, 0])
-            if (result[0] !== 0b0_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 0) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0n, 10])
-            if (result[0] !== 0b0_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 0) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0n, -10])
-            if (result[0] !== 0b0_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 0) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([1n, 0])
-            if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== -52) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([1n, 1])
-            if (result[0] !== 0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== -49) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([1000n, -2])
-            if (result[0] !== 0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== -49) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([1n, -1])
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) } //+1
-            if (result[1] !== -56) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-1n, 0])
-            if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== -52) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-1n, 1])
-            if (result[0] !== -0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== -49) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-1000n, -2])
-            if (result[0] !== -0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== -49) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-1n, -1])
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) } //+1
-            if (result[1] !== -56) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, 0]) //54bits (...0.1)
-            if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 1) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011n, 0]) //54bits (...1.1)
-            if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n) { throw result[0].toString(2) }
-            if (result[1] !== 1) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, 0]) //54bits (...0.1)
-            if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 1) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011n, 0]) //54bits (...1.1)
-            if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n) { throw result[0].toString(2) }
-            if (result[1] !== 1) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, 0]) //55bits (...0.01)
-            if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n, 0]) //55bits (...0.10)
-            if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0110n, 0]) //55bits (...1.10)
-            if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011n, 0]) //55bits (0.11)
-            if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-    ],
-    roundingPositive: [
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, -1])
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011001.101
-            // rounding up
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001_0000n, -1])
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011010.000
-            // rounding down
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0100n, -1])
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011010.100
-            // rounding down (to even)
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0101n, -1])
-            // reminder = 1
-            // m = 11001100110011001100110011001100110011001100110011010.100
-            // rounding up
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_1001n, -1])
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011010.101
-            // rounding up
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011_1101n, -1])
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011011.001
-            // rounding down
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0100_1100n, -1])
-            // reminder = 0
-            // m = 11001100110011001100110011001100110011001100110011011.100
-            // rounding up (to even)
-            if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1100n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        }
-    ],
-    roundingNegative: [
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, -1])
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011001.101
-            // rounding down
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001_0000n, -1])
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011010.000
-            // rounding up
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0100n, -1])
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011010.100
-            // rounding up (to even)
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0101n, -1])
-            // reminder = 1
-            // m = -11001100110011001100110011001100110011001100110011010.100
-            // rounding down
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_1001n, -1])
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011010.101
-            // rounding down
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011_1101n, -1])
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011011.001
-            // rounding up
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        },
-        () => {
-            const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0100_1100n, -1])
-            // reminder = 0
-            // m = -11001100110011001100110011001100110011001100110011011.100
-            // rounding down (to even)
-            if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1100n) { throw result[0].toString(2) }
-            if (result[1] !== 2) { throw result[1] }
-        }
-    ]
-}

package/types/bigint/README.md

@@ -1,35 +0,0 @@
-# BigInt
-
-Bun has a `bigint` size limitation. It's `1_048_575` bits (`1024 ** 2`) or `131_072` Bytes.
-
-## Benchmarks
-
-### log2 versus toString (2024/11/25)
-
-|Framework|log2(x)           |x.toString(2).length|
-|---------|------------------|--------------------|
-|Bun      |1.781681          |2.079615            |
-|Deno 1   |0.710344          |1.917003            |
-|Deno 2   |0.986602          |2.286932            |
-|Node 16  |1.521150          |2.330505            |
-|Node 18  |1.393006          |2.312573            |
-|Node 20  |1.055315          |2.320039            |
-|Node 22  |0.983075          |2.336697            |
-|Node 23  |0.699960          |1.872965            |
-
-`log2` wins.
-
-### Minus versus Not
-
-|Framework|minus `-`         |not `~`           |
-|---------|------------------|------------------|
-|Bun      |86.269967         | 80.372970        |
-|Deno 1   |18.754810         | 59.498217        |
-|Deno 2   |17.262486         | 57.157273        |
-|Node 16  |70.350582         |121.023162        |
-|Node 18  |61.039463         | 99.369215        |
-|Node 20  |16.908695         | 63.335552        |
-|Node 22  |19.546644         | 59.034978        |
-|Node 23  |18.246697         | 58.825815        |
-
-`-` wins.

package/types/bigint/test.f.ts

@@ -1,144 +0,0 @@
-import * as _ from './module.f.ts'
-const { sum, abs, serialize, log2, bitLength } = _
-
-export default {
-    sum: () => {
-        const result = sum([2n, 3n, 4n, 5n])
-        if (result !== 14n) { throw result }
-    },
-    abs: [
-        () => {
-            const result = abs(10n)
-            if (result !== 10n) { throw result }
-        },
-        () => {
-            const result = abs(-10n)
-            if (result !== 10n) { throw result }
-        }
-    ],
-    serialize: [
-        () => {
-            const result = serialize(0n)
-            if (result !== '0n') { throw result }
-        },
-        () => {
-            const result = serialize(123456789012345678901234567890n)
-            if (result !== '123456789012345678901234567890n') { throw result }
-        },
-        () => {
-            const result = serialize(-55555n)
-            if (result !== '-55555n') { throw result }
-        },
-    ],
-    log2: [
-        () => {
-            const result = log2(-3n)
-            if (result !== -1n) { throw result }
-        },
-        () => {
-            const result = log2(0n)
-            if (result !== -1n) { throw result }
-        },
-        () => {
-            const result = log2(1n)
-            if (result !== 0n) { throw result }
-        },
-        () => {
-            const result = log2(2n)
-            if (result !== 1n) { throw result }
-        },
-        () => {
-            const result = log2(3n)
-            if (result !== 1n) { throw result }
-        },
-        () => {
-            const result = log2(4n)
-            if (result !== 2n) { throw result }
-        },
-        () => {
-            const result = log2(7n)
-            if (result !== 2n) { throw result }
-        },
-        () => {
-            const result = log2(8n)
-            if (result !== 3n) { throw result }
-        },
-        () => {
-            const result = log2(15n)
-            if (result !== 3n) { throw result }
-        },
-        () => {
-            const result = log2(16n)
-            if (result !== 4n) { throw result }
-        },
-        () => {
-            // max for Bun (131_072 Bytes)
-            const v = 1_048_575n
-            const result = log2(1n << v)
-            if (result !== v) { throw result }
-        },
-        () => {
-            const v = 0x18945n
-            const result = log2(v)
-            if (result !== 16n) { throw result }
-        }
-    ],
-    toString2: () => {
-        // max for Bun (131_072 Bytes)
-        const v = 1_048_575n
-        const result = (1n << v).toString(2).length - 1
-        if (result !== 1_048_575) { throw result }
-    },
-    minus: () => {
-        let i = 0n
-        while (i < 1_048_575n) {
-            const s = -i
-            if (i !== -s) { throw [i, s] }
-            i += 1n
-        }
-    },
-    not: () => {
-        let i = 0n
-        while (i < 1_048_575n) {
-            const s = ~i
-            if (i !== ~s) { throw [i, s] }
-            i += 1n
-        }
-    },
-    bitLen: {
-        0: () => {
-            const s = bitLength(0n)
-            if (s !== 0n) { throw s }
-        },
-        m: () => {
-            let i = 0n
-            while (i < 10_000n) {
-                const s = bitLength(1n << i)
-                if (s !== i + 1n) { throw [s, i] }
-                i += 1n
-            }
-        },
-        big: () => {
-            const s = bitLength(1n << 1_000_000n)
-            if (s !== 1_000_001n) { throw s }
-        },
-        neg: [
-            () => {
-                const s = bitLength(-1n)
-                if (s !== 1n) { throw s }
-            },
-            () => {
-                const s = bitLength(-2n)
-                if (s !== 2n) { throw s }
-            },
-            () => {
-                const s = bitLength(-3n)
-                if (s !== 2n) { throw s }
-            },
-            () => {
-                const s = bitLength(-4n)
-                if (s !== 3n) { throw s }
-            },
-        ]
-    }
-}

package/types/bit_vec/README.md

@@ -1,18 +0,0 @@
-# Vector of Bits
-
-A **vector of bits** is represented as a `bigint`. The value is always positive, and an **empty vector** is denoted by `1n`.
-
-## Key Characteristics
-
-- The **most significant bit** with a value of `1` is called the **`stop bit`**.
-- The **`stop bit`** marks the boundary of the vector.
-- The **`length`** of a vector represents the number of meaningful bits (excluding the **`stop bit`**).
-- An **empty vector** is represented by `1n`, with the implicit **`stop bit`** as the only bit.
-
-## Example
-
-| Vector        | Binary Representation | `length` | Vector Items |
-|---------------|-----------------------|----------|--------------|
-| `0b1001n`     | `0b1001n`             | 3        | `001`        |
-| `0x1FF`       | `0b111111111`         | 8        | `11111111`   |
-| `1n` (empty)  | `0b1`                 | 0        | (none)       |