ramosedb 0.0.1 → 0.4.0

package/dist/db/Schema.js

@@ -0,0 +1,94 @@
+import { assertEntityTraitNames, assertUniqueIdents, reachableTraits, } from "./compose.js";
+import { collectSchemaPolicy, } from "../internal/authorization/authoring/policy.js";
+import { duplicateEntityName, schemaKeyMismatch, } from "./IdentName.js";
+export const SCHEMA_POLICY = Symbol.for("ramose.schema.policy");
+const collectPolicy = collectSchemaPolicy;
+const isEntity = (value) => typeof value === "object" &&
+    value !== null &&
+    value._tag === "Entity" &&
+    typeof value.ns === "string";
+const assertCatalog = (entities) => {
+    assertUniqueIdents(Object.values(entities));
+    const traits = reachableTraits(Object.values(entities));
+    assertEntityTraitNames(Object.keys(entities), traits);
+};
+const fromList = (list) => {
+    const entities = {};
+    for (const value of list) {
+        if (!isEntity(value)) {
+            throw new Error("ramose/schema: Schema([...]) expects Entity values");
+        }
+        if (Object.hasOwn(entities, value.ns))
+            throw duplicateEntityName(value.ns);
+        entities[value.ns] = value;
+    }
+    assertCatalog(entities);
+    return entities;
+};
+const fromMap = (input) => {
+    const seen = new Set();
+    for (const [key, entity] of Object.entries(input)) {
+        if (!isEntity(entity)) {
+            throw new Error(`ramose/schema: Schema key ${JSON.stringify(key)} is not an Entity`);
+        }
+        if (key !== entity.ns)
+            throw schemaKeyMismatch(key, entity.ns);
+        if (seen.has(entity.ns))
+            throw duplicateEntityName(entity.ns);
+        seen.add(entity.ns);
+    }
+    assertCatalog(input);
+    return input;
+};
+export function Schema(key, entities) {
+    if (key.length === 0) {
+        throw new Error("ramose/schema: permanent key must not be empty");
+    }
+    const entityMap = Array.isArray(entities)
+        ? fromList(entities)
+        : fromMap(entities);
+    const policyState = { registered: false };
+    let schema;
+    const applyPolicy = ((...args) => {
+        if (policyState.registered) {
+            throw new Error(`ramose/schema: policy already applied to schema ${JSON.stringify(key)}`);
+        }
+        policyState.registered = true;
+        policyState.policy = collectPolicy(schema, ...args);
+    });
+    schema = {
+        _tag: "Schema",
+        key,
+        get schema() {
+            return schema;
+        },
+        entities: entityMap,
+        applyPolicy,
+    };
+    Object.defineProperty(schema, SCHEMA_POLICY, {
+        value: policyState,
+        enumerable: false,
+        configurable: false,
+        writable: false,
+    });
+    return Object.freeze(schema);
+}
+export const merge = (key, left, right) => {
+    for (const ns of Object.keys(right.entities)) {
+        if (Object.hasOwn(left.entities, ns))
+            throw duplicateEntityName(ns);
+    }
+    return Schema(key, { ...left.entities, ...right.entities });
+};
+export const appliedPolicyOf = (schema) => schema[SCHEMA_POLICY]?.policy;
+export const isSchemaDefinition = (value) => typeof value === "object" &&
+    value !== null &&
+    value._tag === "Schema" &&
+    typeof value.key === "string" &&
+    value.key.length > 0 &&
+    value.schema === value &&
+    typeof value.entities === "object" &&
+    value.entities !== null &&
+    typeof value.applyPolicy === "function";
+export const schemaTraits = (schema) => reachableTraits(Object.values(schema.entities));
+//# sourceMappingURL=Schema.js.map

package/dist/db/Schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.js","sourceRoot":"","sources":["../../src/db/Schema.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,eAAe,GAEhB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,mBAAmB,GAEpB,MAAM,+CAA+C,CAAC;AAGvD,OAAO,EACL,mBAAmB,EACnB,iBAAiB,GAKlB,MAAM,gBAAgB,CAAC;AAsBxB,MAAM,CAAC,MAAM,aAAa,GAAkB,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;AAW/E,MAAM,aAAa,GAAG,mBAGY,CAAC;AAEnC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAsB,EAAE,CACtD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACb,KAAqC,CAAC,IAAI,KAAK,QAAQ;IACxD,OAAQ,KAAmC,CAAC,EAAE,KAAK,QAAQ,CAAC;AAE9D,MAAM,aAAa,GAAG,CAAC,QAAmB,EAAQ,EAAE;IAClD,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAmB,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAmB,CAAC,CAAC;IAC1E,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,IAAwB,EAAa,EAAE;IACvD,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,oDAAoD,CACrD,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;YAAE,MAAM,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;IAC7B,CAAC;IACD,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxB,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,KAAgB,EAAa,EAAE;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CACb,6BAA6B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CACpE,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,KAAK,MAAM,CAAC,EAAE;YAAE,MAAM,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,MAAM,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;IACD,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAqBF,MAAM,UAAU,MAAM,CACpB,GAAQ,EACR,QAA0C;IAE1C,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACpB,CAAC,CAAC,OAAO,CAAC,QAAqB,CAAC,CAAC;IACnC,MAAM,WAAW,GAAsB,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAC7D,IAAI,MAA+B,CAAC;IACpC,MAAM,WAAW,GAAG,CAAC,CAAC,GAAG,IAAe,EAAE,EAAE;QAC1C,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,mDAAmD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CACzE,CAAC;QACJ,CAAC;QACD,WAAW,CAAC,UAAU,GAAG,IAAI,CAAC;QAC9B,WAAW,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IACtD,CAAC,CAA2B,CAAC;IAC7B,MAAM,GAAG;QACP,IAAI,EAAE,QAAQ;QACd,GAAG;QACH,IAAI,MAAM;YACR,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,QAAQ,EAAE,SAAS;QACnB,WAAW;KACZ,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE;QAC3C,KAAK,EAAE,WAAW;QAClB,UAAU,EAAE,KAAK;QACjB,YAAY,EAAE,KAAK;QACnB,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAMD,MAAM,CAAC,MAAM,KAAK,GAAG,CAKnB,GAAQ,EACR,IAAuB,EACvB,KAAuC,EACnB,EAAE;IACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;YAAE,MAAM,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAW,CAGlE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAA2B,EACgB,EAAE,CAC5C,MAAgC,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;AAE3D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAc,EACgB,EAAE,CAChC,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACb,KAAqC,CAAC,IAAI,KAAK,QAAQ;IACxD,OAAQ,KAAoC,CAAC,GAAG,KAAK,QAAQ;IAC5D,KAAkC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;IACjD,KAAuC,CAAC,MAAM,KAAK,KAAK;IACzD,OAAQ,KAAyC,CAAC,QAAQ,KAAK,QAAQ;IACtE,KAAyC,CAAC,QAAQ,KAAK,IAAI;IAC5D,OAAQ,KAA4C,CAAC,WAAW,KAAK,UAAU,CAAC;AAOlF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAiB,EACc,EAAE,CACjC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAmB,CAG/D,CAAC"}

package/dist/db/Trait.d.ts

@@ -0,0 +1,129 @@
+import { type BindableTrait, type BoundFieldMap, type TraitBind } from "./Binding.ts";
+import { type FieldMap, type StampedMap } from "./Entity.ts";
+import type { AnyField } from "./Field.ts";
+import { type AttrNav, type PathCarrier } from "./shapes.ts";
+import { type FlattenedTraitFields, type ValidFieldMap, type ValidIdentName, type ValidTraitCompose } from "./IdentName.ts";
+import { OwnedOperations, type AnyUnboundOperation, type BoundOwnerOperations, type OwnedOperationAuthor, type ValidOwnedOperationMap } from "./Operation.ts";
+export type TraitOptions<Traits extends readonly AnyTrait[] = readonly AnyTrait[]> = {
+    readonly traits?: Traits;
+    readonly doc?: string;
+};
+export type BindableTraitOptions<Fields extends FieldMap, Traits extends readonly AnyTrait[], Bind extends TraitBind<Fields>> = TraitOptions<Traits> & {
+    readonly bind: Bind;
+};
+/**
+ * Stamped fields plus metadata. Address a field as `Taggable.tag`.
+ * `fields` is the iteration map — not a second public handle. Trait
+ * fields keep this trait's ident (`:taggable/tag`) when flattened onto
+ * a composer.
+ */
+export type Trait<Name extends string = string, Fields extends FieldMap = FieldMap, Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}> = {
+    readonly _tag: "Trait";
+    readonly ns: Name;
+    readonly fields: StampedMap<Name, Fields>;
+    readonly traits: readonly {
+        readonly ns: string;
+    }[];
+    readonly id: AttrNav<AnyField & {
+        readonly schema: {
+            readonly Type: number;
+        };
+        readonly attrName: "id";
+        readonly ident: ":db/id";
+        readonly valueType: "ref";
+        readonly cardinality: "one";
+        readonly _ns?: Trait<Name, Fields>;
+    } & PathCarrier>;
+    readonly [OwnedOperations]: BoundOwnerOperations<Trait<Name, Fields, Ops>, Ops>;
+} & StampedMap<Name, Fields>;
+/**
+ * Bound for trait-generic helpers. `fields` is a wide record so a
+ * composer with flattened trait fields stays assignable — `StampedMap`
+ * would demand `orDefault(unknown)` and reject specific field refs.
+ */
+export type AnyTrait = {
+    readonly _tag: "Trait";
+    readonly ns: string;
+    readonly fields: {
+        readonly [key: string]: AnyField & {
+            readonly ident: string;
+        };
+    };
+    readonly traits: readonly {
+        readonly ns: string;
+    }[];
+    readonly id: AttrNav<AnyField & {
+        readonly schema: {
+            readonly Type: number;
+        };
+        readonly attrName: "id";
+        readonly ident: ":db/id";
+        readonly valueType: "ref";
+        readonly cardinality: "one";
+    } & PathCarrier>;
+    readonly [OwnedOperations]?: Readonly<Record<string, unknown>>;
+};
+export declare namespace Trait {
+    type Any = AnyTrait;
+}
+type TraitWithTraits<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[], Ops extends Readonly<Record<string, AnyUnboundOperation>>> = Trait<Name, Fields, Ops> & FlattenedTraitFields<Traits> & {
+    readonly fields: StampedMap<Name, Fields> & FlattenedTraitFields<Traits>;
+    readonly traits: Traits;
+    readonly [OwnedOperations]: BoundOwnerOperations<Trait<Name, Fields, Ops> & {
+        readonly fields: StampedMap<Name, Fields> & FlattenedTraitFields<Traits>;
+        readonly traits: Traits;
+    }, Ops>;
+};
+type TraitOperationContext<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[]> = {
+    readonly _tag: "Trait";
+    readonly ns: Name;
+    readonly fields: StampedMap<Name, Fields> & FlattenedTraitFields<Traits>;
+    readonly traits: Traits;
+};
+type BindableTraitOperationContext<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[], Bind extends TraitBind<Fields>> = {
+    readonly _tag: "Trait";
+    readonly ns: Name;
+    readonly fields: BoundFieldMap<StampedMap<Name, Fields>, Bind> & FlattenedTraitFields<Traits>;
+    readonly traits: Traits;
+};
+type BindableTraitOperationOwner<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[], Bind extends TraitBind<Fields>> = BindableTraitOperationContext<Name, Fields, Traits, Bind> & Pick<Trait<Name, Fields>, "id"> & {
+    readonly [OwnedOperations]?: Readonly<Record<string, unknown>>;
+};
+type BindableTraitWithOperations<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[], Bind extends TraitBind<Fields>, Ops extends Readonly<Record<string, AnyUnboundOperation>>> = BindableTrait<Omit<TraitWithTraits<Name, Fields, Traits, Ops>, typeof OwnedOperations> & {
+    readonly [OwnedOperations]: BoundOwnerOperations<BindableTraitOperationOwner<Name, Fields, Traits, Bind>, Ops>;
+}, Bind>;
+/** Group fields under one ident prefix, optionally composing other traits. */
+export declare function Trait<const Name extends string, Fields extends FieldMap>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>): Trait<Name, Fields>;
+export declare function Trait<const Name extends string, Fields extends FieldMap, const Bind extends TraitBind<Fields>, const Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits?: never;
+    readonly doc?: string;
+    readonly bind: Bind;
+    readonly operations: (Operation: OwnedOperationAuthor<BindableTraitOperationContext<Name, Fields, readonly [], Bind>>) => ValidOwnedOperationMap<Ops, BindableTraitOperationContext<Name, Fields, readonly [], Bind>> & Ops;
+}): BindableTraitWithOperations<Name, Fields, readonly [], Bind, Ops>;
+export declare function Trait<const Name extends string, Fields extends FieldMap, const Bind extends TraitBind<Fields>, const Traits extends readonly AnyTrait[] = [], const Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits: Traits;
+    readonly doc?: string;
+    readonly bind: Bind;
+    readonly operations: (Operation: OwnedOperationAuthor<BindableTraitOperationContext<Name, Fields, Traits, Bind>>) => ValidOwnedOperationMap<Ops, BindableTraitOperationContext<Name, Fields, Traits, Bind>> & Ops;
+} & ValidTraitCompose<Fields, Traits>): BindableTraitWithOperations<Name, Fields, Traits, Bind, Ops>;
+export declare function Trait<const Name extends string, Fields extends FieldMap, const Bind extends TraitBind<Fields>, const Traits extends readonly AnyTrait[] = []>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: BindableTraitOptions<Fields, Traits, Bind> & {
+    readonly operations?: never;
+} & ValidTraitCompose<Fields, Traits>): BindableTrait<TraitWithTraits<Name, Fields, Traits, {}>, Bind>;
+export declare function Trait<const Name extends string, Fields extends FieldMap, const Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits?: never;
+    readonly bind?: never;
+    readonly doc?: string;
+    readonly operations: (Operation: OwnedOperationAuthor<TraitOperationContext<Name, Fields, readonly []>>) => ValidOwnedOperationMap<Ops, TraitOperationContext<Name, Fields, readonly []>> & Ops;
+}): TraitWithTraits<Name, Fields, readonly [], Ops>;
+export declare function Trait<const Name extends string, Fields extends FieldMap, const Traits extends readonly AnyTrait[] = [], const Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits: Traits;
+    readonly doc?: string;
+    readonly operations: (Operation: OwnedOperationAuthor<TraitOperationContext<Name, Fields, Traits>>) => ValidOwnedOperationMap<Ops, TraitOperationContext<Name, Fields, Traits>> & Ops;
+} & ValidTraitCompose<Fields, Traits>): TraitWithTraits<Name, Fields, Traits, Ops>;
+export declare function Trait<const Name extends string, Fields extends FieldMap, const Traits extends readonly AnyTrait[] = []>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits?: Traits;
+    readonly doc?: string;
+    readonly operations?: never;
+} & ValidTraitCompose<Fields, Traits>): TraitWithTraits<Name, Fields, Traits, {}>;
+export {};
+//# sourceMappingURL=Trait.d.ts.map

package/dist/db/Trait.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Trait.d.ts","sourceRoot":"","sources":["../../src/db/Trait.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,cAAc,CAAC;AAOtB,OAAO,EAEL,KAAK,QAAQ,EACb,KAAK,UAAU,EAChB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAiB,KAAK,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAE5E,OAAO,EAKL,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAEL,eAAe,EAEf,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC5B,MAAM,gBAAgB,CAAC;AAExB,MAAM,MAAM,YAAY,CACtB,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE,IACtD;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,oBAAoB,CAC9B,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,EAClC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,IAC5B,YAAY,CAAC,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACf,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,MAAM,SAAS,QAAQ,GAAG,QAAQ,EAClC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,IAC5D;IACF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAClB,QAAQ,GAAG;QACT,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;QAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;KACpC,GAAG,WAAW,CAChB,CAAC;IACF,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;CACjF,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAE7B;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;KAC/D,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAClB,QAAQ,GAAG;QACT,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;KAC7B,GAAG,WAAW,CAChB,CAAC;IACF,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAChE,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B,KAAY,GAAG,GAAG,QAAQ,CAAC;CAC5B;AAaD,KAAK,eAAe,CAClB,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,EAClC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,IACvD,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,GAC1B,oBAAoB,CAAC,MAAM,CAAC,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAC9C,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG;QACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,EACD,GAAG,CACJ,CAAC;CACH,CAAC;AAYJ,KAAK,qBAAqB,CACxB,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,IAChC;IACF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,6BAA6B,CAChC,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,EAClC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,IAC5B;IACF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,GAC5D,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,2BAA2B,CAC9B,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,EAClC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,IAC5B,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAC3D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG;IAChC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAChE,CAAC;AAEJ,KAAK,2BAA2B,CAC9B,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,EAClC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,EAC9B,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,IACvD,aAAa,CACf,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,eAAe,CAAC,GAAG;IACzE,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAC9C,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACvD,GAAG,CACJ,CAAC;CACH,EACD,IAAI,CACL,CAAC;AAEF,8EAA8E;AAC9E,wBAAgB,KAAK,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,QAAQ,EACtE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,GACrC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACvB,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,EACpC,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAEpE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,CACnB,SAAS,EAAE,oBAAoB,CAC7B,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,IAAI,CAAC,CAC/D,KACE,sBAAsB,CACzB,GAAG,EACH,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,IAAI,CAAC,CAC/D,GAAG,GAAG,CAAC;CACT,GACA,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACrE,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,EACpC,KAAK,CAAC,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,EAAE,EAC7C,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAEpE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,CACnB,SAAS,EAAE,oBAAoB,CAC7B,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAC1D,KACE,sBAAsB,CACzB,GAAG,EACH,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAC1D,GAAG,GAAG,CAAC;CACT,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAChE,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,EACpC,KAAK,CAAC,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,EAAE,EAE7C,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG;IACpD,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;CAC7B,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,aAAa,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AAClE,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAEpE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,CACnB,SAAS,EAAE,oBAAoB,CAC7B,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CACjD,KACE,sBAAsB,CACzB,GAAG,EACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CACjD,GAAG,GAAG,CAAC;CACT,GACA,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC;AACnD,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,EAAE,EAC7C,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAEpE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,CACnB,SAAS,EAAE,oBAAoB,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,KACzE,sBAAsB,CACzB,GAAG,EACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAC5C,GAAG,GAAG,CAAC;CACT,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;AAC9C,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,EAAE,EAE7C,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;CAC7B,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC"}

package/dist/db/Trait.js

@@ -0,0 +1,65 @@
+import { makeBindableTrait, } from "./Binding.js";
+import { flattenTraitFields, mergeComposerFields, walkTraits, } from "./compose.js";
+import { stamp, } from "./Entity.js";
+import { attachAttrNav } from "./shapes.js";
+import { DOCUMENTATION, normalizeDoc } from "./documentation.js";
+import { invalidIdentName, isIdentName, isReservedFieldKey, reservedFieldName, } from "./IdentName.js";
+import { bindOwnedOperations, OwnedOperations, ownedOperationAuthor, } from "./Operation.js";
+const assertTraitName = (name) => {
+    if (!isIdentName(name))
+        throw invalidIdentName("trait", name);
+};
+const assertFieldKeys = (fields) => {
+    for (const key of Object.keys(fields)) {
+        if (isReservedFieldKey(key))
+            throw reservedFieldName(key);
+        if (!isIdentName(key))
+            throw invalidIdentName("field", key);
+    }
+};
+export function Trait(name, fields, options) {
+    assertTraitName(name);
+    assertFieldKeys(fields);
+    const direct = (options?.traits ?? []);
+    walkTraits(direct);
+    const stamped = stamp(name, fields);
+    const flattened = flattenTraitFields(direct);
+    const merged = mergeComposerFields(stamped, flattened);
+    const idField = attachAttrNav({
+        _tag: "Field",
+        schema: null,
+        cardinality: "one",
+        unique: undefined,
+        index: false,
+        owned: false,
+        doc: undefined,
+        valueType: "ref",
+        isOptional: false,
+        default: undefined,
+        attrName: "id",
+        ident: ":db/id",
+    });
+    const doc = normalizeDoc(options?.doc);
+    const trait = {
+        _tag: "Trait",
+        ns: name,
+        [DOCUMENTATION]: doc,
+        fields: merged,
+        traits: direct,
+        id: idField,
+        [OwnedOperations]: {},
+        ...merged,
+    };
+    const operationAuthor = typeof options?.operations === "function"
+        ? ownedOperationAuthor()
+        : undefined;
+    const operationSpecs = typeof options?.operations === "function"
+        ? options.operations(operationAuthor)
+        : options?.operations;
+    trait[OwnedOperations] = bindOwnedOperations(trait, operationSpecs, operationAuthor);
+    if (options?.bind !== undefined) {
+        return makeBindableTrait(trait, options.bind);
+    }
+    return trait;
+}
+//# sourceMappingURL=Trait.js.map

package/dist/db/Trait.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Trait.js","sourceRoot":"","sources":["../../src/db/Trait.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,GAIlB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,GAEX,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,KAAK,GAGN,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,aAAa,EAAkC,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,kBAAkB,EAClB,iBAAiB,GAKlB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,oBAAoB,GAKrB,MAAM,gBAAgB,CAAC;AAuExB,MAAM,eAAe,GAAG,CAAC,IAAY,EAAQ,EAAE;IAC7C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,MAAM,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAgB,EAAQ,EAAE;IACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,kBAAkB,CAAC,GAAG,CAAC;YAAE,MAAM,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;YAAE,MAAM,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAmMF,MAAM,UAAU,KAAK,CAOnB,IAA0B,EAC1B,MAAsC,EACtC,OAKsC;IAOtC,eAAe,CAAC,IAAI,CAAC,CAAC;IACtB,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAA4B,CAAC;IAClE,UAAU,CAAC,MAAM,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,mBAAmB,CAChC,OAAkC,EAClC,SAAS,CACV,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC;QAC5B,IAAI,EAAE,OAAgB;QACtB,MAAM,EAAE,IAAa;QACrB,WAAW,EAAE,KAAc;QAC3B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,KAAK;QACZ,GAAG,EAAE,SAAS;QACd,SAAS,EAAE,KAAc;QACzB,UAAU,EAAE,KAAK;QACjB,OAAO,EAAE,SAAS;QAClB,QAAQ,EAAE,IAAa;QACvB,KAAK,EAAE,QAAiB;KACzB,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG;QACZ,IAAI,EAAE,OAAgB;QACtB,EAAE,EAAE,IAAI;QACR,CAAC,aAAa,CAAC,EAAE,GAAG;QACpB,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,MAAM;QACd,EAAE,EAAE,OAAO;QACX,CAAC,eAAe,CAAC,EAAE,EAAE;QACrB,GAAG,MAAM;KACV,CAAC;IACF,MAAM,eAAe,GACnB,OAAO,OAAO,EAAE,UAAU,KAAK,UAAU;QACvC,CAAC,CAAC,oBAAoB,EAA+C;QACrE,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,cAAc,GAClB,OAAO,OAAO,EAAE,UAAU,KAAK,UAAU;QACvC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,eAAgB,CAAC;QACtC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC;IACzB,KAAwC,CAAC,eAAe,CAAC,GAAG,mBAAmB,CAC9E,KAGC,EACD,cAAc,EACd,eAAe,CAChB,CAAC;IACF,IAAI,OAAO,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,iBAAiB,CACtB,KAA8D,EAC9D,OAAO,CAAC,IAAI,CAC8C,CAAC;IAC/D,CAAC;IACD,OAAO,KAEuC,CAAC;AACjD,CAAC"}

package/dist/db/Tx.d.ts

@@ -0,0 +1,128 @@
+import * as Effect from "effect/Effect";
+import { type Tempid } from "./entityArg.ts";
+import type { AnyEntity } from "./Entity.ts";
+import type { AnyField, CreationDefault, ValueOf } from "./Field.ts";
+import type { AnySchema } from "./Schema.ts";
+import type { AttrAtIdent, CatalogIdent, EntityRef, LookupRef, RefWriteValue, RefWriteTarget, UnbrandedId, ValueAtIdent, WriteAtEntity, IdentOfFieldIn } from "./idents.ts";
+type CatalogField<C extends AnySchema> = {
+    [N in keyof C["entities"]]: C["entities"][N]["fields"][keyof C["entities"][N]["fields"]];
+}[keyof C["entities"]];
+type FixedCatalogIdent<C extends AnySchema> = CatalogField<C> extends infer F ? F extends {
+    readonly fixed: true;
+    readonly ident: infer I extends string;
+} ? I : never : never;
+type WritableCatalogIdent<C extends AnySchema> = Exclude<CatalogIdent<C>, FixedCatalogIdent<C>>;
+export type TxField<C extends AnySchema> = {
+    readonly ident: WritableCatalogIdent<C>;
+} | WritableCatalogIdent<C>;
+type IdentOfTxField<C extends AnySchema, A> = A extends {
+    readonly ident: infer I extends string;
+} ? I : A extends CatalogIdent<C> ? A : never;
+export type TxValue<C extends AnySchema, A, H = TxHandle<C>> = IdentOfTxField<C, A> extends infer I ? [I] extends [never] ? never : I extends string ? AttrAtIdent<C, I>["valueType"] extends "ref" ? RefWriteValue<C, I, H> : ValueAtIdent<C, I> : never : never;
+export type FieldRefLookup<C extends AnySchema> = {
+    [I in CatalogIdent<C>]: readonly [
+        {
+            readonly ident: I;
+        },
+        ValueAtIdent<C, I>
+    ];
+}[CatalogIdent<C>];
+export type TxEntity<C extends AnySchema> = EntityRef<C, C["entities"][keyof C["entities"]] & AnyEntity, TxHandle<C>>;
+export type TxKnownEntity<C extends AnySchema> = string extends keyof C["entities"] ? AnyEntity : C["entities"][keyof C["entities"]];
+type RefSlotTarget<C extends AnySchema, N extends AnyEntity, K extends string> = RefWriteTarget<C, IdentOfFieldIn<N["fields"][K], N["ns"], K>>;
+type PutRef<C extends AnySchema, H = TxHandle<C>, Target extends AnyEntity = AnyEntity> = EntityRef<C, Target, H> | {
+    readonly eid: number | null;
+    readonly class: string;
+};
+type PutScalar<C extends AnySchema, N extends AnyEntity, K extends string, H = TxHandle<C>> = (N["fields"][K] extends {
+    readonly valueType: "ref";
+} ? PutRef<C, H, RefSlotTarget<C, N, K>> : ValueAtIdent<C, IdentOfFieldIn<N["fields"][K], N["ns"], K>>);
+type PutFieldValue<C extends AnySchema, N extends AnyEntity, K extends string, H = TxHandle<C>> = N["fields"][K] extends {
+    readonly valueType: "ref";
+} ? N["fields"][K]["cardinality"] extends "many" ? ReadonlyArray<PutScalar<C, N, K, H>> : PutScalar<C, N, K, H> : WriteAtEntity<C, N>[K];
+type FixedPutAttrs<N extends AnyEntity> = {
+    [K in keyof N["fields"] & string as N["fields"][K] extends {
+        readonly fixed: true;
+    } ? K : never]?: never;
+};
+export type PutAttrs<C extends AnySchema, N extends AnyEntity, H = TxHandle<C>> = {
+    [K in keyof WriteAtEntity<C, N> & string as N["fields"][K] extends {
+        readonly fixed: true;
+    } ? never : K]?: PutFieldValue<C, N, K, H> | undefined;
+} & FixedPutAttrs<N>;
+type FieldIsOptional<F> = F extends {
+    readonly cardinality: "many";
+} ? true : F extends {
+    readonly isOptional: true;
+} ? true : F extends {
+    readonly default: CreationDefault<unknown>;
+} ? true : F extends {
+    readonly compositionDefault: true;
+} ? true : undefined extends ValueOf<F extends AnyField ? F : never> ? true : false;
+type PublicPutKeys<N extends AnyEntity> = {
+    [K in keyof N["fields"] & string]: N["fields"][K] extends {
+        readonly fixed: true;
+    } ? never : K;
+}[keyof N["fields"] & string];
+type RequiredPutKeys<N extends AnyEntity> = {
+    [K in keyof N["fields"] & string]: N["fields"][K] extends {
+        readonly fixed: true;
+    } ? never : FieldIsOptional<N["fields"][K]> extends true ? never : K;
+}[keyof N["fields"] & string];
+type OptionalPutKeys<N extends AnyEntity> = Exclude<PublicPutKeys<N>, RequiredPutKeys<N>>;
+export type PutCreateAttrs<C extends AnySchema, N extends AnyEntity, H = TxHandle<C>> = {
+    [K in RequiredPutKeys<N>]: PutFieldValue<C, N, K, H>;
+} & {
+    [K in OptionalPutKeys<N>]?: PutFieldValue<C, N, K, H> | undefined;
+} & FixedPutAttrs<N>;
+type UpsertKeys<N extends AnyEntity> = {
+    [K in keyof N["fields"] & string]: N["fields"][K] extends {
+        readonly fixed: true;
+    } ? never : N["fields"][K] extends {
+        readonly unique: "upsert";
+    } ? K : never;
+}[keyof N["fields"] & string];
+type RequireAtLeastOne<T, Keys extends keyof T> = {
+    [K in Keys]-?: Required<Pick<T, K>> & Partial<Omit<T, K>>;
+}[Keys];
+export type UpdateMapAttrs<C extends AnySchema, N extends AnyEntity, H = TxHandle<C>> = [UpsertKeys<N>] extends [never] ? {
+    readonly "update map form needs a unique: \"upsert\" field": never;
+} : RequireAtLeastOne<PutAttrs<C, N, H>, UpsertKeys<N> & keyof PutAttrs<C, N, H>>;
+export type PutSubject<C extends AnySchema, N extends AnyEntity, H = TxHandle<C>> = EntityRef<C, N, H>;
+export type TxMap = Readonly<Record<string, unknown>>;
+export type TxOp = readonly [":db/add", unknown, string, unknown] | readonly [":db/update", unknown, string, unknown] | readonly [":db/update", unknown] | readonly [":db/retract", unknown, string] | readonly [":db/retract", unknown, string, unknown] | readonly [":db/retractEntity", unknown] | TxMap;
+export interface TxSpec {
+    readonly ops: readonly TxOp[];
+}
+export declare const TX_INTERNALS: unique symbol;
+export interface TxInternals<C extends AnySchema = AnySchema> {
+    readonly schema: C;
+    readonly ops: () => readonly TxOp[];
+}
+export declare const txOps: (tx: object) => readonly TxOp[];
+export declare const txSchema: <C extends AnySchema>(tx: Tx<C>) => C;
+export interface TxHandle<C extends AnySchema = AnySchema> {
+    readonly _tag: "TxHandle";
+    readonly eid: UnbrandedId | Tempid | LookupRef<C>;
+    set<const A extends TxField<C>>(field: A, value: TxValue<C, A, TxHandle<C>>): Effect.Effect<void>;
+    remove<const A extends TxField<C>>(field: A, value?: TxValue<C, A, TxHandle<C>>): Effect.Effect<void>;
+    readonly delete: Effect.Effect<void>;
+}
+export interface Tx<C extends AnySchema = AnySchema> {
+    entity(): Effect.Effect<TxHandle<C>>;
+    entity(id: TxEntity<C>): Effect.Effect<TxHandle<C>>;
+    tempid(name: string): Tempid;
+    set<const A extends TxField<C>>(e: TxEntity<C>, field: A, value: TxValue<C, A, TxHandle<C>>): Effect.Effect<void>;
+    remove<const A extends TxField<C>>(e: TxEntity<C>, field: A, value?: TxValue<C, A, TxHandle<C>>): Effect.Effect<void>;
+    delete(e: TxEntity<C>): Effect.Effect<void>;
+    put<N extends TxKnownEntity<C>>(entity: N, attrs: PutCreateAttrs<C, N>): Effect.Effect<TxHandle<C>>;
+    put<N extends TxKnownEntity<C>>(entity: N, id: PutSubject<C, N>, attrs: PutAttrs<C, N>): Effect.Effect<TxHandle<C>>;
+    update<N extends TxKnownEntity<C>>(entity: N, attrs: UpdateMapAttrs<C, N>): Effect.Effect<TxHandle<C>>;
+    update<N extends TxKnownEntity<C>>(entity: N, id: PutSubject<C, N>, attrs: PutAttrs<C, N>): Effect.Effect<TxHandle<C>>;
+}
+export type YieldError<Eff> = [Eff] extends [never] ? never : [Eff] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never;
+export type YieldContext<Eff> = [Eff] extends [never] ? never : [Eff] extends [Effect.Effect<infer _A, infer _E, infer R>] ? R : never;
+export declare const isTxHandle: (e: unknown) => e is TxHandle;
+export declare const txBuilder: <C extends AnySchema>(schema: C) => Tx<C>;
+export {};
+//# sourceMappingURL=Tx.d.ts.map

package/dist/db/Tx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tx.d.ts","sourceRoot":"","sources":["../../src/db/Tx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAwD,KAAK,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACnG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,EACT,aAAa,EACb,cAAc,EACd,WAAW,EACX,YAAY,EACZ,aAAa,EACb,cAAc,EACf,MAAM,aAAa,CAAC;AAErB,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI;KACtC,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CACzF,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AAEvB,KAAK,iBAAiB,CAAC,CAAC,SAAS,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACzE,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACxE,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV,KAAK,oBAAoB,CAAC,CAAC,SAAS,SAAS,IAAI,OAAO,CACtD,YAAY,CAAC,CAAC,CAAC,EACf,iBAAiB,CAAC,CAAC,CAAC,CACrB,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,IACnC;IAAE,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAA;CAAE,GAC3C,oBAAoB,CAAC,CAAC,CAAC,CAAC;AAE5B,KAAK,cAAc,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CACxC,GACG,CAAC,GACD,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,GACvB,CAAC,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IACzD,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAChC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,KAAK,GACL,CAAC,SAAS,MAAM,GACd,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,GAC1C,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACtB,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,KAAK,GACT,KAAK,CAAC;AAEZ,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,SAAS,IAAI;KAC/C,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,SAAS;QAC/B;YAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;SAAE;QACrB,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC;KACnB;CACF,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnB,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,IAAI,SAAS,CACnD,CAAC,EACD,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,SAAS,EAC9C,QAAQ,CAAC,CAAC,CAAC,CACZ,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,MAAM,SAAS,MAAM,CAAC,CAAC,UAAU,CAAC,GAC/E,SAAS,GACT,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AAEvC,KAAK,aAAa,CAChB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,MAAM,IACd,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAElE,KAAK,MAAM,CACT,CAAC,SAAS,SAAS,EACnB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EACf,MAAM,SAAS,SAAS,GAAG,SAAS,IAElC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GACvB;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D,KAAK,SAAS,CACZ,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,MAAM,EAChB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAEb,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GACjD,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GACpC,YAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAErE,KAAK,aAAa,CAChB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,MAAM,EAChB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IACb,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GACpD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,MAAM,GAC1C,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GACpC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACvB,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3B,KAAK,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACzD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;KACtB,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK;CACvB,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI;KAC/E,CAAC,IAAI,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACjE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;KACtB,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS;CACvD,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;AAErB,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAChE,IAAI,GACJ,CAAC,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;CAAE,GACrC,IAAI,GACJ,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,CAAA;CAAE,GACtD,IAAI,GACJ,CAAC,SAAS;IAAE,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAA;CAAE,GAC7C,IAAI,GACJ,SAAS,SAAS,OAAO,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,GACvD,IAAI,GACJ,KAAK,CAAC;AAElB,KAAK,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACxD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;KACtB,GAAG,KAAK,GAAG,CAAC;CACd,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,KAAK,eAAe,CAAC,CAAC,SAAS,SAAS,IAAI;KACzC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;KAAE,GAC9E,KAAK,GACL,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC5C,KAAK,GACL,CAAC;CACN,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,KAAK,eAAe,CAAC,CAAC,SAAS,SAAS,IAAI,OAAO,CACjD,aAAa,CAAC,CAAC,CAAC,EAChB,eAAe,CAAC,CAAC,CAAC,CACnB,CAAC;AAEF,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EACnB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IACb;KACD,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CACrD,GAAG;KACD,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS;CAClE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;AAErB,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,IAAI;KACpC,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;KAAE,GAC9E,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;KAC3B,GACG,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC;AAE9B,KAAK,iBAAiB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,IAAI;KAC/C,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC1D,CAAC,IAAI,CAAC,CAAC;AAER,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EACnB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IACb,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC/B;IAAE,QAAQ,CAAC,kDAAkD,EAAE,KAAK,CAAA;CAAE,GACtE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAElF,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EACnB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IACb,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEvB,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEtD,MAAM,MAAM,IAAI,GACZ,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GAC9C,SAAS,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GACjD,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,GAChC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,GACzC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GAClD,SAAS,CAAC,mBAAmB,EAAE,OAAO,CAAC,GACvC,KAAK,CAAC;AAEV,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC;CAC/B;AAED,eAAO,MAAM,YAAY,EAAE,OAAO,MAA0C,CAAC;AAE7E,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS;IAC1D,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,SAAS,IAAI,EAAE,CAAC;CACrC;AAUD,eAAO,MAAM,KAAK,OAAQ,MAAM,KAAG,SAAS,IAAI,EAA2B,CAAC;AAE5E,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,CAC7B,CAAC;AAE9B,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS;IACvD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAElD,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAC5B,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEvB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAC/B,KAAK,EAAE,CAAC,EACR,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GACjC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,EAAE,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS;IACjD,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpD,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAE7B,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAC5B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEvB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAC/B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,CAAC,EACR,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GACjC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEvB,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE5C,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,CAAC,CAAC,EAC5B,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,CAAC,CAAC,EAC5B,MAAM,EAAE,CAAC,EACT,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACpB,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9B,MAAM,CAAC,CAAC,SAAS,aAAa,CAAC,CAAC,CAAC,EAC/B,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,CAAC,SAAS,aAAa,CAAC,CAAC,CAAC,EAC/B,MAAM,EAAE,CAAC,EACT,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACpB,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/B;AAED,MAAM,MAAM,UAAU,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAC/C,KAAK,GACL,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GACxD,CAAC,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACjD,KAAK,GACL,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GACxD,CAAC,GACD,KAAK,CAAC;AAEZ,eAAO,MAAM,UAAU,MAAO,OAAO,KAAG,CAAC,IAAI,QAGE,CAAC;AAkKhD,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,SAAS,UAAU,CAAC,KAAG,EAAE,CAAC,CAAC,CA2G9D,CAAC"}