ultimabase 0.0.0-stage → 0.1.0

package/dist/field-type.js

@@ -0,0 +1,106 @@
+import { build, fieldBuilders, fieldDefinitions } from './definition.js';
+import { standardOf } from './validation.js';
+const storedOptions = new Set(['list', 'optional', 'precision', 'scale']);
+const kernelOptions = new Set(['default', 'description']);
+/**
+ * The stored field `stored` returns, a scalar with no rules; a value as its
+ * default fills the rows stored before the field (D-152).
+ */
+function storedOf(plugin, stored, options) {
+    if (typeof stored !== 'function') {
+        throw new TypeError(`defineFieldType(${plugin}): stored is a function.`);
+    }
+    const field = Reflect.apply(stored, undefined, [
+        fieldBuilders,
+        options,
+    ]);
+    const definition = typeof field === 'object' && field !== null
+        ? fieldDefinitions.get(field)
+        : undefined;
+    if (definition?.kind !== 'scalar' || definition.rules !== undefined) {
+        throw new TypeError(`defineFieldType(${plugin}): stored returns a kernel scalar field, without .with.`);
+    }
+    for (const [option, value] of Object.entries(definition.options)) {
+        const filled = option === 'default' && typeof value !== 'function';
+        if (!storedOptions.has(option) && !filled) {
+            throw new Error(`defineFieldType(${plugin}): the stored field takes list, optional, precision, scale or a value as its default only, not ${option}.`);
+        }
+    }
+    return definition;
+}
+function functionOf(plugin, definition, key, options) {
+    const value = definition[key];
+    if (typeof value !== 'function') {
+        throw new TypeError(`defineFieldType(${plugin}): ${key} is a function.`);
+    }
+    return (given) => {
+        const result = Reflect.apply(value, undefined, [given, options]);
+        return result;
+    };
+}
+/** One field's codec, its functions given that field's options. */
+function codecOf(plugin, definition, options) {
+    const schemaOf = (key) => {
+        const given = definition[key];
+        const standard = standardOf(typeof given === 'function'
+            ? Reflect.apply(given, undefined, [options])
+            : given);
+        if (standard === undefined) {
+            throw new TypeError(`defineFieldType(${plugin}): ${key} is a Standard Schema.`);
+        }
+        return standard;
+    };
+    const shape = definition['shape'] === undefined ? undefined : schemaOf('shape').schema;
+    return Object.freeze({
+        plugin,
+        options,
+        decode: functionOf(plugin, definition, 'decode', options),
+        encode: functionOf(plugin, definition, 'encode', options),
+        schema: schemaOf('schema'),
+        toJSON: functionOf(plugin, definition, 'toJSON', options),
+        ...(shape === undefined ? {} : { shape }),
+    });
+}
+/** The names a builder takes, `default`, `description` and the type's own. */
+function namesOf(plugin, definition) {
+    const names = definition['options'] ?? [];
+    if (!Array.isArray(names) ||
+        !names.every((name) => typeof name === 'string')) {
+        throw new TypeError(`defineFieldType(${plugin}): options is a list of option names.`);
+    }
+    return new Set([...kernelOptions, ...names]);
+}
+export function defineFieldType(definition) {
+    const plugin = definition['plugin'];
+    if (typeof plugin !== 'string' || plugin === '') {
+        throw new TypeError('defineFieldType takes the name of its plugin.');
+    }
+    const names = namesOf(plugin, definition);
+    // A definition fails at once, not at its first field.
+    codecOf(plugin, definition, {});
+    storedOf(plugin, definition['stored'], {});
+    return (given = {}) => {
+        const own = {};
+        const kernel = {};
+        for (const [option, value] of Object.entries(given)) {
+            if (!names.has(option)) {
+                throw new Error(names.size === kernelOptions.size
+                    ? `A ${plugin} field takes default and description only, not ${option}: its stored field says the rest.`
+                    : `A ${plugin} field takes ${[...names].join(', ')} only, not ${option}.`);
+            }
+            if (kernelOptions.has(option))
+                kernel[option] = value;
+            else
+                own[option] = value;
+        }
+        const options = Object.freeze(own);
+        const stored = storedOf(plugin, definition['stored'], options);
+        const { default: filled, ...rest } = stored.options;
+        const codec = codecOf(plugin, definition, options);
+        return build({
+            ...stored,
+            options: { ...rest, ...kernel },
+            codec: filled === undefined ? codec : Object.freeze({ ...codec, filled }),
+        });
+    };
+}

package/dist/fields.d.ts

@@ -0,0 +1,295 @@
+import type { Declared, FieldWith } from './field-rules.ts';
+import type { Caller } from './rules.ts';
+import type { calendarDay, fieldType } from './symbols.ts';
+import type { NoOptions, Virtual, VirtualOptions } from './virtual.ts';
+export type JsonValue = string | number | boolean | null | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+/**
+ * Standard Schema (standardschema.dev), the part the kernel reads. Its
+ * specification asks for the interface to be copied, not imported.
+ */
+export interface StandardSchema<I = unknown, O = I> {
+    readonly '~standard': {
+        readonly version: 1;
+        readonly vendor: string;
+        readonly validate: (value: unknown) => SchemaResult<O> | Promise<SchemaResult<O>>;
+        readonly types?: {
+            readonly input: I;
+            readonly output: O;
+        } | undefined;
+    };
+}
+type SchemaResult<O> = {
+    readonly value: O;
+    readonly issues?: undefined;
+} | {
+    readonly issues: readonly {
+        readonly message: string;
+    }[];
+};
+/**
+ * A field's `validate` (D-23): a Standard Schema, or a function that returns
+ * the value to store and throws to refuse it.
+ */
+export type Validate<V> = StandardSchema<V, V> | ((value: V) => V | Promise<V>);
+/** A default's function form: `undefined` gives no value (D-53). */
+export type DefaultFunction<V> = (facts: {
+    readonly caller: Caller;
+}) => V | undefined;
+/** What a field means, which the transports show and nothing reads (D-150). */
+export type Described = {
+    readonly description?: string;
+};
+/** What shapes a scalar field (D-08, D-23, D-52, D-53). */
+export type ScalarOptions<V> = Described & {
+    readonly optional?: boolean;
+    readonly unique?: boolean;
+    readonly default?: V | DefaultFunction<V>;
+    readonly validate?: Validate<V>;
+    /** The stored column's name, when the adapter's convention will not do (D-63). */
+    readonly dbName?: string;
+};
+/** What a calendar day's options carry in its type, filtered in order (D-150). */
+export type Day = {
+    readonly [calendarDay]: true;
+};
+/** A decimal's options: its digits are required (D-145). */
+export type DecimalOptions = ScalarOptions<string> & {
+    readonly precision: number;
+    readonly scale: number;
+};
+/** A shared enum, which `defineEnum` returns frozen (D-150). */
+export type Enum<E extends string = string> = {
+    /** Its GraphQL enum's and its OpenAPI schema's name. */
+    readonly name: string;
+    readonly values: readonly E[];
+    readonly description: string | undefined;
+};
+/** A field's options without `list` (D-120, D-127). */
+export type SingleOptions<V> = ScalarOptions<V> & {
+    readonly list?: false;
+};
+/** A string's options: `search` adds it to its model's document (D-148). */
+export type StringOptions = SingleOptions<string> & {
+    readonly search?: boolean;
+};
+/** What shapes a list of strings, numbers or enum values (D-120, D-127). */
+export type ListOptions<V> = Described & {
+    readonly list: true;
+    readonly default?: readonly V[] | DefaultFunction<readonly V[]>;
+    readonly validate?: Validate<readonly V[]>;
+    readonly dbName?: string;
+};
+type ListCheck<O> = (O extends {
+    readonly optional: unknown;
+} ? {
+    readonly optional: {
+        readonly error: 'a list is [] when empty: it is never optional';
+    };
+} : unknown) & (O extends {
+    readonly unique: unknown;
+} ? {
+    readonly unique: {
+        readonly error: 'a list cannot be unique';
+    };
+} : unknown) & (O extends {
+    readonly search: unknown;
+} ? {
+    readonly search: {
+        readonly error: 'a list is not searched';
+    };
+} : unknown);
+type ListableCheck<O, V> = O extends {
+    readonly list: true;
+} ? ListCheck<O> & ValidateCheck<O, readonly V[]> : ValidateCheck<O, V>;
+type Listable<V, O, T> = O extends {
+    readonly list: true;
+} ? Field<readonly V[], O, never, T> : Field<V, O, never, T>;
+/** The types a Standard Schema declares, `never` without them. */
+export type SchemaTypes<S> = S extends {
+    readonly '~standard': {
+        readonly types?: infer T;
+    };
+} ? NonNullable<T> : never;
+type IsAny<X> = 0 extends 1 & X ? true : false;
+/** Refuses a schema typed `any` or without types, under `validate`. */
+export type AnyCheck<S> = SchemaTypes<S> extends {
+    readonly input: infer I;
+    readonly output: infer O;
+} ? IsAny<I> extends true ? {
+    readonly validate: 'the schema types its input as any';
+} : IsAny<O> extends true ? {
+    readonly validate: 'the schema types its output as any';
+} : unknown : {
+    readonly validate: 'the schema declares no types';
+};
+type ValidateCheck<O, V> = O extends {
+    readonly validate: infer S extends StandardSchema;
+} ? unknown extends AnyCheck<S> ? SchemaTypes<S> extends {
+    readonly input: infer I;
+} ? [V] extends [I] ? unknown : {
+    readonly validate: 'the schema must accept every value of the field';
+} : unknown : AnyCheck<S> : unknown;
+/** What shapes a `json` field (D-53): its schema gives its types. */
+export type JsonOptions = Described & {
+    readonly optional?: boolean;
+    readonly default?: DefaultFunction<unknown> | {} | null;
+    readonly validate?: StandardSchema | ((value: JsonValue) => unknown);
+    readonly dbName?: string;
+};
+/** What a `json` field stores and returns: the schema's output. */
+type JsonOutput<O> = O extends {
+    readonly validate: infer S;
+} ? S extends StandardSchema ? SchemaTypes<S>['output'] : S extends (value: JsonValue) => infer R ? Awaited<R> : unknown : unknown;
+/** What a `json` field is written: the schema's input. */
+type JsonInput<O> = O extends {
+    readonly validate: infer S;
+} ? S extends StandardSchema ? SchemaTypes<S>['input'] : JsonValue : JsonValue;
+type JsonCheck<O> = (O extends {
+    readonly validate: infer S extends StandardSchema;
+} ? AnyCheck<S> : unknown) & (O extends {
+    readonly default: infer D;
+} ? [D] extends [JsonInput<O> | DefaultFunction<JsonInput<O>>] ? unknown : {
+    readonly default: JsonInput<O> | DefaultFunction<JsonInput<O>>;
+} : unknown);
+/** What shapes a `one` relation (D-37, D-54). */
+export type OneOptions = Described & {
+    readonly optional?: boolean;
+    /** The target's id (D-53). */
+    readonly default?: {
+        readonly id: string;
+    } | DefaultFunction<{
+        readonly id: string;
+    }>;
+    readonly onDelete?: 'cascade' | 'restrict' | 'setNull';
+    readonly inverse?: string;
+    readonly dbName?: string;
+};
+type OneCheck<O> = O extends {
+    readonly optional: true;
+} ? unknown : O extends {
+    readonly onDelete: 'setNull';
+} ? {
+    readonly onDelete: {
+        readonly error: 'setNull needs an optional relation';
+    };
+} : unknown;
+export type ManyOptions = Described & ({
+    readonly inverse?: string;
+    readonly from?: undefined;
+} | {
+    /**
+     * A view: read-only, on the link of this other `many` of the
+     * model, its rows those its filter keeps (D-151).
+     */
+    readonly from: string;
+    readonly inverse?: undefined;
+});
+/** An optional field may be written `null`. */
+type Written<V, O> = O extends {
+    readonly optional: true;
+} ? V | null : V;
+/**
+ * `V` is the stored value and `I` the written one, which differ when a
+ * schema transforms (D-23). `P` names the plugin that provides the field
+ * type (D-32); `T` is the types of the plugins the model uses, whose field
+ * rules `.with` takes. Rules judge what the caller sent (D-67): they see `I`.
+ * `J` marks a `json` field, which cannot be sorted (D-94); `S` is a plugin
+ * field type's stored field, which a `beforeFind` filters (D-122).
+ */
+export interface Field<V, O, P extends string = never, T = never, I = V, J extends boolean = false, S = never> {
+    readonly [fieldType]: {
+        readonly kind: 'scalar';
+        readonly value: V;
+        readonly input: I;
+        readonly options: O;
+        readonly plugin?: P;
+        readonly json: J;
+        readonly stored: S;
+    };
+    /**
+     * `.with({ ... })` types `value` and `record.id`;
+     * `.with<{ status: 'draft' | 'published' }>` also types the record fields it
+     * declares, each with the model's exact type (D-44).
+     */
+    with<R extends object>(rules: [keyof R] extends [never] ? never : FieldWith<NoInfer<R>, Written<I, O>, T>): Field<V, O, P, never, I, J, S> & Declared<R>;
+    with(rules: FieldWith<never, Written<I, O>, T>): Field<V, O, P, never, I, J, S>;
+}
+export type RelationValue = {
+    readonly id: string;
+};
+/** What a `many` relation's write rule sees: the caller's lists (D-86). */
+export type ManyValue = {
+    readonly connect: readonly RelationValue[];
+    readonly disconnect: readonly RelationValue[];
+    /** The linked rows it deletes (D-138). */
+    readonly delete: readonly RelationValue[];
+    /** The rows it creates, by the ids the kernel gives them (D-128). */
+    readonly create: readonly RelationValue[];
+};
+export interface One<T, O, U = never> {
+    readonly [fieldType]: {
+        readonly kind: 'one';
+        readonly target: T;
+        readonly options: O;
+    };
+    with<R extends object = never>(rules: FieldWith<NoInfer<R>, RelationValue | null, U>): One<T, O> & Declared<R>;
+}
+export interface Many<T, O, U = never> {
+    readonly [fieldType]: {
+        readonly kind: 'many';
+        readonly target: T;
+        readonly options: O;
+    };
+    with<R extends object = never>(rules: FieldWith<NoInfer<R>, ManyValue, U>): Many<T, O> & Declared<R>;
+}
+/**
+ * The field builders, which only `defineModel`'s `fields` callback receives:
+ * typed by the model's `use`, a field's `.with` takes those plugins' rules
+ * (D-12, D-57).
+ */
+export interface FieldBuilders<T> {
+    /**
+     * With `list: true`, a list of strings, `[]` when empty (D-120); with
+     * `search: true`, matched by its model's `_search` (D-148).
+     */
+    readonly string: <const O extends StringOptions | ListOptions<string> = StringOptions>(options?: O & NoInfer<ListableCheck<O, string>>) => Listable<string, O, T>;
+    /**
+     * With `list: true`, a list of numbers, `[]` when empty (D-127); with
+     * `integer: true`, whole numbers from -2,147,483,648 to 2,147,483,647
+     * (D-132).
+     */
+    readonly number: <const O extends (SingleOptions<number> | ListOptions<number>) & {
+        readonly integer?: boolean;
+    } = SingleOptions<number>>(options?: O & NoInfer<ListableCheck<O, number>>) => Listable<number, O, T>;
+    /**
+     * Exact numbers of `precision` digits, `scale` of them after the point,
+     * read and written as strings at that scale: `'12.50'` (D-145).
+     */
+    readonly decimal: <const O extends DecimalOptions>(options: O & NoInfer<ValidateCheck<O, string>>) => Field<string, O, never, T>;
+    readonly boolean: <const O extends ScalarOptions<boolean> = ScalarOptions<boolean>>(options?: O & NoInfer<ValidateCheck<O, boolean>>) => Field<boolean, O, never, T>;
+    readonly dateTime: <const O extends ScalarOptions<Date> = ScalarOptions<Date>>(options?: O & NoInfer<ValidateCheck<O, Date>>) => Field<Date, O, never, T>;
+    /** A calendar day, the string `'2026-07-31'`, without a time zone (D-150). */
+    readonly date: <const O extends ScalarOptions<string> = ScalarOptions<string>>(options?: O & NoInfer<ValidateCheck<O, string>>) => Field<string, O & Day, never, T>;
+    /**
+     * Without a schema, a `json` value is `unknown` and written as JSON; with
+     * one, it reads the schema's output and is written its input (D-53).
+     */
+    readonly json: <const O extends JsonOptions = JsonOptions>(options?: O & NoInfer<JsonCheck<O>>) => Field<JsonOutput<O>, O, never, T, JsonInput<O>, true>;
+    /**
+     * With `list: true`, a list of its values, `[]` when empty (D-127); a
+     * `defineEnum` in place of its values is one type for each field (D-150),
+     * and `Object.values(Status)` of a TypeScript string enum types it `Status`.
+     */
+    readonly enumOf: <const E extends string, const O extends SingleOptions<E> | ListOptions<E> = SingleOptions<E>>(values: readonly E[] | Enum<E>, options?: O & NoInfer<ListableCheck<O, E>>) => Listable<E, O, T>;
+    readonly one: <M extends object, const O extends OneOptions = OneOptions>(target: M, options?: O & NoInfer<OneCheck<O>>) => One<M, O, T>;
+    readonly many: <M extends object, const O extends ManyOptions = ManyOptions>(target: M, options?: O) => Many<M, O, T>;
+    /**
+     * Computed on read by the model's `.with({ virtuals })` (D-151): a
+     * Standard Schema, or a model or a type behind an arrow, `() => [Image]`.
+     */
+    readonly virtual: <const O extends object, const X extends VirtualOptions = NoOptions>(output: O, options?: X) => Virtual<O, X>;
+}
+export {};
+//# sourceMappingURL=fields.d.ts.map

package/dist/fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAEtE,MAAM,MAAM,SAAS,GAClB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AAExC;;;GAGG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE;QACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,QAAQ,EAAE,CAClB,KAAK,EAAE,OAAO,KACV,YAAY,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;SAAE,GAAG,SAAS,CAAA;KACtE,CAAA;CACD;AACD,KAAK,YAAY,CAAC,CAAC,IAChB;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,CAAA;AAE/D;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAE/E,oEAAoE;AACpE,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB,KAAK,CAAC,GAAG,SAAS,CAAA;AAEnB,+EAA+E;AAC/E,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEzD,2DAA2D;AAC3D,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,SAAS,GAAG;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC/B,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,kFAAkF;AAClF,MAAM,MAAM,GAAG,GAAG;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,CAAA;CAAE,CAAA;AAElD,4DAA4D;AAC5D,MAAM,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG;IACpD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,gEAAgE;AAChE,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IAC7C,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAA;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;CACxC,CAAA;AAED,uDAAuD;AACvD,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,CAAA;AAE3E,4EAA4E;AAC5E,MAAM,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,SAAS,GAAG;IACxC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAGD,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAC1D;IACA,QAAQ,CAAC,QAAQ,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,+CAA+C,CAAA;KAC/D,CAAA;CACD,GACA,OAAO,CAAC,GACV,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GACpC;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAA;KAAE,CAAA;CAAE,GAClE,OAAO,CAAC,GACX,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GACpC;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAA;KAAE,CAAA;CAAE,GACjE,OAAO,CAAC,CAAA;AACZ,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACzD,SAAS,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,GAC7C,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACtB,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvD,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAChC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;AAExB,kEAAkE;AAClE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IACtC,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAClD,GACE,WAAW,CAAC,CAAC,CAAC,GACd,KAAK,CAAA;AACR,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAC9C,uEAAuE;AACvE,MAAM,MAAM,QAAQ,CAAC,CAAC,IACrB,WAAW,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACzE,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACpB;IAAE,QAAQ,CAAC,QAAQ,EAAE,mCAAmC,CAAA;CAAE,GAC1D,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACpB;IAAE,QAAQ,CAAC,QAAQ,EAAE,oCAAoC,CAAA;CAAE,GAC3D,OAAO,GACT;IAAE,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,CAAA;CAAE,CAAA;AAGzD,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,cAAc,CAAA;CACjD,GACE,OAAO,SAAS,QAAQ,CAAC,CAAC,CAAC,GAC1B,WAAW,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACjD,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACd,OAAO,GACP;IACA,QAAQ,CAAC,QAAQ,EAAE,iDAAiD,CAAA;CACpE,GACD,OAAO,GACR,QAAQ,CAAC,CAAC,CAAC,GACZ,OAAO,CAAA;AAEV,qEAAqE;AACrE,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAE3B,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAA;IACvD,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,KAAK,OAAO,CAAC,CAAA;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AACD,mEAAmE;AACnE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1D,CAAC,SAAS,cAAc,GACvB,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,KAAK,MAAM,CAAC,GACtC,OAAO,CAAC,CAAC,CAAC,GACV,OAAO,GACT,OAAO,CAAA;AACV,0DAA0D;AAC1D,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;CAAE,GACzD,CAAC,SAAS,cAAc,GACvB,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GACvB,SAAS,GACV,SAAS,CAAA;AAEZ,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,cAAc,CAAA;CACjD,GACE,QAAQ,CAAC,CAAC,CAAC,GACX,OAAO,CAAC,GACV,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GACrC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GACzD,OAAO,GACP;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,GACnE,OAAO,CAAC,CAAA;AAEZ,iDAAiD;AACjD,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,8BAA8B;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAChB;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,eAAe,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACnE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,SAAS,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAGD,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GACrD,OAAO,GACP,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,GACzC;IACA,QAAQ,CAAC,QAAQ,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAA;KACpD,CAAA;CACD,GACA,OAAO,CAAA;AAEX,MAAM,MAAM,WAAW,GAAG,SAAS,GAClC,CACG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAA;CAAE,GACxD;IACA;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAA;CAC3B,CACH,CAAA;AAEF,+CAA+C;AAC/C,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAA;AAEzE;;;;;;;GAOG;AACH,MAAM,WAAW,KAAK,CACrB,CAAC,EACD,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,CAAC,EACL,CAAC,SAAS,OAAO,GAAG,KAAK,EACzB,CAAC,GAAG,KAAK;IAET,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;QACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;QACvB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;QACjB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;QACjB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QACnB,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACnB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QAChB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;KAClB,CAAA;IACD;;;;OAIG;IAGH,IAAI,CAAC,CAAC,SAAS,MAAM,EACpB,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7B,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GACxC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC/C,IAAI,CACH,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GACvC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC;AAED,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEnD,2EAA2E;AAC3E,MAAM,MAAM,SAAS,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAA;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAA;IAC7C,0CAA0C;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;IACzC,qEAAqE;IACrE,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;CACzC,CAAA;AAID,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK;IACnC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;QACrB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;QACpB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;QAClB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;KACnB,CAAA;IACD,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAC5B,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,GAAG,IAAI,EAAE,CAAC,CAAC,GACnD,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;CAC1B;AAED,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK;IACpC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;QACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;QAClB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;KACnB,CAAA;IACD,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAC5B,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,GACxC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;CAC3B;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,CAChB,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,aAAa,EAEnE,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAC3C,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAChB,KAAK,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG;QAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAC1B,GAAG,aAAa,CAAC,MAAM,CAAC,EAEzB,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAC3C,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3B;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,cAAc,EAChD,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAC1C,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,CACjB,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,EAE/D,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,KAC5C,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,CAClB,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAEzD,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KACzC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7B,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,CACd,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,EAE7D,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAC3C,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACrC;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,EACxD,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAC/B,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1D;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAChB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,EAEpE,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAC9B,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACtC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EACvE,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAC9B,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACjB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,EAC1E,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,CAAC,KACP,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClB;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,CACjB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,SAAS,EAE1C,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,CAAC,KACP,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAClB"}

package/dist/fields.js

@@ -0,0 +1 @@
+export {};

package/dist/function.d.ts

@@ -0,0 +1,126 @@
+import type { AnyCheck, SchemaTypes, StandardSchema } from './fields.ts';
+import type { ModelShape } from './model.ts';
+import type { ModelUse, PluginTypes } from './plugin.ts';
+import type { QueryOptions } from './query.ts';
+import type { RecordOf } from './record.ts';
+import type { Caller } from './rules.ts';
+import type { modelFields, nullableOf, typeFields } from './symbols.ts';
+/** `X.nullable()`: a model or a type, or `null` (D-109). */
+export type Nullable<X> = {
+    readonly [nullableOf]: X;
+};
+/** A `defineType`: a named object, which may hold a model (D-109). */
+export interface ObjectType<N extends string, F> {
+    readonly name: N;
+    readonly [typeFields]: F;
+    nullable(): Nullable<this>;
+}
+type Named = ModelShape | {
+    readonly name: string;
+    readonly [typeFields]: object;
+};
+/**
+ * What a function returns (D-109): a model or a type, one or `null`, a list
+ * of one, or any Standard Schema.
+ */
+export type OutputSpec = Named | Nullable<Named> | readonly [Named] | StandardSchema;
+/** A `defineType`'s fields: any output but nothing. */
+export type TypeFields = {
+    readonly [field: string]: OutputSpec;
+};
+/** The value of an output: typed, never validated (D-45). */
+export type OutputValue<O> = O extends {
+    readonly [modelFields]: infer F;
+} ? RecordOf<F> : O extends {
+    readonly [typeFields]: infer F;
+} ? {
+    readonly [K in keyof F]: OutputValue<F[K]>;
+} : O extends {
+    readonly [nullableOf]: infer X;
+} ? OutputValue<X> | null : O extends StandardSchema ? SchemaTypes<O>['output'] : O extends readonly [infer X] ? readonly OutputValue<X>[] : never;
+/** What `run` returns: nothing without an output. */
+export type ResultOf<O> = [O] extends [undefined] ? void : OutputValue<O>;
+/**
+ * A function's access rule reads the caller only: it runs before the input
+ * is validated, so a closed function says nothing of its input (D-04).
+ */
+export type FunctionAccess = (facts: {
+    readonly caller: Caller;
+}) => boolean;
+export type FunctionWith<W> = {
+    readonly access?: FunctionAccess;
+} & W;
+/** What a caller passes to `run`: the input before validation (D-75). */
+export type RunArgs<I> = [I] extends [StandardSchema] ? readonly [input: SchemaTypes<I>['input'], options?: QueryOptions] : readonly [options?: QueryOptions];
+export interface ServerFunction<N extends string, I, O, P, W> {
+    readonly name: N;
+    /** The schemas the transports read (D-45). */
+    readonly input: I;
+    readonly output: O;
+    /** The plugins it uses, checked against the application's (D-24). */
+    readonly plugins?: P;
+    with(rules: FunctionWith<W>): this;
+    /** Checks access, validates the input, then runs it (D-75). */
+    run(...args: RunArgs<I>): Promise<ResultOf<O>>;
+}
+export type FunctionShape = {
+    readonly name: string;
+    readonly output: OutputSpec | undefined;
+};
+/** A plugin that exposes functions: it keys their `.with` (D-27). */
+export type FunctionPlugin = PluginTypes & {
+    readonly functionWith: object | false;
+};
+/** Each used plugin's key of a function's `.with`. */
+export type FunctionWithKeys<U> = {
+    readonly [V in U as V extends ModelUse<infer P, FunctionPlugin> ? P : never]?: V extends ModelUse<string, infer T extends FunctionPlugin> ? T['functionWith'] : never;
+};
+/** A cookie's attributes (D-113). */
+export interface CookieOptions {
+    /** In seconds. */
+    readonly maxAge?: number;
+    readonly path?: string;
+    readonly domain?: string;
+    readonly httpOnly?: boolean;
+    readonly secure?: boolean;
+    readonly sameSite?: 'Strict' | 'Lax' | 'None';
+}
+/** Who calls a function through a transport (D-113). */
+export interface Client {
+    /** The connection's address, `''` when the transport has none. */
+    readonly address: string;
+    /** Read from the request, written on the transport's HTTP response. */
+    readonly cookies: {
+        /** The request's cookie `name`, `undefined` when it sent none. */
+        get(name: string): string | undefined;
+        set(name: string, value: string, options?: CookieOptions): void;
+        /** Its `path` and `domain` must be those it was set with. */
+        clear(name: string, options?: CookieOptions): void;
+    };
+}
+/**
+ * What `run` receives: the caller, its client when a transport calls it,
+ * and the validated input if any (D-113).
+ */
+export type RunFacts<I> = {
+    readonly caller: Caller;
+    readonly client: Client | undefined;
+} & ([I] extends [StandardSchema] ? {
+    readonly input: SchemaTypes<I>['output'];
+} : unknown);
+/** Requires `query: true` when a plugin of `use` takes queries only (D-154). */
+export type QueryCheck<U> = [
+    Extract<U, ModelUse<string, {
+        readonly queryOnly: true;
+    }>>
+] extends [never] ? unknown : {
+    readonly query: true;
+};
+/** Refuses an input typed `any` or without types (D-27). */
+export type InputCheck<I> = [I] extends [StandardSchema] ? AnyCheck<I> extends {
+    readonly validate: infer M;
+} ? {
+    readonly input: M;
+} : unknown : unknown;
+export {};
+//# sourceMappingURL=function.d.ts.map

package/dist/function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../src/function.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAEvE,4DAA4D;AAC5D,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;CAAE,CAAA;AAEtD,sEAAsE;AACtE,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IACxB,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAA;CAC1B;AAED,KAAK,KAAK,GACT,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEtE;;;GAGG;AACH,MAAM,MAAM,UAAU,GACrB,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,cAAc,CAAA;AAE5D,uDAAuD;AACvD,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAAA;CAAE,CAAA;AAEjE,6DAA6D;AAC7D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GACvE,QAAQ,CAAC,CAAC,CAAC,GACX,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAC3C;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC9C,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAC3C,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,GACrB,CAAC,SAAS,cAAc,GACvB,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC3B,SAAS,WAAW,CAAC,CAAC,CAAC,EAAE,GACzB,KAAK,CAAA;AAEZ,qDAAqD;AACrD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AAEzE;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,KAAK,OAAO,CAAA;AAE5E,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAA;CAAE,GAAG,CAAC,CAAA;AAEtE,yEAAyE;AACzE,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,GAClD,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,YAAY,CAAC,GACjE,SAAS,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAA;AAEpC,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC3D,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,qEAAqE;IACrE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACpB,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;IAClC,+DAA+D;IAC/D,GAAG,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;CAC9C;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAA;CACvC,CAAA;AAED,qEAAqE;AACrE,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,CAAA;CACrC,CAAA;AAED,sDAAsD;AACtD,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI;IACjC,QAAQ,EACP,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,GAAG,KAAK,CACjE,CAAC,EAAE,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,cAAc,CAAC,GAC3D,CAAC,CAAC,cAAc,CAAC,GACjB,KAAK;CACR,CAAA;AAED,qCAAqC;AACrC,MAAM,WAAW,aAAa;IAC7B,kBAAkB;IAClB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAA;CAC7C;AAED,wDAAwD;AACxD,MAAM,WAAW,MAAM;IACtB,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE;QACjB,kEAAkE;QAClE,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;QACrC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,IAAI,CAAA;QAC/D,6DAA6D;QAC7D,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,IAAI,CAAA;KAClD,CAAA;CACD;AAED;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,GAC9B;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;CAAE,GAC5C,OAAO,CAAC,CAAA;AAEX,gFAAgF;AAChF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC3B,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAC,CAAC;CAC1D,SAAS,CAAC,KAAK,CAAC,GACd,OAAO,GACP;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAA;AAE3B,4DAA4D;AAC5D,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,GACrD,QAAQ,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACrB,OAAO,GACR,OAAO,CAAA"}

package/dist/function.js

@@ -0,0 +1 @@
+export {};

package/dist/functions.d.ts

@@ -0,0 +1,18 @@
+import type { FunctionDefinition, PluginCode } from './definition.ts';
+import type { ExposedFunction } from './plugin.ts';
+import type { Resolved } from './schema.ts';
+/** Functions listed by the application, or given by a plugin (D-113). */
+export type FunctionSource = {
+    readonly plugin: string | undefined;
+    readonly values: readonly unknown[];
+};
+/** The application's and the plugins' functions, by value, and who gives each. */
+export type Functions = {
+    readonly definitions: ReadonlyMap<object, FunctionDefinition>;
+    readonly plugins: ReadonlyMap<object, string>;
+};
+/** The functions, each named once, or startup stops with a message. */
+export declare function resolveFunctions(sources: readonly FunctionSource[], resolved: Resolved, plugins: readonly PluginCode[]): Functions;
+/** The functions as the plugin `name` reads them, with its `.with` key. */
+export declare function exposedFunctions(name: string, functions: Functions): readonly ExposedFunction[];
+//# sourceMappingURL=functions.d.ts.map

package/dist/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../src/functions.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACX,kBAAkB,EAElB,UAAU,EAEV,MAAM,iBAAiB,CAAA;AAIxB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAElD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAuC3C,yEAAyE;AACzE,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;CACnC,CAAA;AAED,kFAAkF;AAClF,MAAM,MAAM,SAAS,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IAC7D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC7C,CAAA;AAOD,uEAAuE;AACvE,wBAAgB,gBAAgB,CAC/B,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,SAAS,UAAU,EAAE,GAC5B,SAAS,CA6CX;AAED,2EAA2E;AAC3E,wBAAgB,gBAAgB,CAC/B,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,GAClB,SAAS,eAAe,EAAE,CA2B5B"}