@dxos/echo 0.8.4-staging.ac66bdf99f → 0.9.0

package/dist/types/src/Type.d.ts

@@ -1,43 +1,64 @@
-import type * as Schema from 'effect/Schema';
+import * as Schema from 'effect/Schema';
+import type * as Types from 'effect/Types';
 import { type EncodedReference } from '@dxos/echo-protocol';
-import { type DXN } from '@dxos/keys';
-import { type ToMutable } from '@dxos/util';
-import type * as Entity from './Entity';
+import { DXN, type EntityId, type URI } from '@dxos/keys';
+import type * as Database from './Database';
+import type * as EntityModule from './Entity';
 import * as internal from './internal';
 import * as typeInternal from './internal/Type';
-import type * as ObjModule from './Obj';
 import type * as RelationModule from './Relation';
 /**
- * Dynamic type that can be constructed, mutated, and persisted in the ECHO database.
+ * Structural base shared by the three sibling type-entity interfaces
+ * ({@link Obj}, {@link Relation}, {@link Type}). NOT exported — callers
+ * should constrain on {@link AnyEntity} when they want "any of the three"
+ * and on the specific kind interface otherwise.
  */
-export declare const RuntimeType: typeof internal.EchoSchema;
-/**
- * Dynamic type that can be constructed, mutated, and persisted in the ECHO database.
- */
-export type RuntimeType = typeInternal.EchoSchema;
-/**
- * Type that marks a schema as an ECHO schema.
- * The value indicates the entity kind (Object or Relation).
- */
-type EchoSchemaKind<K extends internal.EntityKind = internal.EntityKind> = {
-    readonly [internal.SchemaKindId]: K;
-};
+interface BaseTypeEntity<A> {
+    /**
+     * Entity-kind brand of the type-entity value itself — always `EntityKind.Type`.
+     * The kind of instance the type *describes* lives on `[SchemaKindId]`
+     * (Object / Relation / Type). Lets `Obj.isObject` / `Relation.isRelation`
+     * reject type entities by a single `[KindId]` check.
+     */
+    readonly [internal.KindId]: internal.EntityKind.Type;
+    /**
+     * Object id. Like all ECHO entities, type entities always carry an id —
+     * stamped at construction for in-memory (static) declarations and assigned by
+     * the database once persisted. The id does NOT determine the entity's URI:
+     * static types resolve to their typename DXN, persisted types to `echo:/<id>`
+     * (see `getTypeURIFromSpecifier`).
+     */
+    readonly id: EntityId;
+    readonly name?: string;
+    readonly jsonSchema: internal.JsonSchemaType;
+    readonly [InstancePhantomId]?: A;
+}
 /**
- * TypeScript type for an ECHO object schema.
- * `T` is the instance type produced by the schema.
- * `Fields` is the optional struct fields type for introspection.
+ * TypeScript type for an ECHO object type — a `Type.Type<A>` entity.
+ *
+ * `T` is the instance type produced by `Obj.make(Foo, props)`. `Fields` is
+ * retained as a structural hint (the runtime value still carries `.fields`),
+ * but consumers should derive instance/encoded types via `Type.InstanceType`.
+ *
+ * **Not a `Schema.Schema`.** `Foo.ast` / `Schema.Schema.Type<typeof Foo>` /
+ * `Schema.extend(Foo)` no longer typecheck — extract the Effect Schema via
+ * `Type.getSchema(Foo)` first, or derive instance types via
+ * `Type.InstanceType<typeof Foo>`.
  *
  * @example
  * ```ts
- * const PersonSchema: Type.Obj<Person> = Schema.Struct({
+ * const Person = Schema.Struct({
  *   name: Schema.String,
- * }).pipe(Type.object({ typename: 'Person', version: '0.1.0' }));
+ * }).pipe(Type.makeObject(DXN.make('com.example.type.person', '0.1.0')));
  *
- * // Access fields for introspection:
- * Object.keys(PersonSchema.fields); // ['name']
+ * type Person = Type.InstanceType<typeof Person>;
  * ```
  */
-export interface Obj<T, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> extends internal.TypeMeta, EchoSchemaKind<internal.EntityKind.Object>, Schema.AnnotableClass<Obj<T, Fields>, Entity.OfKind<typeof Entity.Kind.Object> & T, Schema.Simplify<ObjModule.BaseObjJson & ToMutable<T>>, never> {
+export interface Obj<T, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> extends BaseTypeEntity<T & EntityModule.OfKind<typeof EntityModule.Kind.Object>> {
+    /** Schema-kind brand (object). */
+    readonly [internal.SchemaKindId]: internal.EntityKind.Object;
+    /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+    readonly [internal.StaticTypeSchemaSlot]: Schema.Schema.AnyNoContext;
     /**
      * The fields defined in the original struct schema.
      * Allows accessing field definitions for introspection.
@@ -45,44 +66,86 @@ export interface Obj<T, Fields extends Schema.Struct.Fields = Schema.Struct.Fiel
     readonly fields: Fields;
 }
 /**
- * Structural base type for any ECHO object schema.
- * Accepts both static schemas (created with Type.object()) and EchoSchema.
- * NOTE: Does not include the brand symbol to avoid TS4053 declaration portability issues.
- * Use Type.isObjectSchema() for runtime type guards.
- */
-type ObjectSchemaBase = Schema.Schema.AnyNoContext & {
-    readonly typename: string;
-    readonly version: string;
-};
-/**
- * Type that represents any ECHO object schema.
- * Accepts both static schemas (Type.object()) and mutable schemas (EchoSchema).
+ * Type that represents any ECHO object type — a `Type.Type` entity branded
+ * with the object entity kind, i.e. what `Type.makeObject(dxn)` produces.
  */
-export type AnyObj = ObjectSchemaBase;
+export type AnyObj = Obj<unknown>;
 /**
- * Factory function to create an ECHO object schema.
- * Adds object metadata annotations to an Effect schema.
+ * Factory function to create an ECHO object type.
+ *
+ * Returns a `Type.Type` entity — a live, in-memory `TypeSchema` instance,
+ * NOT a `Schema.Schema`. Use `Type.InstanceType<typeof Foo>` for the instance
+ * type and `Type.getSchema(Foo)` to obtain the underlying Effect Schema.
+ *
+ * The entity's id defaults to `EntityId.deterministic(typename, version)` so
+ * constructing a type never reaches `crypto.getRandomValues()` — required for
+ * Cloudflare workerd, which forbids RNG calls in global (module-evaluation)
+ * scope. Pass `{ id }` to override (e.g. with `EntityId.random()` from a
+ * request handler).
  *
  * @example
  * ```ts
  * const Person = Schema.Struct({
  *   name: Schema.String,
- * }).pipe(Type.object({ typename: 'com.example.type.person', version: '0.1.0' }));
+ * }).pipe(Type.makeObject(DXN.make('com.example.type.person', '0.1.0')));
  * ```
  */
-export declare const object: {
-    (opts: internal.TypeMeta): <Self extends Schema.Schema.Any>(self: Self) => Obj<Schema.Schema.Type<Self>>;
+export declare const makeObject: {
+    (dxn: DXN.DXN, options?: {
+        id?: EntityId;
+    }): <Self extends Schema.Schema.Any>(self: Self) => Obj<Schema.Schema.Type<Self>>;
 };
-export declare const PersistentType: Obj<typeInternal.PersistentSchema>;
-export interface PersistentType extends Schema.Schema.Type<typeof PersistentType> {
-}
 /**
- * TypeScript type for an ECHO relation schema.
- * `T` is the instance type produced by the schema (excluding source/target).
- * `Source` and `Target` are the endpoint types.
- * `Fields` is the optional struct fields type for introspection.
+ * ECHO meta-schema entity — stores `{ name?, typename, version, jsonSchema }`.
+ * Type-kind sibling of `Type.makeObject(...)` / `Type.makeRelation(...)` outputs.
+ * Stored types live under this entity; filter via `Filter.type(Type.Type)`.
+ */
+export declare const Type: Type<typeInternal.TypeSchema>;
+/**
+ * Common props shared by the type-kind factories. Typename and version are
+ * optional — drafts omit typename and default version to {@link DRAFT_VERSION}.
  */
-export interface Relation<T, Source, Target, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> extends internal.TypeMeta, EchoSchemaKind<internal.EntityKind.Relation>, Schema.AnnotableClass<Relation<T, Source, Target, Fields>, Entity.OfKind<typeof Entity.Kind.Relation> & RelationModule.Endpoints<Source, Target> & T, Schema.Simplify<RelationModule.BaseRelationJson & ToMutable<T>>, never> {
+type MakeTypeProps = {
+    jsonSchema: internal.JsonSchemaType;
+    typename?: string;
+    version?: string;
+    name?: string;
+    id?: EntityId;
+};
+/**
+ * Construct a new object-kind type entity from raw metadata — for cases where
+ * an Effect Schema isn't available (e.g. JSON-Schema arriving over the network
+ * or from a UI editor). Parallel to {@link makeObject} but takes pre-built
+ * `jsonSchema` instead of piping through an Effect schema.
+ *
+ * The returned entity is in-memory; persist it with `db.addType(entity)`.
+ */
+export declare const makeObjectFromJsonSchema: (props: MakeTypeProps) => Type<typeInternal.TypeSchema>;
+/**
+ * Construct a new relation-kind type entity from raw metadata. Parallel to
+ * {@link makeRelation} but takes pre-built `jsonSchema` instead of piping
+ * through an Effect schema. `source` / `target` accept either a static
+ * `Type.Obj` entity or the well-known `Obj.Unknown` schema.
+ *
+ * The returned entity is in-memory; persist it with `db.addType(entity)`.
+ */
+export declare const makeRelationFromJsonSchema: (props: MakeTypeProps & {
+    source: AnyObj | internal.UnknownTypeSchema<any, typeof EntityModule.Kind.Object>;
+    target: AnyObj | internal.UnknownTypeSchema<any, typeof EntityModule.Kind.Object>;
+}) => Type<typeInternal.TypeSchema>;
+/**
+ * TypeScript type for an ECHO relation type — a `Type.Type<A>` entity.
+ *
+ * `T` is the instance-property type produced by `Relation.make(...)` (excluding
+ * source/target endpoints). `Source` and `Target` are the endpoint types.
+ *
+ * **Not a `Schema.Schema`.** See {@link Obj}'s note.
+ */
+export interface Relation<T, Source, Target, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> extends BaseTypeEntity<RelationModule.Endpoints<Source, Target> & T & EntityModule.OfKind<typeof EntityModule.Kind.Relation>> {
+    /** Schema-kind brand (relation). */
+    readonly [internal.SchemaKindId]: internal.EntityKind.Relation;
+    /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+    readonly [internal.StaticTypeSchemaSlot]: Schema.Schema.AnyNoContext;
     /**
      * The fields defined in the original struct schema.
      * Allows accessing field definitions for introspection.
@@ -90,20 +153,10 @@ export interface Relation<T, Source, Target, Fields extends Schema.Struct.Fields
     readonly fields: Fields;
 }
 /**
- * Structural base type for any ECHO relation schema.
- * Accepts static schemas (created with Type.relation()).
- * NOTE: Does not include the brand symbol to avoid TS4053 declaration portability issues.
- * Use Type.isRelationSchema() for runtime type guards.
- */
-type RelationSchemaBase = Schema.Schema.AnyNoContext & {
-    readonly typename: string;
-    readonly version: string;
-};
-/**
- * Type that represents any ECHO relation schema.
- * Accepts static schemas (Type.relation()).
+ * Type that represents any ECHO relation type — a `Type.Type` entity branded
+ * with the relation entity kind, i.e. what `Type.makeRelation(...)` produces.
  */
-export type AnyRelation = RelationSchemaBase;
+export type AnyRelation = Relation<unknown, unknown, unknown>;
 /**
  * Factory function to create an ECHO relation schema.
  * Adds relation metadata annotations to an Effect schema.
@@ -112,65 +165,279 @@ export type AnyRelation = RelationSchemaBase;
  * ```ts
  * const WorksFor = Schema.Struct({
  *   role: Schema.String,
- * }).pipe(Type.relation({
- *   typename: 'com.example.type.works-for',
- *   version: '0.1.0',
+ * }).pipe(Type.makeRelation({
+ *   dxn: DXN.make('com.example.type.worksFor', '0.1.0'),
  *   source: Person,
  *   target: Company,
  * }));
  * ```
  */
-export declare const relation: {
-    <SourceSchema extends Schema.Schema.AnyNoContext, TargetSchema extends Schema.Schema.AnyNoContext>(opts: internal.EchoRelationSchemaOptions<SourceSchema, TargetSchema>): <Self extends Schema.Schema.Any>(self: Self) => Relation<Schema.Schema.Type<Self>, Schema.Schema.Type<SourceSchema>, Schema.Schema.Type<TargetSchema>>;
+export declare const makeRelation: {
+    <SourceInstance, TargetInstance>(opts: {
+        dxn: DXN.DXN;
+        source: Obj<SourceInstance, any> | internal.UnknownTypeSchema<SourceInstance, typeof EntityModule.Kind.Object>;
+        target: Obj<TargetInstance, any> | internal.UnknownTypeSchema<TargetInstance, typeof EntityModule.Kind.Object>;
+        /**
+         * Override the entity id. Defaults to `EntityId.deterministic(typename, version)`;
+         * see `Type.makeObject` for the workerd motivation.
+         */
+        id?: EntityId;
+    }): <Self extends Schema.Schema.Any>(self: Self) => Relation<Schema.Schema.Type<Self>, SourceInstance & EntityModule.OfKind<typeof EntityModule.Kind.Object>, TargetInstance & EntityModule.OfKind<typeof EntityModule.Kind.Object>>;
 };
 /**
- * Type alias for any ECHO entity schema (object or relation).
- * Use this in type annotations for schema parameters.
+ * Type that represents any ECHO type-kind entity — a `Type.Type` meta-schema
+ * value (static `Type.Type` or a persisted draft from `db.addType(...)`).
+ * Mirrors {@link AnyObj} / {@link AnyRelation} for the third sibling kind.
+ */
+export type AnyType = Type<unknown>;
+/**
+ * Any ECHO type-entity — one of the three sibling kinds: object-kind, relation-kind,
+ * or type-kind (the meta-schema). APIs that want "any ECHO type" use this union;
+ * the underlying Effect Schema is retrieved via `Type.getSchema`.
  */
-export type AnyEntity = AnyObj | AnyRelation;
+export type AnyEntity = AnyObj | AnyRelation | AnyType;
 /**
- * Type guard to check if a schema is an object schema.
- * NOTE: This checks SCHEMAS, not instances. Use Obj.isObject for instances.
+ * Type guard: narrows a `Type.AnyEntity` to an object-kind entity. Checks
+ * ENTITIES, not instances — use `Obj.isObject` for instances. Raw
+ * `Schema.Schema` values (including the branded `Obj.Unknown` companion)
+ * are intentionally not accepted; inspect their `TypeAnnotation` directly.
  */
-export declare const isObjectSchema: (schema: AnyEntity) => schema is AnyObj;
+export declare const isObject: (entity: AnyEntity) => entity is AnyObj;
 /**
- * Type guard to check if a schema is a relation schema.
- * NOTE: This checks SCHEMAS, not instances. Use Relation.isRelation for instances.
+ * Type guard: narrows a `Type.AnyEntity` to a relation-kind entity. Checks
+ * ENTITIES, not instances — use `Relation.isRelation` for instances.
  */
-export declare const isRelationSchema: (schema: AnyEntity) => schema is AnyRelation;
+export declare const isRelation: (entity: AnyEntity) => entity is AnyRelation;
+/**
+ * Type guard: narrows a `Type.AnyEntity` to the type-kind meta-schema
+ * (e.g. `Type.Type`). Mirrors {@link isObject} / {@link isRelation}.
+ */
+export declare const isTypeKind: (entity: AnyEntity) => entity is Type;
+/**
+ * Narrow a `Type.AnyEntity` (e.g. one returned from `schemaRegistry.query(...)`)
+ * to `AnyObj`, throwing if it describes a relation or the type-kind
+ * meta-schema. Use at call sites that need to pass the value to `Obj.make`,
+ * `Filter.type`, or other object-only APIs.
+ */
+export declare const assertObject: (entity: AnyEntity) => AnyObj;
+/** Narrow a `Type.AnyEntity` to `AnyRelation`, throwing otherwise. */
+export declare const expectRelation: (entity: AnyEntity) => AnyRelation;
+/** Narrow a `Type.AnyEntity` to the `Type.Type` meta-schema, throwing otherwise. */
+export declare const expectTypeKind: (entity: AnyEntity) => Type;
 /**
  * Type that represents any Ref schema (with unknown target type).
  * This is a schema type, not an instance type.
  */
 export type AnyRef = Schema.Schema<internal.Ref<any>, EncodedReference>;
 /**
- * Gets the full DXN of the schema.
- * Will include the version if it's a `type` DXN.
- * @example "dxn:com.example.type.person:0.1.0"
- * @example "dxn:echo:SSSSSSSSSS:XXXXXXXXXXXXX"
+ * Returns the URI identifying a type entity. Always defined.
+ *
+ * - Static `Type.Obj` / `Type.Relation` → typename DXN (e.g. `dxn:com.example.type.person:0.1.0`).
+ * - Persisted `Type.Type` instance (has `id`) → local `EID` (`echo:/<objectId>`).
+ * - In-memory `Type.Type` draft (has `id`, no typename) → local `EID`.
+ *
+ * Only accepts `Type.AnyEntity` entities. Raw `Schema.Schema` values and the
+ * branded `Obj.Unknown` / `Relation.Unknown` schemas are intentionally not
+ * supported — use `internal.getSchemaURI` or the schema's typename annotation
+ * directly when working at the schema level.
  */
-export declare const getDXN: (schema: AnyEntity) => DXN | undefined;
+export declare const getURI: (input: AnyEntity) => URI.URI;
 /**
- * @param schema - Schema to get the typename from.
- * @returns The typename of the schema. Example: `com.example.type.person`.
+ * @returns The typename. Example: `com.example.type.person`.
+ *
+ * Persisted `Type.Type` entities carry typename in `EntityMeta.key` (the
+ * canonical registry-provenance field); unnamed drafts fall back to the
+ * entity's object id so the helper always returns a string. Any `dxn:` or
+ * `echo:/` prefix is stripped — typename is a bare identifier, not a URI.
  */
-export declare const getTypename: (schema: AnyEntity) => string;
+export declare const getTypename: (input: AnyEntity) => string;
 /**
- * Gets the version of the schema.
+ * Gets the version.
  * @example 0.1.0
+ * @example 0.1.0-<heads> (in-database, versioned by automerge heads)
+ *
+ * The registry-provenance semver lives in `EntityMeta.version`; unversioned
+ * drafts default to {@link DRAFT_VERSION} (`'0.0.0'`). In-database entities are
+ * additionally versioned by their automerge heads, which are exposed as the
+ * semver pre-release tag (`<semver>-<heads>`). In-memory declarations have no
+ * heads and surface the bare semver. Read the registry semver alone via
+ * `Type.getMeta(input).version`.
+ */
+export declare const getVersion: (input: AnyEntity) => string;
+/**
+ * Type predicate: true iff the value is any type-kind ECHO entity — a static
+ * `Type.Obj` / `Type.Relation` produced by `Type.makeObject` / `Type.makeRelation`, a
+ * static meta `Type.Type`, or a persisted `Type.Type` returned by the database.
+ *
+ * All three branches stamp `[KindId] = Type`, so this is a single brand check.
+ * Use {@link isObject} / {@link isRelation} / {@link isTypeKind}
+ * when you need to discriminate further; use {@link getDatabase} when you mean
+ * "is this a db-attached type" (vs. an in-memory declaration).
+ */
+export declare const isType: (value: unknown) => value is AnyEntity;
+/**
+ * Get the database the type entity belongs to, or `undefined` if it is an
+ * in-memory declaration (`Type.makeObject` / `Type.makeRelation` result) not
+ * yet attached to a database. Mirrors `Obj.getDatabase` / `Relation.getDatabase`.
+ *
+ * Database attachment is the canonical discriminator between in-memory and
+ * in-database type entities — both are live reactive `TypeSchema` instances and
+ * are otherwise indistinguishable.
+ */
+export declare const getDatabase: (input: AnyEntity) => Database.Database | undefined;
+/**
+ * Mutable meta type returned by `Type.getMeta` inside a `Type.update` callback.
+ * Mirrors `Obj.Meta` / `Relation.Meta` — `Type.Type` is an Entity like its
+ * siblings, so its meta is the same `EntityMeta` record:
+ * `{ keys, tags?, key?, version? }`.
+ *
+ * `key` / `version` here are the canonical registry-provenance pair
+ * (typename + semver) on persisted Type.Type entities; they are absent on
+ * unnamed drafts. Use {@link getTypename} / {@link getVersion} when you want
+ * a non-`undefined` value with id / {@link DRAFT_VERSION} fallbacks.
+ */
+export type Meta = internal.Meta;
+/**
+ * Deeply read-only version of {@link Meta}.
+ * Prevents mutation at all nesting levels (e.g., `meta.keys.push()` is a TS error).
+ */
+export type ReadonlyMeta = internal.ReadonlyMeta;
+/**
+ * Returns the entity's `EntityMeta`. Same semantics as `Obj.getMeta` /
+ * `Relation.getMeta` — `Type.Type` is an Entity and carries the canonical
+ * `EntityMeta` directly. Returns mutable meta when passed a mutable type
+ * (inside a `Type.update` callback), read-only meta otherwise.
+ *
+ * For persisted Type entities, `meta.key` holds the typename and
+ * `meta.version` holds the semver. Use {@link getTypename} / {@link getVersion}
+ * if you want the helpers' id / {@link DRAFT_VERSION} fallbacks for drafts.
+ *
+ * Both persisted and in-memory type entities (`Type.makeObject` /
+ * `Type.makeRelation` results) carry their `EntityMeta` via `[MetaId]`, so the
+ * lookup is uniform.
+ */
+export declare function getMeta(entity: internal.Mutable<AnyEntity>): Meta;
+export declare function getMeta(entity: Mutable): Meta;
+export declare function getMeta(entity: AnyEntity): ReadonlyMeta;
+/**
+ * Get the display label of a type entity.
+ * Reads the field(s) nominated by the type's {@link LabelAnnotation} (e.g. `name` on persisted schemas).
+ * Returns `undefined` if no label field is populated.
+ */
+export declare const getLabel: (entity: AnyEntity, options?: internal.GetLabelOptions) => string | undefined;
+/**
+ * String key used to phantom-carry the instance type produced by a `Type.Type`.
+ * Used by `Type.InstanceType<typeof Foo>` to recover the schema instance type
+ * since `Type.makeObject(dxn)` does not return a `Schema.Schema`.
+ *
+ * Re-exported from the internal types layer so both `Type.ts` and internal
+ * helpers (`makeObject`, `createObject`) reference the same phantom key.
+ */
+export declare const InstancePhantomId: "~@dxos/echo/Type.Instance";
+export type InstancePhantomId = internal.InstancePhantomId;
+/**
+ * Sibling of {@link Obj} / {@link Relation} for the third ECHO entity kind:
+ * **type-kind** entities (meta-schemas). The singleton {@link Type} const is
+ * the canonical example — it describes stored type definitions themselves.
+ *
+ * Not a `Schema.Schema`. Use `Type.getSchema(value)` to obtain the underlying
+ * Effect Schema and `Type.update(value, draft => ...)` to mutate.
+ *
+ * `A` is the instance-type phantom — what `Obj.make(value, ...)` would produce.
+ * Merged with the `Type` const value via TypeScript declaration merging.
+ */
+export interface Type<A = unknown> extends BaseTypeEntity<A & EntityModule.OfKind<typeof EntityModule.Kind.Type>> {
+    /** Schema-kind brand (type — the meta-schema kind). */
+    readonly [internal.SchemaKindId]: internal.EntityKind.Type;
+    /** Source Effect Schema — used internally by `Type.getSchema(self)`. */
+    readonly [internal.StaticTypeSchemaSlot]: Schema.Schema.AnyNoContext;
+}
+/**
+ * Instance type produced by a Type entity.
+ *
+ * Accepts ONLY {@link AnyEntity} inputs — `Type.Obj`, `Type.Relation`, or
+ * `Type.Type`. Raw Effect `Schema.Schema` values are rejected: for those, use
+ * `Schema.Schema.Type<typeof Foo>` directly. This separation keeps the type
+ * system honest about which values represent ECHO entities versus plain
+ * Effect schemas.
+ *
+ * Dispatches on the entity kind:
+ *  - `Relation<Props, S, T>` → `Endpoints<S,T> & Props & OfKind<Relation>`
+ *  - `Obj<A>`                → `A & OfKind<Object>`
+ *  - `Type<A>`               → `A & OfKind<Type>`
+ */
+export type InstanceType<T extends AnyEntity> = T extends Relation<infer Props, infer Source, infer Target, any> ? RelationModule.Endpoints<Source, Target> & Props & EntityModule.OfKind<typeof EntityModule.Kind.Relation> : T extends Obj<infer A, any> ? A & EntityModule.OfKind<typeof EntityModule.Kind.Object> : T extends Type<infer A> ? A & EntityModule.OfKind<typeof EntityModule.Kind.Type> : never;
+/**
+ * Returns the Effect Schema for a type entity.
+ *
+ * - For static `Type.Obj` / `Type.Relation` entities the source Effect Schema is
+ *   read from a hidden slot — these overloads preserve the instance type.
+ * - For `Type.Type` entities (the meta-schema kind) the schema is rebuilt from
+ *   `type.jsonSchema`; the instance type isn't statically knowable so the wide
+ *   `AnyEntity` overload widens to `Schema.Schema.AnyNoContext`.
+ *
+ * Always call this when you need to interact with the Effect Schema API
+ * (e.g. before passing to Effect.Schema functions). For ECHO-side APIs
+ * (`Obj.make`, `Filter.type`, `Ref`) pass the type entity directly.
+ *
+ * Only accepts `Type.AnyEntity` — raw `Schema.Schema` values can be used
+ * directly without unwrapping.
+ */
+export declare function getSchema<T extends AnyObj>(type: T): Schema.Schema<InstanceType<T>>;
+export declare function getSchema<T extends AnyRelation>(type: T): Schema.Schema<InstanceType<T>>;
+export declare function getSchema(type: AnyEntity): Schema.Schema.AnyNoContext;
+/**
+ * Mutable view of a `Type.Type` — the shape passed to the `Type.update` callback.
+ * Outside `Type.update`, `Type.Type` fields are read-only (both at the type level
+ * and at runtime — direct assignment throws). Use this to constrain mutation to
+ * the change context, analogous to `Obj.update(obj, (draft) => ...)`.
+ *
+ * NOTE: `typename` and `version` are intentionally absent — they live in
+ * `EntityMeta` (`key` / `version` — the canonical registry-provenance pair).
+ * Read them via {@link getTypename} / {@link getVersion} / {@link getMeta};
+ * `typename` is treated as immutable on persisted entities.
+ *
+ * Unlike `Obj.update` — whose mutable view is inferred as `Mutable<A>` over the
+ * whole instance type because every data field is editable — a `Type.Type`
+ * exposes only `name` and `jsonSchema` for mutation. The rest of its shape
+ * (`id`, the `[KindId]` / `[SchemaKindId]` brands, and `typename` / `version`
+ * in meta) is immutable, so this view is declared explicitly rather than
+ * derived from `InstanceType<Type.Type>`.
+ */
+export interface Mutable {
+    name?: string;
+    jsonSchema: Types.DeepMutable<internal.JsonSchemaType>;
+}
+/**
+ * Perform mutations on a `Type.Type` within a change context.
+ *
+ * The callback receives a {@link Mutable} view of the type — direct mutation of
+ * a `Type.Type` outside `Type.update` throws at runtime, mirroring `Obj.update`.
+ * Delegates to the same automerge-transaction primitive `Obj.update(obj, cb)` uses.
+ */
+export declare const update: (type: AnyEntity, callback: (mutable: Mutable) => void) => void;
+/**
+ * Add fields to a persisted type's schema.
+ * @throws if the type is not persisted.
  */
-export declare const getVersion: (schema: AnyEntity) => string;
+export declare const addFields: (type: AnyEntity, fields: Schema.Struct.Fields) => void;
 /**
- * @returns True if the schema is mutable.
+ * Replace existing fields on a persisted type's schema.
+ * @throws if the type is not persisted.
  */
-export declare const isMutable: (schema: Schema.Schema.AnyNoContext) => schema is internal.EchoSchema;
+export declare const updateFields: (type: AnyEntity, fields: Schema.Struct.Fields) => void;
 /**
- * ECHO type metadata.
+ * Rename a field on a persisted type's schema.
+ * @throws if the type is not persisted.
  */
-export type Meta = internal.TypeAnnotation;
+export declare const updateFieldPropertyName: (type: Type, { before, after }: {
+    before: PropertyKey;
+    after: PropertyKey;
+}) => void;
 /**
- * Gets the meta data of the schema.
+ * Remove fields from a persisted type's schema.
+ * @throws if the type is not persisted.
  */
-export declare const getMeta: (schema: AnyEntity) => Meta | undefined;
+export declare const removeFields: (type: AnyEntity, fieldNames: string[]) => void;
 export {};
 //# sourceMappingURL=Type.d.ts.map

package/dist/types/src/Type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/Type.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,KAAK,MAAM,MAAM,UAAU,CAAC;AACxC,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,YAAY,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,KAAK,SAAS,MAAM,OAAO,CAAC;AACxC,OAAO,KAAK,KAAK,cAAc,MAAM,YAAY,CAAC;AAElD;;GAEG;AACH,eAAO,MAAM,WAAW,4BAA0B,CAAC;AAEnD;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,YAAY,CAAC,UAAU,CAAC;AAMlD;;;GAGG;AACH,KAAK,cAAc,CAAC,CAAC,SAAS,QAAQ,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI;IACzE,QAAQ,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;CACrC,CAAC;AAMF;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAChF,SACE,QAAQ,CAAC,QAAQ,EACjB,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAC1C,MAAM,CAAC,cAAc,CACnB,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EACd,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAC5C,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,EACrD,KAAK,CACN;IACH;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,KAAK,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEtC;;;;;;;;;;GAUG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,GAAG,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;CACvE,CAAC;AAMrC,eAAO,MAAM,cAAc,EAAE,GAAG,CAAC,YAAY,CAAC,gBAAgB,CAAwC,CAAC;AAEvG,MAAM,WAAW,cAAe,SAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,cAAc,CAAC;CAAG;AAEpF;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CACrG,SACE,QAAQ,CAAC,QAAQ,EACjB,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC5C,MAAM,CAAC,cAAc,CACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EACnC,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EACzF,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,EAC/D,KAAK,CACN;IACH;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,KAAK,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAE7C;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,YAAY,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,YAAY,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,EAC/F,IAAI,EAAE,QAAQ,CAAC,yBAAyB,CAAC,YAAY,EAAE,YAAY,CAAC,GACnE,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAChC,IAAI,EAAE,IAAI,KACP,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;CACxE,CAAC;AAEvC;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,WAAW,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,cAAc,GAAI,QAAQ,SAAS,KAAG,MAAM,IAAI,MAE5D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,SAAS,KAAG,MAAM,IAAI,WAE9D,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAMxE;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,QAAQ,SAAS,KAAG,GAAG,GAAG,SAEhD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,QAAQ,SAAS,KAAG,MAI/C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,SAAS,KAAG,MAI9C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,uEAAyB,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC;AAE3C;;GAEG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ,SAAS,KAAG,IAAI,GAAG,SAElD,CAAC"}
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/Type.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAG3C,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAE,GAAG,EAAO,KAAK,QAAQ,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAE/D,OAAO,KAAK,KAAK,QAAQ,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,KAAK,YAAY,MAAM,UAAU,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,YAAY,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,KAAK,cAAc,MAAM,YAAY,CAAC;AAMlD;;;;;GAKG;AACH,UAAU,cAAc,CAAC,CAAC;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;IAErD;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAKvB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,cAAc,CAAC;IAC7C,QAAQ,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC;CAClC;AAMD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAE,SAAQ,cAAc,CACxG,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CACzD;IACC,kCAAkC;IAClC,QAAQ,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;IAE7D,wEAAwE;IACxE,QAAQ,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAErE;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;AAElC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CACE,GAAG,EAAE,GAAG,CAAC,GAAG,EACZ,OAAO,CAAC,EAAE;QAAE,EAAE,CAAC,EAAE,QAAQ,CAAA;KAAE,GAC1B,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;CAC/C,CAAC;AAOrC;;;;GAIG;AACH,eAAO,MAAM,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAkC,CAAC;AAUlF;;;GAGG;AACH,KAAK,aAAa,GAAG;IACnB,UAAU,EAAE,QAAQ,CAAC,cAAc,CAAC;IACpC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,EAAE,CAAC,EAAE,QAAQ,CAAC;CACf,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,UAAW,aAAa,KAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAgB3F,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,UAC9B,aAAa,GAAG;IACrB,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,GAAG,EAAE,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClF,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,GAAG,EAAE,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;CACnF,KACA,IAAI,CAAC,YAAY,CAAC,UAAU,CAwB9B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,WAAW,QAAQ,CACvB,CAAC,EACD,MAAM,EACN,MAAM,EACN,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAC1D,SAAQ,cAAc,CACtB,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CACtG;IACC,oCAAoC;IACpC,QAAQ,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;IAE/D,wEAAwE;IACxE,QAAQ,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAErE;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE9D;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE;QACrC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QACb,MAAM,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC,cAAc,EAAE,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/G,MAAM,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC,cAAc,EAAE,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/G;;;WAGG;QACH,EAAE,CAAC,EAAE,QAAQ,CAAC;KACf,GAAG,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACjC,IAAI,EAAE,IAAI,KACP,QAAQ,CACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EACxB,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EACrE,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CACtE,CAAC;CACkC,CAAC;AAEvC;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;AAEpC;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,CAAC;AAEvD;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,WAAY,SAAS,KAAG,MAAM,IAAI,MAEtD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,UAAU,WAAY,SAAS,KAAG,MAAM,IAAI,WAExD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,UAAU,WAAY,SAAS,KAAG,MAAM,IAAI,IAExD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,YAAY,WAAY,SAAS,KAAG,MAGhD,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,cAAc,WAAY,SAAS,KAAG,WAGlD,CAAC;AAEF,oFAAoF;AACpF,eAAO,MAAM,cAAc,WAAY,SAAS,KAAG,IAGlD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAMxE;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,MAAM,UAAW,SAAS,KAAG,GAAG,CAAC,GAQ7C,CAAC;AAEF;;;;;;;GAOG;AAGH,eAAO,MAAM,WAAW,UAAW,SAAS,KAAG,MAyB9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,UAAU,UAAW,SAAS,KAAG,MAe7C,CAAC;AAoBF;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,UAAW,OAAO,KAAG,KAAK,IAAI,SACgB,CAAC;AAElE;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,UAAW,SAAS,KAAG,QAAQ,CAAC,QAAQ,GAAG,SAAwC,CAAC;AAE5G;;;;;;;;;;GAUG;AACH,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;AAEjC;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;AAEjD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;AACnE,wBAAgB,OAAO,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;AAC/C,wBAAgB,OAAO,CAAC,MAAM,EAAE,SAAS,GAAG,YAAY,CAAC;AAWzD;;;;GAIG;AACH,eAAO,MAAM,QAAQ,WAAY,SAAS,YAAY,QAAQ,CAAC,eAAe,KAAG,MAAM,GAAG,SACtD,CAAC;AAErC;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,6BAA6B,CAAC;AAC5D,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC,iBAAiB,CAAC;AAE3D;;;;;;;;;;GAUG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,cAAc,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/G,uDAAuD;IACvD,QAAQ,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;IAE3D,wEAAwE;IACxE,QAAQ,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;CACtE;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,IAC1C,CAAC,SAAS,QAAQ,CAAC,MAAM,KAAK,EAAE,MAAM,MAAM,EAAE,MAAM,MAAM,EAAE,GAAG,CAAC,GAC5D,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,GACzG,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GACzB,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,GACxD,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GACrB,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GACtD,KAAK,CAAC;AAEhB;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,wBAAgB,SAAS,CAAC,CAAC,SAAS,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1F,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;AAqBvE;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IAId,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;CACxD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,SAAU,SAAS,YAAY,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,KAAG,IAG9E,CAAC;AASF;;;GAGG;AACH,eAAO,MAAM,SAAS,SAAU,SAAS,UAAU,MAAM,CAAC,MAAM,CAAC,MAAM,KAAG,IAKzE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,YAAY,SAAU,SAAS,UAAU,MAAM,CAAC,MAAM,CAAC,MAAM,KAAG,IAK5E,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,SAC5B,IAAI,qBACS;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,KAC7D,IAKF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,YAAY,SAAU,SAAS,cAAc,MAAM,EAAE,KAAG,IAKpE,CAAC"}

package/dist/types/src/View.d.ts

@@ -1,6 +1,6 @@
 import * as Schema from 'effect/Schema';
 import { QueryAST } from '@dxos/echo-protocol';
-import { JsonPath } from '@dxos/effect';
+import { SchemaEx } from '@dxos/effect';
 import * as internal from './internal';
 import * as Obj from './Obj';
 import * as Type from './Type';
@@ -9,9 +9,9 @@ import * as Type from './Type';
  */
 export declare const FieldSchema: Schema.Struct<{
     id: typeof Schema.String;
-    path: Schema.Schema<JsonPath, JsonPath, never>;
+    path: Schema.Schema<SchemaEx.JsonPath, SchemaEx.JsonPath, never>;
     visible: Schema.optional<typeof Schema.Boolean>;
-    referencePath: Schema.optional<Schema.Schema<JsonPath, JsonPath, never>>;
+    referencePath: Schema.optional<Schema.Schema<SchemaEx.JsonPath, SchemaEx.JsonPath, never>>;
 }>;
 export type FieldType = Schema.Schema.Type<typeof FieldSchema>;
 export declare const KeyValueProps: Schema.Record$<typeof Schema.String, typeof Schema.Any>;
@@ -26,9 +26,9 @@ export declare const Projection: Schema.Struct<{
      */
     fields: Schema.Array$<Schema.Struct<{
         id: typeof Schema.String;
-        path: Schema.Schema<JsonPath, JsonPath, never>;
+        path: Schema.Schema<SchemaEx.JsonPath, SchemaEx.JsonPath, never>;
         visible: Schema.optional<typeof Schema.Boolean>;
-        referencePath: Schema.optional<Schema.Schema<JsonPath, JsonPath, never>>;
+        referencePath: Schema.optional<Schema.Schema<SchemaEx.JsonPath, SchemaEx.JsonPath, never>>;
     }>>;
     /**
      * The id for the field used to pivot the view.
@@ -43,25 +43,22 @@ export type Projection = Schema.Schema.Type<typeof Projection>;
  */
 declare const ViewSchema: Type.Obj<{
     readonly query: {
-        readonly ast: QueryAST.QuerySelectClause | QueryAST.QueryFilterClause | QueryAST.QueryReferenceTraversalClause | QueryAST.QueryIncomingReferencesClause | QueryAST.QueryRelationClause | QueryAST.QueryRelationTraversalClause | QueryAST.QueryHierarchyTraversalClause | QueryAST.QueryUnionClause | QueryAST.QuerySetDifferenceClause | QueryAST.QueryOrderClause | QueryAST.QueryOptionsClause | QueryAST.QueryLimitClause | QueryAST.QueryFromClause;
         readonly raw?: string | undefined;
+        readonly ast: QueryAST.QueryFilterClause | QueryAST.QueryFromClause | QueryAST.QueryHierarchyTraversalClause | QueryAST.QueryIncomingReferencesClause | QueryAST.QueryLimitClause | QueryAST.QueryOptionsClause | QueryAST.QueryOrderClause | QueryAST.QueryReferenceTraversalClause | QueryAST.QueryRelationClause | QueryAST.QueryRelationTraversalClause | QueryAST.QuerySelectClause | QueryAST.QuerySetDifferenceClause | QueryAST.QueryUnionClause;
     };
     readonly projection: {
         readonly schema?: internal.JsonSchemaType | undefined;
         readonly fields: readonly {
             readonly id: string;
-            readonly path: JsonPath;
+            readonly path: SchemaEx.JsonPath;
             readonly visible?: boolean | undefined;
-            readonly referencePath?: JsonPath | undefined;
+            readonly referencePath?: SchemaEx.JsonPath | undefined;
         }[];
         readonly pivotFieldId?: string | undefined;
     };
 }, Schema.Struct.Fields>;
-export interface View extends Schema.Schema.Type<typeof ViewSchema> {
+export interface View extends Type.InstanceType<typeof ViewSchema> {
 }
-/**
- * View instance type.
- */
 export declare const View: Type.Obj<View>;
 export declare const make: (props: Partial<Obj.MakeProps<typeof View>>) => View;
 export {};