@mirascript/mirascript 0.1.13 → 0.1.15

package/src/vm/types/index.ts

@@ -1,39 +1,8 @@
-import { isArray } from '../../helpers/utils.js';
-import { isVmExtern, VmExtern } from './extern.js';
-import { isVmFunction, VmFunction } from './function.js';
-import { VmModule, isVmModule } from './module.js';
-import { isVmWrapper } from './wrapper.js';
-
-/** Mirascript 原始值 */
-export type VmPrimitive = null | string | number | boolean;
-/**
- * Mirascript 记录
- * 仅拥有且可枚举的字符串键视作存在
- * 字段值 `undefined` 和 `null` 均视作 `nil`
- */
-export type VmRecord = {
-    readonly [key: string]: VmConst | undefined;
-};
-/**
- * Mirascript 数组
- * 数组中的 `undefined`、`null` 及 <empty slot> 均视作 `nil`
- */
-export type VmArray = ReadonlyArray<VmConst | undefined>;
-
-/** Mirascript 虚拟机内的值语义值 */
-export type VmConst = VmPrimitive | VmRecord | VmArray;
-
-/** Mirascript 虚拟机内的不可变值 */
-export type VmImmutable = VmConst | VmFunction | VmModule;
-
-/** Mirascript 虚拟机内的合法值 */
-export type VmValue = VmImmutable | VmExtern;
-
-/** Mirascript 虚拟机内的未初始化变量 */
-export type VmUninitialized = undefined;
-
-/** Mirascript 虚拟机内的值（包括未初始化变量） */
-export type VmAny = VmValue | VmUninitialized;
+import type { VmArray } from './array.js';
+import type { VmExtern } from './extern.js';
+import type { VmFunction } from './function.js';
+import type { VmModule } from './module.js';
+import type { VmRecord } from './record.js';
 
 /** 类型名称 */
 export type TypeName = keyof VmValueMap;
@@ -60,53 +29,32 @@ export interface VmValueMap {
     module: VmModule;
 }
 
-/**
- * 检查值是否为 Mirascript 数组
- */
-export function isVmArray(value: VmAny): value is VmArray {
-    if (!isArray(value)) return false;
-    value as VmArray satisfies VmArray;
-    return true;
-}
-
-/**
- * 检查值是否为 Mirascript 记录
- */
-export function isVmRecord(value: VmAny): value is VmRecord {
-    if (value == null || typeof value !== 'object') return false;
-    if (isVmWrapper(value)) return false;
-    if (isVmArray(value)) return false;
-    value satisfies VmRecord;
-    return true;
-}
-
-/**
- * 检查值是否为 Mirascript 原始值
- */
-export function isVmPrimitive(value: unknown): value is VmPrimitive {
-    if (value === null || typeof value == 'number' || typeof value == 'string' || typeof value == 'boolean') {
-        value as VmPrimitive satisfies typeof value;
-        value satisfies VmPrimitive;
-        return true;
-    }
-    return false;
-}
-
-export { VmFunction, isVmFunction, VmExtern, isVmExtern, VmModule, isVmModule, isVmWrapper };
 export { wrapToVmValue, unwrapFromVmValue, toVmFunctionProxy, fromVmFunctionProxy } from './boundary.js';
-
-/** 检查值是否为 Mirascript 可调用值 */
-// eslint-disable-next-line @typescript-eslint/no-unsafe-function-type
-export function isVmCallable(value: unknown): value is VmFunction | VmExtern<Function> {
-    return isVmFunction(value) || (isVmExtern(value) && typeof value.value == 'function');
-}
-
-export { getVmFunctionInfo, type VmFunctionInfo, type VmFunctionLike, type VmFunctionOption } from './function.js';
-
 export { type VmContext, type VmSharedContext, isVmContext, defineVmContextValue, createVmContext } from './context.js';
-
 export { type VmScript, isVmScript } from './script.js';
-
-export { isVmAny, isVmConst, isVmImmutable, isVmValue } from './checker.js';
-
-export const VM_ARRAY_MAX_LENGTH = 2 ** 31 - 1;
+export { isVmCallable } from './callable.js';
+
+export { type VmArray, VM_ARRAY_MAX_LENGTH, isVmArray } from './array.js';
+export {
+    type VmRecord,
+    isVmRecord,
+    isVmArrayLikeRecord,
+    isVmArrayLikeRecordByEntires,
+    isVmArrayLikeRecordByKeys,
+} from './record.js';
+export { type VmPrimitive, isVmPrimitive } from './primitive.js';
+export { type VmConst, isVmConst } from './const.js';
+export { type VmImmutable, isVmImmutable } from './immutable.js';
+export { VmExtern, isVmExtern } from './extern.js';
+export {
+    VmFunction,
+    isVmFunction,
+    getVmFunctionInfo,
+    type VmFunctionInfo,
+    type VmFunctionLike,
+    type VmFunctionOption,
+} from './function.js';
+export { VmModule, isVmModule } from './module.js';
+export { isVmWrapper } from './wrapper.js';
+export { type VmValue, isVmValue } from './value.js';
+export { type VmAny, type VmUninitialized, isVmAny } from './any.js';

package/src/vm/types/primitive.ts

@@ -0,0 +1,14 @@
+/** Mirascript 原始值 */
+export type VmPrimitive = null | number | string | boolean;
+
+/**
+ * 检查值是否为 Mirascript 原始值
+ */
+export function isVmPrimitive(value: unknown): value is VmPrimitive {
+    if (value === null || typeof value == 'number' || typeof value == 'string' || typeof value == 'boolean') {
+        value as VmPrimitive satisfies typeof value;
+        value satisfies VmPrimitive;
+        return true;
+    }
+    return false;
+}

package/src/vm/types/record.ts

@@ -0,0 +1,53 @@
+import { keys } from '../../helpers/utils.js';
+import { isVmArray, VM_ARRAY_MAX_LENGTH } from './array.js';
+import { isVmWrapper, type VmAny, type VmConst } from './index.js';
+
+/**
+ * Mirascript 记录
+ * 仅拥有且可枚举的字符串键视作存在
+ * 字段值 `undefined` 和 `null` 均视作 `nil`
+ */
+// eslint-disable-next-line @typescript-eslint/consistent-indexed-object-style
+export type VmRecord = {
+    readonly [key: string]: VmConst | undefined;
+};
+
+/**
+ * 检查值是否为 Mirascript 记录
+ */
+export function isVmRecord(value: VmAny): value is VmRecord {
+    if (value == null || typeof value !== 'object') return false;
+    if (isVmWrapper(value)) return false;
+    if (isVmArray(value)) return false;
+    value satisfies VmRecord;
+    return true;
+}
+
+/** 检查是否为仅包含从 0 开始的连续数字键的 MiraScript 记录 */
+export function isVmArrayLikeRecordByEntires(entries: ReadonlyArray<readonly [string, unknown]>): boolean {
+    const { length } = entries;
+    if (length === 0) return true;
+    if (length > VM_ARRAY_MAX_LENGTH) return false;
+    const firstKey = entries[0]![0];
+    if (firstKey !== '0') return false;
+    const lastKey = entries[length - 1]![0];
+    if (lastKey !== String(length - 1)) return false;
+    return true;
+}
+
+/** 检查是否为仅包含从 0 开始的连续数字键的 MiraScript 记录 */
+export function isVmArrayLikeRecordByKeys(keys: readonly string[]): boolean {
+    const { length } = keys;
+    if (length === 0) return true;
+    if (length > VM_ARRAY_MAX_LENGTH) return false;
+    const firstKey = keys[0]!;
+    if (firstKey !== '0') return false;
+    const lastKey = keys[length - 1]!;
+    if (lastKey !== String(length - 1)) return false;
+    return true;
+}
+
+/** 检查是否为仅包含从 0 开始的连续数字键的 MiraScript 记录 */
+export function isVmArrayLikeRecord(value: VmRecord): boolean {
+    return isVmArrayLikeRecordByKeys(keys(value));
+}

package/src/vm/types/value.ts

@@ -0,0 +1,22 @@
+import { isVmAny, type VmAny } from './any.js';
+import type { VmExtern } from './extern.js';
+import type { VmImmutable } from './immutable.js';
+
+/** Mirascript 虚拟机内的合法值 */
+export type VmValue = VmImmutable | VmExtern;
+
+/**
+ * 检查是否为 Mirascript 合法值
+ */
+export function isVmValue(value: VmAny): value is VmValue;
+/**
+ * 检查是否为 Mirascript 合法值
+ */
+export function isVmValue(value: unknown, checkDeep: boolean): value is VmValue;
+/**
+ * 检查是否为 Mirascript 合法值
+ */
+export function isVmValue(value: unknown, checkDeep = false): value is VmValue {
+    if (value === undefined) return false;
+    return isVmAny(value, checkDeep);
+}

package/src/vm/types/wrapper.ts

@@ -22,7 +22,7 @@ export abstract class VmWrapper<T extends object> {
         return undefined;
     }
     /** 转为字符串 */
-    toString(): string {
+    toString(useBraces: boolean): string {
         const { type, describe } = this;
         if (!describe) return `<${type}>`;
         return `<${type} ${describe}>`;