ultimabase 0.0.0-stage → 0.1.0

package/dist/define-function.js

@@ -0,0 +1,111 @@
+// `defineFunction` and `defineType` (D-27, D-109): a server operation, its
+// access rule checked and its input validated on each `run` (D-75), and the
+// named objects its output may hold.
+import { refused } from './access.js';
+import { describedBy, functionDefinitions, nameOf, nullable, outputOf, typeDefinitions, withOnce, } from './definition.js';
+import { entriesOf } from './plugin-use.js';
+import { callerOf } from './engine.js';
+import { PublicError, Refused } from './errors.js';
+import { isObject } from './query-where.js';
+import { isMaster } from './rules.js';
+import { current } from './running.js';
+import { checked, standardOf } from './validation.js';
+export function defineType(definition) {
+    const { fields } = definition;
+    const name = nameOf(definition.name, 'defineType');
+    const description = describedBy(definition.description, name);
+    if (!isObject(fields) || Object.keys(fields).length === 0) {
+        throw new Refused(`${name}: fields is an object of one output or more.`);
+    }
+    const outputs = new Map();
+    for (const [field, value] of Object.entries(fields)) {
+        outputs.set(field, outputOf(value, `${name}.${field}`));
+    }
+    const recorded = { name, description, fields: outputs };
+    const type = Object.freeze({
+        name,
+        nullable: () => nullable({ kind: 'type', type: recorded }),
+    });
+    typeDefinitions.set(type, recorded);
+    // oxlint-disable-next-line typescript/no-unsafe-type-assertion -- the value holds the name and `nullable`; its fields are a type only.
+    return type;
+}
+/** Closed to all but Master by default (D-04); the rule reads the caller. */
+function allowed(record, caller, app) {
+    if (isMaster(caller))
+        return;
+    const rule = isObject(record.rules) ? record.rules['access'] : undefined;
+    if (rule !== undefined && typeof rule !== 'function') {
+        throw new TypeError(`${record.name}: access is a function.`);
+    }
+    const result = rule === undefined ? false : Reflect.apply(rule, undefined, [{ caller }]);
+    if (typeof result !== 'boolean') {
+        throw new TypeError(`${record.name}: access returns a boolean.`);
+    }
+    if (result)
+        return;
+    const { name } = record;
+    throw refused({ function: name }, `${name} refused.`, caller, app.logger);
+}
+/** `run`'s call, the input first when the function takes one; a transport
+ * passes its client (D-113). */
+export async function called(value, record, args, client) {
+    const app = current();
+    if (app?.functions.get(value) !== record) {
+        throw new Error(`${record.name} is not a function of a started application.`);
+    }
+    const { input: schema, name } = record;
+    const [input, options] = schema === undefined ? [undefined, args[0]] : [args[0], args[1]];
+    const identity = callerOf(options, name);
+    return app.work.run(async () => {
+        const caller = await app.complete(identity);
+        allowed(record, caller, app);
+        const facts = { caller, client };
+        const standard = standardOf(schema);
+        if (standard !== undefined) {
+            const result = await checked(standard, input, [], name);
+            if ('issues' in result) {
+                throw new PublicError('VALIDATION_FAILED', 'Invalid input.', {
+                    details: { issues: result.issues },
+                });
+            }
+            facts['input'] = result.value;
+        }
+        const output = await Reflect.apply(record.run, undefined, [
+            Object.freeze(facts),
+        ]);
+        return record.output === undefined ? undefined : output;
+    });
+}
+export function defineFunction(definition) {
+    const { query = false, input, output, run } = definition;
+    const name = nameOf(definition.name, 'defineFunction');
+    const description = describedBy(definition.description, name);
+    if (typeof query !== 'boolean')
+        throw new Refused(`${name}: query is a boolean.`);
+    if (input !== undefined && standardOf(input) === undefined) {
+        throw new Refused(`${name}: input is a Standard Schema.`);
+    }
+    if (typeof run !== 'function')
+        throw new Refused(`${name}: run is a function.`);
+    const record = {
+        name,
+        description,
+        query,
+        input,
+        output: output === undefined ? undefined : outputOf(output, `${name}.output`),
+        uses: entriesOf(name, definition.use ?? []),
+        run,
+        rules: undefined,
+    };
+    const fn = Object.freeze({
+        name,
+        input,
+        output,
+        with: withOnce(name, record, () => fn),
+        run: async (...args) => called(fn, record, args),
+    });
+    functionDefinitions.set(fn, record);
+    // oxlint-disable-next-line typescript/no-unsafe-type-assertion -- the value ServerFunction describes; its types follow the definition.
+    return fn;
+}

package/dist/define-model.d.ts

@@ -0,0 +1,48 @@
+import type { FieldBuilders } from './fields.ts';
+import type { FieldShape, IndexCheck, IndexShape, Model, RecordCheck, UniqueIndexFields } from './model.ts';
+import type { ForModel, ModelUse, PluginTypes } from './plugin.ts';
+type CommandFn<U, F> = U extends ModelUse<string, infer T> ? T extends {
+    readonly commands: object;
+} ? (value: ForModel<T, F>['commands']) => void : never : never;
+type Commands<U, F> = [CommandFn<U, F>] extends [never] ? unknown : CommandFn<U, F> extends (value: infer I) => void ? I : unknown;
+/** Each used plugin's key of `.with`, typed by the model's fields. */
+type WithKeys<U, F> = {
+    readonly [V in U as V extends ModelUse<infer P, infer T> ? T extends {
+        readonly with: object | false;
+    } ? P : never : never]?: V extends ModelUse<string, infer T extends {
+        readonly with: object | false;
+    }> ? ForModel<T, F>['with'] : never;
+};
+/** The types of the plugins in a model's `use`. */
+type UsedTypes<U> = U extends ModelUse<string, infer T> ? T : never;
+type AddFn<U> = U extends ModelUse<string, infer T> ? T extends {
+    readonly addedFields: infer A;
+} ? (value: A) => void : never : never;
+type Added<U> = [AddFn<U>] extends [never] ? unknown : AddFn<U> extends (value: infer I) => void ? I : unknown;
+type AllFields<F, U> = [Added<U>] extends [unknown] ? unknown extends Added<U> ? F : F & Added<U> : F & Added<U>;
+/** A model's fields, as `fields` returns them. */
+export type FieldShapes = {
+    readonly [field: string]: FieldShape;
+};
+/** The `fields` callback: its builders know the plugins of `use` (D-12, D-57). */
+export type ModelFields<F, U extends readonly ModelUse<string, PluginTypes>[]> = (fields: FieldBuilders<UsedTypes<U[number]>>) => F & NoInfer<RecordCheck<F>>;
+/**
+ * The model a declaration with these fields and plugins builds; a plugin's
+ * `define<Kind>` returns it with its own entry in `U` (D-13).
+ */
+export type ModelOf<N extends string, F, U extends readonly ModelUse<string, PluginTypes>[], X extends readonly IndexShape[] = []> = Model<N, AllFields<F, U[number]>, U[number]['plugin'], WithKeys<U[number], AllFields<F, U[number]>>, UniqueIndexFields<X>> & Commands<U[number], AllFields<F, U[number]>>;
+/** `indexes`, whose fields are checked against the model's (D-52). */
+export type ModelIndexes<X, F, U extends readonly ModelUse<string, PluginTypes>[]> = X & NoInfer<IndexCheck<X, AllFields<F, U[number]>>>;
+export declare function defineModel<const N extends string, const F extends FieldShapes, const U extends readonly ModelUse<string, PluginTypes>[] = [], const X extends readonly IndexShape[] = []>(definition: {
+    readonly name: N;
+    /** What the model means, which the transports show (D-150). */
+    readonly description?: string;
+    /** The stored table's or collection's name (D-63). */
+    readonly dbName?: string;
+    readonly use?: U;
+    /** The only form (D-12). */
+    readonly fields: ModelFields<F, U>;
+    readonly indexes?: ModelIndexes<X, F, U>;
+}): ModelOf<N, F, U, X>;
+export {};
+//# sourceMappingURL=define-model.d.ts.map

package/dist/define-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"define-model.d.ts","sourceRoot":"","sources":["../src/define-model.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,KAAK,EACX,UAAU,EACV,UAAU,EACV,UAAU,EACV,KAAK,EACL,WAAW,EACX,iBAAiB,EACjB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAIlE,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IAClB,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAChC,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACtC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,GAC3C,KAAK,GACN,KAAK,CAAA;AACT,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACpD,OAAO,GACP,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,GAC/C,CAAC,GACD,OAAO,CAAA;AAEX,sEAAsE;AACtE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI;IACrB,QAAQ,EACP,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC3C,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE,GAC1C,CAAC,GACD,KAAK,GACN,KAAK,CACR,CAAC,EAAE,CAAC,SAAS,QAAQ,CACrB,MAAM,EACN,MAAM,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE,CACjD,GACE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GACtB,KAAK;CACR,CAAA;AAED,mDAAmD;AACnD,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAGnE,KAAK,KAAK,CAAC,CAAC,IACX,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAChC,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1C,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAClB,KAAK,GACN,KAAK,CAAA;AACT,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,OAAO,GACP,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,GACxC,CAAC,GACD,OAAO,CAAA;AACX,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAChD,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,GACvB,CAAC,GACD,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GACb,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AAEf,kDAAkD;AAClD,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAAA;CAAE,CAAA;AAElE,kFAAkF;AAClF,MAAM,MAAM,WAAW,CACtB,CAAC,EACD,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,IAC/C,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAEhF;;;GAGG;AACH,MAAM,MAAM,OAAO,CAClB,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,EAClD,CAAC,SAAS,SAAS,UAAU,EAAE,GAAG,EAAE,IACjC,KAAK,CACR,CAAC,EACD,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EACvB,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EACnB,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAC5C,iBAAiB,CAAC,CAAC,CAAC,CACpB,GACA,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAE7C,sEAAsE;AACtE,MAAM,MAAM,YAAY,CACvB,CAAC,EACD,CAAC,EACD,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,IAC/C,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvD,wBAAgB,WAAW,CAC1B,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,WAAW,EAC3B,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,EAC7D,KAAK,CAAC,CAAC,SAAS,SAAS,UAAU,EAAE,GAAG,EAAE,EACzC,UAAU,EAAE;IACb,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,sDAAsD;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAChB,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACxC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAWtB"}

package/dist/define-model.js

@@ -0,0 +1,85 @@
+// `defineModel` (D-07, D-12): the fields its callback and its plugins build,
+// recorded for `start`, and the model value whose methods run the queries
+// (D-18) and its plugins' commands (D-89).
+import { describedBy, fieldBuilders, modelDefinitions, nameOf, nullable, withOnce, } from './definition.js';
+import { query } from './engine.js';
+import { addFields, usedBy } from './plugin-use.js';
+import { Refused } from './errors.js';
+export function defineModel(definition) {
+    const model = createModel({
+        name: definition.name,
+        description: definition.description,
+        dbName: definition.dbName,
+        use: definition.use ?? [],
+        fields: definition.fields,
+        indexes: definition.indexes ?? [],
+    });
+    // oxlint-disable-next-line typescript/no-unsafe-type-assertion -- createModel builds the value ModelOf describes; the types follow the definition.
+    return model;
+}
+const operations = [
+    'findMany',
+    'findFirst',
+    'findUnique',
+    'findFirstOrThrow',
+    'findUniqueOrThrow',
+    'count',
+    'aggregate',
+    'groupBy',
+    'create',
+    'update',
+    'upsert',
+    'delete',
+    'updateMany',
+    'createMany',
+    'updateManyAndReturn',
+    'createManyAndReturn',
+    'deleteMany',
+];
+function createModel(definition) {
+    const { dbName } = definition;
+    const name = nameOf(definition.name, 'defineModel');
+    if (dbName !== undefined && typeof dbName !== 'string') {
+        throw new Refused(`${name}: dbName must be a string.`);
+    }
+    const description = describedBy(definition.description, name);
+    const built = Reflect.apply(definition.fields, undefined, [
+        fieldBuilders,
+    ]);
+    const fields = new Map();
+    addFields(name, built, fields, new Map());
+    const queries = {};
+    for (const operation of operations) {
+        queries[operation] = async (args, options) => query(name, operation, args, options);
+    }
+    Object.freeze(queries);
+    const { uses, commands, indexes } = usedBy(name, definition.use, fields, queries);
+    const record = {
+        name,
+        description,
+        dbName,
+        fields,
+        indexes: [
+            ...definition.indexes.map((index) => ({
+                fields: [...index.fields],
+                ...(index.unique === undefined ? {} : { unique: index.unique }),
+                ...(index.contains === undefined ? {} : { contains: index.contains }),
+            })),
+            // A plugin's, checked with the model's at startup (D-122).
+            ...indexes,
+        ],
+        uses,
+        queries,
+        rules: undefined,
+    };
+    const model = {
+        name,
+        ...queries,
+        ...Object.fromEntries(commands),
+    };
+    model['with'] = withOnce(name, record, () => frozen);
+    model['nullable'] = () => nullable({ kind: 'model', value: frozen, name });
+    const frozen = Object.freeze(model);
+    modelDefinitions.set(frozen, record);
+    return frozen;
+}

package/dist/definition.d.ts

@@ -0,0 +1,179 @@
+import type { ScalarType } from './adapter.ts';
+import type { Enum, StandardSchema } from './fields.ts';
+import type { Manifest, OutputForm } from './plugin.ts';
+import type { Standard } from './validation.ts';
+export type FieldOptions = {
+    readonly [option: string]: unknown;
+};
+/** What a plugin field type adds to its stored field (D-122). */
+export type Codec = {
+    readonly plugin: string;
+    /** The field type's own options this field took (D-152). */
+    readonly options: {
+        readonly [key: string]: unknown;
+    };
+    /** The stored value of the rows stored before the field (D-152). */
+    readonly filled?: unknown;
+    readonly decode: (stored: unknown) => unknown;
+    readonly encode: (value: unknown) => unknown;
+    readonly schema: Standard;
+    readonly toJSON: (value: unknown) => unknown;
+    /** What `toJSON` gives, as a Standard Schema (D-152). */
+    readonly shape?: StandardSchema;
+};
+/** A field as its builder recorded it. */
+export type FieldDefinition = {
+    readonly kind: 'scalar';
+    readonly type: ScalarType;
+    readonly values?: readonly string[];
+    /** The `defineEnum` its values are, if one (D-150). */
+    readonly enum?: Enum;
+    readonly options: FieldOptions;
+    readonly rules?: object;
+    /** A plugin field type's, whose `type` is the stored one (D-122). */
+    readonly codec?: Codec;
+} | {
+    readonly kind: 'one' | 'many';
+    readonly target: () => unknown;
+    readonly options: FieldOptions;
+    readonly rules?: object;
+} | {
+    /** Computed on read (D-151): its schema, or a thunk of its output. */
+    readonly kind: 'virtual';
+    readonly output: unknown;
+    readonly options: FieldOptions;
+    readonly rules?: object;
+};
+export type IndexDefinition = {
+    readonly fields: readonly string[];
+    readonly unique?: boolean;
+    /** A trigram index, for `contains` and `mode: 'insensitive'` (D-141). */
+    readonly contains?: true;
+};
+export type ModelDefinition = {
+    readonly name: string;
+    readonly description: string | undefined;
+    readonly dbName: string | undefined;
+    readonly fields: ReadonlyMap<string, FieldDefinition>;
+    readonly indexes: readonly IndexDefinition[];
+    /** The plugins of its `use`, in that order (D-89). */
+    readonly uses: readonly PluginUse[];
+    /** Its operations, which a field type's plugin is given (D-152). */
+    readonly queries: object;
+    /** What `.with` received, once (D-07). */
+    rules: object | undefined;
+};
+/** A plugin's code, as `definePlugin` checked it (D-57, D-89). */
+export type PluginCode = {
+    readonly name: string;
+    readonly manifest: Manifest;
+    readonly requires: readonly string[];
+    readonly optional: readonly string[];
+    readonly hooks: {
+        readonly [hook: string]: Function | undefined;
+    };
+    readonly redirect: Function | undefined;
+    readonly commands: Function | undefined;
+    readonly api: Function | undefined;
+    readonly addedFields: Function | undefined;
+    /** The indexes it adds to the models that use it (D-122). */
+    readonly addedIndexes: readonly IndexDefinition[];
+    readonly start: Function | undefined;
+    readonly stop: Function | undefined;
+    /** Who sends a request, if the plugin knows it (D-112). */
+    readonly identify: Function | undefined;
+    /** The keys it gives a user caller (D-121). */
+    readonly caller: Function | undefined;
+    /** Takes what each commit changed (D-154). */
+    readonly changed: Function | undefined;
+    readonly missed: Function | undefined;
+    /** Its own models, which no plugin is given (D-110). */
+    readonly models: readonly unknown[];
+    /** Builds its functions when the application starts (D-113). */
+    readonly functions: Function | undefined;
+    /** The APIs of the plugins it needs, read when used (D-89). */
+    readonly plugins: object;
+};
+/** A plugin's entry in `use`, or its value in `plugins`, with its options. */
+export type PluginRecord = {
+    readonly code: PluginCode;
+    readonly options: object;
+};
+/** A plugin in a model's `use`, and what its code gets of the model. */
+export type PluginUse = {
+    readonly code: PluginCode;
+    readonly model: {
+        readonly name: string;
+        readonly queries: object;
+        readonly options: object;
+        readonly plugins: object;
+    };
+};
+/** A model or a type, as an output holds it (D-109). */
+export type NamedOutput = {
+    readonly kind: 'model';
+    /** The `defineModel` value. */
+    readonly value: object;
+    readonly name: string;
+} | {
+    readonly kind: 'type';
+    readonly type: TypeDefinition;
+};
+/** A function's or a type's output, as the kernel reads it (D-109). */
+export type Output = {
+    readonly kind: 'schema';
+    readonly schema: StandardSchema;
+} | (NamedOutput & {
+    readonly form: OutputForm;
+});
+export type TypeDefinition = {
+    readonly name: string;
+    readonly description: string | undefined;
+    readonly fields: ReadonlyMap<string, Output>;
+};
+export type FunctionDefinition = {
+    readonly name: string;
+    readonly description: string | undefined;
+    readonly query: boolean;
+    readonly input: StandardSchema | undefined;
+    readonly output: Output | undefined;
+    /** The plugins of its `use` (D-27). */
+    readonly uses: readonly PluginRecord[];
+    readonly run: Function;
+    /** What `.with` received, once. */
+    rules: object | undefined;
+};
+export declare const fieldDefinitions: WeakMap<object, FieldDefinition>;
+export declare const modelDefinitions: WeakMap<object, ModelDefinition>;
+/** The application values `plugin()` returned. */
+export declare const pluginValues: WeakMap<object, PluginRecord>;
+/** The model entries `use()` returned. */
+export declare const pluginEntries: WeakMap<object, PluginRecord>;
+export declare const typeDefinitions: WeakMap<object, TypeDefinition>;
+export declare const functionDefinitions: WeakMap<object, FunctionDefinition>;
+/** What each `X.nullable()` returned stands for (D-109). */
+export declare const nullables: WeakMap<object, NamedOutput>;
+/** `X.nullable()`, for a model or a type. */
+export declare function nullable(named: NamedOutput): object;
+/** The name a `define*` call takes: a non-empty string. */
+export declare function nameOf(name: unknown, by: string): string;
+/** A `description` (D-150): a non-empty string, when given. */
+export declare function describedBy(description: unknown, of: string): string | undefined;
+/**
+ * The `.with` of a model or a function: its rules, in one call, read when
+ * they apply, so it returns the same value.
+ */
+export declare const withOnce: (name: string, record: {
+    rules: object | undefined;
+}, value: () => object) => (rules: unknown) => object;
+/** A field value, keyed by its definition; `.with` takes its rules once. */
+export declare function build(definition: FieldDefinition): object;
+/** The `defineEnum` values, which `enumOf` takes in place of a list. */
+export declare const sharedEnums: WeakMap<object, Enum>;
+/** An enum's values: strings, each once. */
+export declare function enumValues(values: unknown, of: string): readonly string[];
+/** The builders `defineModel`'s `fields` callback receives (D-09, D-12). */
+export declare const fieldBuilders: object;
+/** An output's value, read once at its definition (D-109). */
+export declare function outputOf(value: unknown, where: string): Output;
+//# sourceMappingURL=definition.d.ts.map

package/dist/definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAK/C,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CAAA;AAEjE,iEAAiE;AACjE,MAAM,MAAM,KAAK,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAA;IACrD,oEAAoE;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAA;IAC7C,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAA;IAC5C,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAA;IAC5C,yDAAyD;IACzD,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAA;CAC/B,CAAA;AAED,0CAA0C;AAC1C,MAAM,MAAM,eAAe,GACxB;IACA,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,uDAAuD;IACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CACrB,GACD;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,OAAO,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACtB,GACD;IACA,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACtB,CAAA;AAEJ,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACrD,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAA;IAC5C,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAA;IACnC,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,0CAA0C;IAC1C,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACzB,CAAA;AAED,kEAAkE;AAClE,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAA;KAAE,CAAA;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAA;IAClC,QAAQ,CAAC,WAAW,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC1C,6DAA6D;IAC7D,QAAQ,CAAC,YAAY,EAAE,SAAS,eAAe,EAAE,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAA;IACnC,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IACvC,+CAA+C;IAC/C,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAA;IACrC,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,SAAS,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAA;IACrC,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;IACnC,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,CAAA;IACxC,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,8EAA8E;AAC9E,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,wEAAwE;AACxE,MAAM,MAAM,SAAS,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KACxB,CAAA;CACD,CAAA;AAED,wDAAwD;AACxD,MAAM,MAAM,WAAW,GACpB;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACpB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,CAAA;AAE3D,uEAAuE;AACvE,MAAM,MAAM,MAAM,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAAE,GAC5D,CAAC,WAAW,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,CAAA;AAEhD,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC5C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,YAAY,EAAE,CAAA;IACtC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;IACtB,mCAAmC;IACnC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACzB,CAAA;AAED,eAAO,MAAM,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,CAAiB,CAAA;AAC/E,eAAO,MAAM,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,CAAiB,CAAA;AAC/E,kDAAkD;AAClD,eAAO,MAAM,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,CAAiB,CAAA;AACxE,0CAA0C;AAC1C,eAAO,MAAM,aAAa,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,CAAiB,CAAA;AACzE,eAAO,MAAM,eAAe,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,CAAiB,CAAA;AAC7E,eAAO,MAAM,mBAAmB,EAAE,OAAO,CAAC,MAAM,EAAE,kBAAkB,CACtD,CAAA;AACd,4DAA4D;AAC5D,eAAO,MAAM,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,CAAiB,CAAA;AAEpE,6CAA6C;AAC7C,wBAAgB,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAInD;AAED,2DAA2D;AAC3D,wBAAgB,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAKxD;AAED,+DAA+D;AAC/D,wBAAgB,WAAW,CAC1B,WAAW,EAAE,OAAO,EACpB,EAAE,EAAE,MAAM,GACR,MAAM,GAAG,SAAS,CAMpB;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,SACb,MAAM,UAAU;IAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,SAAS,MAAM,MAAM,aACjE,OAAO,KAAG,MAOjB,CAAA;AAEF,4EAA4E;AAC5E,wBAAgB,KAAK,CAAC,UAAU,EAAE,eAAe,GAAG,MAAM,CAYzD;AAkED,wEAAwE;AACxE,eAAO,MAAM,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAiB,CAAA;AAE/D,4CAA4C;AAC5C,wBAAgB,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAUzE;AAUD,4EAA4E;AAC5E,eAAO,MAAM,aAAa,EAAE,MAa1B,CAAA;AAUF,8DAA8D;AAC9D,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAa9D"}

package/dist/definition.js

@@ -0,0 +1,165 @@
+import { Refused } from './errors.js';
+import { isObject } from './query-where.js';
+import { standardOf } from './validation.js';
+export const fieldDefinitions = new WeakMap();
+export const modelDefinitions = new WeakMap();
+/** The application values `plugin()` returned. */
+export const pluginValues = new WeakMap();
+/** The model entries `use()` returned. */
+export const pluginEntries = new WeakMap();
+export const typeDefinitions = new WeakMap();
+export const functionDefinitions = new WeakMap();
+/** What each `X.nullable()` returned stands for (D-109). */
+export const nullables = new WeakMap();
+/** `X.nullable()`, for a model or a type. */
+export function nullable(named) {
+    const marker = Object.freeze({});
+    nullables.set(marker, named);
+    return marker;
+}
+/** The name a `define*` call takes: a non-empty string. */
+export function nameOf(name, by) {
+    if (typeof name !== 'string' || name === '') {
+        throw new Error(`${by} takes a name.`);
+    }
+    return name;
+}
+/** A `description` (D-150): a non-empty string, when given. */
+export function describedBy(description, of) {
+    if (description === undefined)
+        return undefined;
+    if (typeof description !== 'string' || description === '') {
+        throw new Error(`${of}: description is a non-empty string.`);
+    }
+    return description;
+}
+/**
+ * The `.with` of a model or a function: its rules, in one call, read when
+ * they apply, so it returns the same value.
+ */
+export const withOnce = (name, record, value) => (rules) => {
+    if (record.rules !== undefined) {
+        throw new Refused(`${name} takes its rules in one \`.with\`.`);
+    }
+    if (!isObject(rules))
+        throw new Refused(`${name}.with takes an object.`);
+    record.rules = rules;
+    return value();
+};
+/** A field value, keyed by its definition; `.with` takes its rules once. */
+export function build(definition) {
+    describedBy(definition.options['description'], 'A field');
+    const field = {
+        with: (rules) => {
+            if (definition.rules !== undefined) {
+                throw new Error('A field takes its rules in one `.with`.');
+            }
+            return build({ ...definition, rules });
+        },
+    };
+    fieldDefinitions.set(field, definition);
+    return field;
+}
+/** A field that `list: true` makes a list (D-120, D-127). */
+function listable(type, options = {}, values, shared) {
+    const list = options['list'] === true;
+    if (list) {
+        if (options['optional'] !== undefined) {
+            throw new Error('A list is never null: left out, it is []. Remove optional.');
+        }
+        if (options['unique'] !== undefined) {
+            throw new Error('A list cannot be unique.');
+        }
+    }
+    if (options['search'] !== undefined && (list || type !== 'string')) {
+        throw new Error('search takes a string field that is not a list.');
+    }
+    return build({
+        kind: 'scalar',
+        type,
+        ...(values === undefined ? {} : { values }),
+        ...(shared === undefined ? {} : { enum: shared }),
+        options,
+    });
+}
+/** A field no list holds yet (D-127). */
+const scalar = (type) => (options) => {
+    if (options?.['list'] !== undefined) {
+        throw new Error(`f.${type}() makes no list: a list holds strings, numbers or enum values.`);
+    }
+    return build({ kind: 'scalar', type, options: options ?? {} });
+};
+const whole = (value, most) => Number.isInteger(value) && Number(value) >= 0 && Number(value) <= most;
+/** Exact numbers of `precision` digits, `scale` after the point (D-145). */
+function decimal(options) {
+    const { precision, scale } = options ?? {};
+    if (!whole(precision, 1000) || precision === 0) {
+        throw new Error('f.decimal() takes a precision from 1 to 1000.');
+    }
+    if (!whole(scale, precision)) {
+        throw new Error(`f.decimal() takes a scale from 0 to its precision, ${precision}.`);
+    }
+    return scalar('decimal')(options);
+}
+const relation = (kind) => (target, options) => build({ kind, target, options: options ?? {} });
+/** The `defineEnum` values, which `enumOf` takes in place of a list. */
+export const sharedEnums = new WeakMap();
+/** An enum's values: strings, each once. */
+export function enumValues(values, of) {
+    const listed = Array.isArray(values) ? values : [];
+    const strings = listed.filter((value) => typeof value === 'string');
+    if (strings.length === 0 || strings.length !== listed.length) {
+        throw new Error(`${of} takes a list of strings.`);
+    }
+    if (new Set(strings).size !== strings.length) {
+        throw new Error(`${of} lists a value twice: ${strings.join(', ')}.`);
+    }
+    return strings;
+}
+function enumOf(values, options) {
+    const shared = isObject(values) ? sharedEnums.get(values) : undefined;
+    if (shared !== undefined) {
+        return listable('enum', options, shared.values, shared);
+    }
+    return listable('enum', options, enumValues(values, 'enumOf'));
+}
+/** The builders `defineModel`'s `fields` callback receives (D-09, D-12). */
+export const fieldBuilders = Object.freeze({
+    string: (options) => listable('string', options),
+    number: (options) => listable('number', options),
+    decimal,
+    boolean: scalar('boolean'),
+    dateTime: scalar('dateTime'),
+    date: scalar('date'),
+    json: scalar('json'),
+    enumOf,
+    one: relation('one'),
+    many: relation('many'),
+    virtual: (output, options) => build({ kind: 'virtual', output, options: options ?? {} }),
+});
+function namedOf(value) {
+    if (!isObject(value))
+        return undefined;
+    const model = modelDefinitions.get(value);
+    if (model !== undefined)
+        return { kind: 'model', value, name: model.name };
+    const type = typeDefinitions.get(value);
+    return type === undefined ? undefined : { kind: 'type', type };
+}
+/** An output's value, read once at its definition (D-109). */
+export function outputOf(value, where) {
+    const standard = standardOf(value);
+    if (standard !== undefined)
+        return { kind: 'schema', schema: standard.schema };
+    const named = namedOf(value);
+    if (named !== undefined)
+        return { ...named, form: 'one' };
+    const marked = isObject(value) ? nullables.get(value) : undefined;
+    if (marked !== undefined)
+        return { ...marked, form: 'nullable' };
+    const list = Array.isArray(value) ? value : [];
+    const listed = list.length === 1 ? namedOf(list[0]) : undefined;
+    if (listed !== undefined)
+        return { ...listed, form: 'list' };
+    throw new Refused(`${where} is a model, a type, a list of one, X.nullable() or a Standard Schema.`);
+}

package/dist/delete-many.d.ts

@@ -0,0 +1,13 @@
+import type { Row } from './adapter.ts';
+import type { Context } from './query-context.ts';
+import type { Commit, Store } from './transaction.ts';
+export declare function removeMany(context: Context, store: Store, commits: Commit[], args: unknown): Promise<{
+    readonly count: number;
+}>;
+/**
+ * Deletes `rows`, which the caller may delete, as `delete` does: in one write
+ * when nothing runs (D-102), else with their cascade or redirect, then the
+ * hooks.
+ */
+export declare function deleted(context: Context, store: Store, commits: Commit[], rows: readonly Row[]): Promise<void>;
+//# sourceMappingURL=delete-many.d.ts.map

package/dist/delete-many.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delete-many.d.ts","sourceRoot":"","sources":["../src/delete-many.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAU,GAAG,EAAE,MAAM,cAAc,CAAA;AAI/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAGjD,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAIrD,wBAAsB,UAAU,CAC/B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,MAAM,EAAE,EACjB,IAAI,EAAE,OAAO,GACX,OAAO,CAAC;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAgCrC;AAED;;;;GAIG;AACH,wBAAsB,OAAO,CAC5B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,MAAM,EAAE,EACjB,IAAI,EAAE,SAAS,GAAG,EAAE,GAClB,OAAO,CAAC,IAAI,CAAC,CAaf"}