intrinsic.ts

import { FileConstructor } from "@ark/util"
import { node, schemaScope } from "./scope.ts"
import { $ark } from "./shared/registry.ts"
import { arrayIndexSource } from "./structure/shared.ts"

const intrinsicBases = schemaScope(
	{
		bigint: "bigint",
		// since we know this won't be reduced, it can be safely cast to a union
		boolean: [{ unit: false }, { unit: true }],
		false: { unit: false },
		never: [],
		null: { unit: null },
		number: "number",
		object: "object",
		string: "string",
		symbol: "symbol",
		true: { unit: true },
		unknown: {},
		undefined: { unit: undefined },
		Array,
		Date,
		File: FileConstructor
	},
	{ prereducedAliases: true }
).export()

$ark.intrinsic = { ...intrinsicBases } as never

const intrinsicRoots = schemaScope(
	{
		integer: {
			domain: "number",
			divisor: 1
		},
		lengthBoundable: ["string", Array],
		key: ["string", "symbol"],
		nonNegativeIntegerString: { domain: "string", pattern: arrayIndexSource }
	},
	{ prereducedAliases: true }
).export()

// needed to parse index signatures for JSON
Object.assign($ark.intrinsic, intrinsicRoots)

const intrinsicJson = schemaScope(
	{
		jsonPrimitive: [
			"string",
			"number",
			{ unit: true },
			{ unit: false },
			{ unit: null }
		],
		jsonObject: {
			domain: "object",
			index: {
				signature: "string",
				value: "$jsonData"
			}
		},
		jsonData: ["$jsonPrimitive", "$jsonObject"]
	},
	{ prereducedAliases: true }
).export()

export const intrinsic = {
	...intrinsicBases,
	...intrinsicRoots,
	...intrinsicJson,
	emptyStructure: node("structure", {}, { prereduced: true })
}

$ark.intrinsic = { ...intrinsic } as never