effect-zero 0.8.0 → 0.9.1

package/src/mutator.ts

@@ -0,0 +1,236 @@
+import type {
+  AnyMutatorRegistry,
+  MutateRequest as ZeroMutateRequest,
+  Schema as ZeroSchema,
+  Transaction as ZeroTransaction,
+} from "@rocicorp/zero";
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import type { NodeInspectSymbol } from "effect/Inspectable";
+import * as Predicate from "effect/Predicate";
+import * as Rec from "effect/Record";
+import * as Schema from "effect/Schema";
+import type * as Unify from "effect/Unify";
+import type * as ClientTransaction from "./client-transaction.js";
+import { ContextSymbol } from "./client-transaction.js";
+import { prefixId } from "./internal/utils.js";
+
+type _NodeInspectSymbol = NodeInspectSymbol;
+type _Unify = Unify.typeSymbol | Unify.unifySymbol | Unify.ignoreSymbol;
+
+export const RegistryTypeId = Symbol.for(prefixId("MutatorRegistry"));
+
+/**
+ * A mutator that isn't part of a registry yet, made with {@link make}. Like `defineMutator`, it gets its name
+ * from its path in the {@link registry}. `R` is the services its body requires, and `RD` the services decoding its
+ * payload requires.
+ */
+export interface Definition<Type, Encoded, E, R, RD = never> {
+  readonly payload: Schema.Codec<Type, Encoded, RD>;
+  readonly mutator: (args: Type) => Effect.Effect<unknown, E, R>;
+}
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+export type AnyDefinition = Definition<any, any, any, any, any>;
+
+export type Definitions = { readonly [key: string]: AnyDefinition | Definitions };
+
+/**
+ * A registered mutator. Calling it encodes `args` and returns a request for `ZfxClient.mutate(zero, request)`, or
+ * for Zero's own `zero.mutate(request)`. It is also a Zero `Mutator`, so the registry can be passed to Zero.
+ */
+export interface Mutator<Type, Encoded, E, R, RD = never> extends Definition<Type, Encoded, E, R, RD> {
+  (args: Type): MutateRequest<Type>;
+  readonly mutatorName: string;
+  /** Runs the mutator for Zero, which calls it with the transaction and the `context` from `ZfxClient.make`. */
+  readonly fn: (options: {
+    readonly args: unknown;
+    readonly ctx: unknown;
+    readonly tx: ZeroTransaction<ZeroSchema>;
+  }) => Promise<void>;
+  readonly "~": "Mutator";
+}
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+export type AnyMutator = Mutator<any, any, any, any, any>;
+
+/** A request to run a mutator, for `ZfxClient.mutate` or Zero's own `zero.mutate`. */
+// biome-ignore lint/suspicious/noExplicitAny: compatible with any Zero instance's `zero.mutate`
+export type MutateRequest<Type> = ZeroMutateRequest<any, any, any, any> & {
+  // biome-ignore lint/suspicious/noExplicitAny: the encoded args, errors and services don't matter to the caller
+  readonly mutator: Mutator<Type, any, any, any>;
+};
+
+type Tree<D> = {
+  readonly [K in keyof D]: D[K] extends Definition<infer Type, infer Encoded, infer E, infer R, infer RD>
+    ? Mutator<Type, Encoded, E, R, RD>
+    : Tree<D[K]>;
+};
+
+/** A tree of registered mutators, made with {@link registry}. Pass it to `ZfxClient.make` and the server. */
+export type Registry<D extends Definitions, TTransaction extends AnyClientTransaction> = Tree<D> & {
+  readonly "~": AnyMutatorRegistry["~"];
+  readonly [RegistryTypeId]: { readonly transaction: TTransaction };
+};
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+export type AnyRegistry = Registry<any, AnyClientTransaction>;
+
+// biome-ignore lint/suspicious/noExplicitAny: any client transaction
+type AnyClientTransaction = ClientTransaction.Context<any>;
+
+type Keys<T> = Exclude<Extract<keyof T, string>, "~">;
+
+/** The services a registry's mutators require: their bodies' and their payloads'. */
+// biome-ignore lint/suspicious/noExplicitAny: matches any mutator
+export type Requirements<T> = T extends Mutator<any, any, any, infer R, infer RD>
+  ? R | RD
+  : { [K in Keys<T>]: Requirements<T[K]> }[Keys<T>];
+
+/** The client transaction a registry's mutators run in. */
+export type Transaction<T extends AnyRegistry> = T[typeof RegistryTypeId]["transaction"];
+
+/** The Zero schema a registry's mutators run against. */
+export type ZeroSchemaOf<T extends AnyRegistry> = Transaction<T> extends ClientTransaction.Context<infer S> ? S : never;
+
+/**
+ * Defines a mutator. Its `payload` codec decodes the args on both the client and the server; it must encode without
+ * services, since calling a registered mutator encodes its args synchronously.
+ */
+export const make = <Type, Encoded, RD = never, A = unknown, E = never, R = never>(options: {
+  readonly payload: Schema.Codec<Type, Encoded, RD, never>;
+  readonly mutator: (args: NoInfer<Type>) => Effect.Effect<A, E, R>;
+}): Definition<Type, Encoded, E, R, RD> => options;
+
+/**
+ * Registers mutators under their path, like Zero's `defineMutators`: `{ todo: { create } }` registers
+ * `"todo.create"`. The result is also a Zero mutator registry, so it can be passed to `new Zero({ mutators })`.
+ */
+export const registry = <TTransaction extends AnyClientTransaction, const D extends Definitions>(
+  transaction: TTransaction,
+  definitions: D,
+): Registry<D, TTransaction> => {
+  const register = (definitions: Definitions, path: ReadonlyArray<string>): Record<string, unknown> =>
+    Rec.map(definitions, (value, key) =>
+      isDefinition(value) ? makeMutator(transaction, [...path, key].join("."), value) : register(value, [...path, key]),
+    );
+
+  // The registry's shape is only known from `D`.
+  return Object.assign(register(definitions, []), {
+    "~": "MutatorRegistry",
+    [RegistryTypeId]: { transaction },
+  }) as unknown as Registry<D, TTransaction>;
+};
+
+const isDefinition = (u: unknown): u is AnyDefinition =>
+  Predicate.hasProperty(u, "payload") && Schema.isSchema(u.payload);
+
+const makeMutator = <Type, Encoded, E, R, RD>(
+  transaction: AnyClientTransaction,
+  name: string,
+  definition: Definition<Type, Encoded, E, R, RD>,
+): Mutator<Type, Encoded, E, R, RD> => {
+  const run = (args: unknown, tx: ZeroTransaction<ZeroSchema>) =>
+    Schema.decodeUnknownEffect(definition.payload)(args).pipe(
+      Effect.catchTag("SchemaError", (error) => new ClientArgsParseError({ cause: Cause.fail(error) })),
+      Effect.flatMap(definition.mutator),
+      Effect.withSpan("zero.mutator", {
+        attributes: {
+          "zero.mutator": name,
+          "zero.clientID": tx.clientID,
+          "zero.mutationID": tx.mutationID,
+          "zero.mutation.reason": tx.reason,
+        },
+      }),
+      Effect.provideService(transaction[ContextSymbol], tx),
+      Effect.asVoid,
+    );
+
+  const mutator: Mutator<Type, Encoded, E, R, RD> = Object.assign(
+    (args: Type) =>
+      // A Zero `MutateRequest`, whose brand only exists at the type level.
+      ({ mutator, args: Schema.encodeSync(definition.payload)(args), "~": "MutateRequest" }) as MutateRequest<Type>,
+    {
+      ...definition,
+      mutatorName: name,
+      "~": "Mutator" as const,
+      fn: ({
+        args,
+        ctx,
+        tx,
+      }: {
+        readonly args: unknown;
+        readonly ctx: unknown;
+        readonly tx: ZeroTransaction<ZeroSchema>;
+      }) =>
+        Context.isContext(ctx)
+          ? // `ZfxClient.make` passes the services it captured, which cover every mutator's requirements.
+            run(args, tx).pipe(Effect.runPromiseWith(ctx as Context.Context<R | RD>))
+          : Promise.reject(new MutatorContextNotFound({ mutator: name })),
+    },
+  );
+  return mutator;
+};
+
+type Overrides<T> = {
+  readonly [K in Keys<T>]?: T[K] extends Mutator<infer Type, infer _Encoded, infer _E, infer _R, infer _RD>
+    ? // biome-ignore lint/suspicious/noExplicitAny: any server implementation
+      (args: Type) => Effect.Effect<unknown, any, any>
+    : Overrides<T[K]>;
+};
+
+/** The server's view of a registry, made with {@link server}. */
+export interface ServerMutators<TRegistry extends AnyRegistry, O> {
+  readonly registry: TRegistry;
+  readonly overrides: O;
+}
+
+export type AnyServerMutators = ServerMutators<AnyRegistry, unknown>;
+
+/**
+ * The registry's mutators as the server runs them, for `ZfxServer.handleMutate`. `overrides` replaces some mutators'
+ * bodies, like Zero's `defineMutators(base, overrides)`; every other mutator runs its shared body in a server
+ * transaction, so pass `{}` if nothing differs. An override runs outside the transaction, so it can do work before
+ * and after `serverTransaction.execute`, e.g. `registry.todo.create.mutator(args).pipe(serverTransaction.execute)`.
+ */
+export const server = <TRegistry extends AnyRegistry, const O extends Overrides<TRegistry>>(
+  registry: TRegistry,
+  overrides: O,
+): ServerMutators<TRegistry, O> => ({ registry, overrides });
+
+// biome-ignore lint/suspicious/noExplicitAny: matches any mutator
+type PayloadRequirements<T> = T extends Mutator<any, any, any, any, infer RD> ? RD : never;
+
+type ServerTreeRequirements<T, O, ClientTransactionId> = {
+  [K in Keys<T>]: T[K] extends AnyMutator
+    ? K extends keyof O
+      ? O[K] extends (args: never) => Effect.Effect<infer _A, infer _E, infer R>
+        ? R | PayloadRequirements<T[K]>
+        : never
+      : Exclude<Requirements<T[K]>, ClientTransactionId>
+    : ServerTreeRequirements<T[K], K extends keyof O ? O[K] : unknown, ClientTransactionId>;
+}[Keys<T>];
+
+/**
+ * The services the server needs to run these mutators. Mutators that aren't overridden run in a server transaction,
+ * which provides their client transaction. Every mutator's payload is decoded on the server, overridden or not.
+ */
+export type ServerRequirements<T extends AnyServerMutators> = T extends ServerMutators<infer TRegistry, infer O>
+  ? ServerTreeRequirements<TRegistry, O, Transaction<TRegistry>[typeof ContextSymbol]["Identifier"]>
+  : never;
+
+export class ClientArgsParseError extends Data.TaggedError("ClientArgsParseError")<{
+  readonly cause: Cause.Cause<unknown>;
+}> {
+  override get message() {
+    const error = Cause.squash(this.cause);
+    return Predicate.isError(error) && !Schema.isSchemaError(error) ? error.message : "Internal error";
+  }
+}
+
+/** A mutator ran on a Zero instance that wasn't made with `ZfxClient.make`. */
+export class MutatorContextNotFound extends Data.TaggedError("MutatorContextNotFound")<{
+  readonly mutator: string;
+}> {}

package/src/server.ts

@@ -10,10 +10,8 @@ import * as Data from "effect/Data";
 import * as Deferred from "effect/Deferred";
 import * as Effect from "effect/Effect";
 import * as Exit from "effect/Exit";
-import * as Fn from "effect/Function";
 import type { NodeInspectSymbol } from "effect/Inspectable";
 import * as Layer from "effect/Layer";
-import * as Match from "effect/Match";
 import * as Option from "effect/Option";
 import * as Predicate from "effect/Predicate";
 import * as Rec from "effect/Record";
@@ -22,7 +20,7 @@ import * as Str from "effect/String";
 import type * as Unify from "effect/Unify";
 import { TransactCallbackNotInvokedError, TransactInternalError } from "./internal/server.js";
 import * as ServerSynchronizationContext from "./internal/server-synchronization-context.js";
-import * as Mutators from "./mutators.js";
+import type * as Mutator from "./mutator.js";
 import { type MakeQueryResult, QueryNameSymbol, RunQuerySymbol } from "./query.js";
 import type * as ServerTransaction from "./server-transaction.js";
 import { DatabaseSymbol, ServerTransactionCallbackSymbol } from "./server-transaction.js";
@@ -43,10 +41,14 @@ type _Unify = Unify.typeSymbol | Unify.unifySymbol | Unify.ignoreSymbol;
 type MutateUserId = Extract<Awaited<ReturnType<typeof handleMutateRequest>>, { kind: "MutateResponse" }>["userID"];
 type QueryUserId = Extract<Awaited<ReturnType<typeof handleQueryRequest>>, { kind: "QueryResponse" }>["userID"];
 
+/**
+ * Handles Zero's push endpoint, running each mutation's server implementation: its override from
+ * `ZfxMutator.server`, or else its shared body in a server transaction.
+ */
 export const handleMutate = Effect.fn(function* <
   TSchema extends ZeroSchema,
   TTransaction,
-  TMutators extends Mutators.AnyMutators,
+  TMutators extends Mutator.AnyServerMutators,
 >({
   transaction,
   mutators,
@@ -63,7 +65,7 @@ export const handleMutate = Effect.fn(function* <
   const ctx =
     yield* Effect.context<
       Exclude<
-        Mutators.ExtractMutatorsRequirements<TMutators>,
+        Mutator.ServerRequirements<TMutators>,
         | (typeof transaction)[typeof ServerTransactionCallbackSymbol]["Identifier"]
         | ServerSynchronizationContext.ServerSynchronizationContext
       >
@@ -102,14 +104,19 @@ export const handleMutate = Effect.fn(function* <
               );
             }, ServerSynchronizationContext.guard);
 
-            const exit: Exit.Exit<unknown, unknown> = yield* runMutation<
-              Mutators.ExtractMutatorsRequirements<TMutators>
-            >(mutators, mutation).pipe(
+            const exit: Exit.Exit<unknown, unknown> = yield* runMutation(mutators, transaction, mutation).pipe(
               ServerSynchronizationContext.finalize,
               Effect.provide([
                 Layer.succeed(transaction[ServerTransactionCallbackSymbol], { transact }),
                 ServerSynchronizationContext.layer,
               ]),
+              Effect.withSpan("zero.mutation.handle", {
+                attributes: {
+                  "zero.mutator": mutation.name,
+                  "zero.clientID": mutation.clientID,
+                  "zero.mutationID": mutation.id,
+                },
+              }),
               Effect.exit,
             );
 
@@ -139,28 +146,41 @@ export const handleMutate = Effect.fn(function* <
   });
 });
 
-const runMutation = Effect.fn(function* <R>(mutators: Mutators.AnyMutators<R>, mutation: Mutation) {
-  // Support both "namespace|name" and "namespace.name" formats, and single-segment names.
-  const [namespace, name] = mutation.name.includes("|") ? Str.split(mutation.name, "|") : Str.split(mutation.name, ".");
-
-  const mutator = yield* Fn.pipe(
-    mutators,
-    Rec.get<string>(namespace),
-    Option.flatMap((mutator) =>
-      Match.value([mutator, name]).pipe(
-        Match.when([Predicate.isObject, Predicate.isString], ([mutator, name]) => Rec.get<string>(name)(mutator)),
-        Match.when([Predicate.isFunction, Predicate.isUndefined], ([mutator]) => Option.some(mutator)),
-        Match.orElse(() => Option.none()),
-      ),
+/**
+ * Runs a mutation: its override if it has one, or else its shared body in a server transaction. Like upstream, names
+ * are split on "." or "|" (the separator of Zero's legacy custom mutators), at any depth. Their services aren't tracked
+ * from here on: `handleMutate` already requires every implementation's.
+ */
+const runMutation = Effect.fn(function* <TSchema extends ZeroSchema, TTransaction>(
+  mutators: Mutator.AnyServerMutators,
+  transaction: ServerTransaction.Context<TSchema, TTransaction>,
+  mutation: Mutation,
+) {
+  const { registry, overrides } = Rec.map(mutators, (root) =>
+    Arr.reduce(Str.split(mutation.name, /[.|]/), Option.some(root), (tree, key) =>
+      // Only an object has keys to walk into; the checks below make sure the walk ended at a mutator.
+      tree.pipe(Option.filter(Predicate.isObject), Option.flatMap(Rec.get(key))),
+    ),
+  );
+  const mutator = yield* registry.pipe(
+    Option.filter(
+      (u): u is Mutator.Mutator<unknown, unknown, unknown, never> =>
+        Predicate.isFunction(u) && Predicate.hasProperty(u, "mutatorName"),
     ),
     Effect.fromOption(() => new MutatorNotFoundError({ name: mutation.name })),
   );
 
-  const args = yield* Schema.decodeUnknownEffect(mutator[Mutators.MutatorSchemaSymbol])(mutation.args[0]).pipe(
+  const args = yield* Schema.decodeUnknownEffect(mutator.payload)(mutation.args[0]).pipe(
     Effect.catchTag("SchemaError", (e) => Effect.fail(new ServerArgsParseError({ cause: Cause.fail(e) }))),
   );
 
-  return yield* mutator(args);
+  return yield* overrides.pipe(
+    Option.filter((u): u is (args: unknown) => Effect.Effect<unknown, unknown> => Predicate.isFunction(u)),
+    Option.match({
+      onNone: () => transaction.execute(mutator.mutator(args)),
+      onSome: (run) => run(args),
+    }),
+  );
 });
 
 export const makeApplicationError = (cause: Cause.Cause<unknown>) => {

package/dist/client.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=client.test.d.ts.map

package/dist/client.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"client.test.d.ts","sourceRoot":"","sources":["../src/client.test.ts"],"names":[],"mappings":""}

package/dist/client.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"client.test.js","sourceRoot":"","sources":["../src/client.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,sGAAsG;IACtG,wGAAwG;IACxG,4CAA4C;IAC5C,EAAE,CAAC,MAAM,CACP,wDAAwD,EACxD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO;QAElC,MAAM,KAAK,GAAG,IAAI,oBAAoB,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAE9D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC/C,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/mutators.d.ts

@@ -1,30 +0,0 @@
-import type * as Effect from "effect/Effect";
-import * as Schema from "effect/Schema";
-export type AnyMutatorFn<R = any, TArgs extends any[] = any[]> = (...args: TArgs) => Effect.Effect<any, any, R>;
-export type AnyMutatorFns<R = any> = {
-    [K: string]: AnyMutatorFn<R> | {
-        [K: string]: AnyMutatorFn<R>;
-    };
-};
-export type AnyMutatorSchema = Schema.Codec<any, any>;
-export type AnyMutatorSchemas = Record<string, AnyMutatorSchema | Record<string, AnyMutatorSchema>>;
-export type MutatorFns<TSchema extends AnyMutatorSchemas> = {
-    [K in keyof TSchema]: TSchema[K] extends AnyMutatorSchema ? AnyMutatorFn<unknown, [Schema.Schema.Type<TSchema[K]>]> : TSchema[K] extends infer TSchema extends Record<string, AnyMutatorSchema> ? {
-        [K in keyof TSchema]: AnyMutatorFn<unknown, [Schema.Schema.Type<TSchema[K]>]>;
-    } : never;
-};
-export declare const MutatorSchemaSymbol: unique symbol;
-export type Mutator<TFunc extends AnyMutatorFn = AnyMutatorFn, TSchema extends AnyMutatorSchema = AnyMutatorSchema> = TFunc & {
-    [MutatorSchemaSymbol]: TSchema;
-};
-export type Mutators<TSchema extends AnyMutatorSchemas, TFns extends AnyMutatorFns> = {
-    [K in keyof TFns & keyof TSchema]: TFns[K] extends AnyMutatorFn ? TSchema[K] extends AnyMutatorSchema ? Mutator<TFns[K], TSchema[K]> : never : TSchema[K] extends infer TSchema extends Record<string, AnyMutatorSchema> ? TFns[K] extends infer TFns extends Record<string, AnyMutatorFn> ? {
-        [K in keyof TFns & keyof TSchema]: Mutator<TFns[K], TSchema[K]>;
-    } : never : never;
-} & {};
-export type AnyMutator<R = any, E = any> = Mutator<(...args: any[]) => Effect.Effect<any, E, R>>;
-export type AnyMutators<R = any> = Record<string, AnyMutator<R> | Record<string, AnyMutator<R>>>;
-export type ExtractMutatorsRequirements<TMutators extends AnyMutators> = TMutators extends AnyMutators<infer R> ? R : never;
-export declare const schema: <TSchema extends AnyMutatorSchemas>(schema: TSchema) => TSchema;
-export declare function make<TSchema extends AnyMutatorSchemas, TFns extends MutatorFns<TSchema>>(schema: TSchema, mutators: TFns): Mutators<TSchema, TFns>;
-//# sourceMappingURL=mutators.d.ts.map

package/dist/mutators.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mutators.d.ts","sourceRoot":"","sources":["../src/mutators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAK7C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,MAAM,MAAM,YAAY,CAAC,CAAC,GAAG,GAAG,EAAE,KAAK,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAGhH,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,GAAG,IAAI;IACnC,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC;CACjE,CAAC;AAGF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACtD,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEpG,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,iBAAiB,IAAI;KACzD,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,gBAAgB,GACrD,YAAY,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvD,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACvE;SAAG,CAAC,IAAI,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,GACjF,KAAK;CACZ,CAAC;AAEF,eAAO,MAAM,mBAAmB,eAAwC,CAAC;AAEzE,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,YAAY,GAAG,YAAY,EACzC,OAAO,SAAS,gBAAgB,GAAG,gBAAgB,IACjD,KAAK,GAAG;IACV,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,OAAO,SAAS,iBAAiB,EAAE,IAAI,SAAS,aAAa,IAAI;KACnF,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,YAAY,GAC3D,OAAO,CAAC,CAAC,CAAC,SAAS,gBAAgB,GACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAC5B,KAAK,GACP,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACvE,IAAI,CAAC,CAAC,CAAC,SAAS,MAAM,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAC7D;SAAG,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;KAAE,GACnE,KAAK,GACP,KAAK;CACZ,GAAG,EAAE,CAAC;AAGP,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAGjG,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjG,MAAM,MAAM,2BAA2B,CAAC,SAAS,SAAS,WAAW,IAAI,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC3G,CAAC,GACD,KAAK,CAAC;AAEV,eAAO,MAAM,MAAM,GAAI,OAAO,SAAS,iBAAiB,EAAE,QAAQ,OAAO,YAAW,CAAC;AAErF,wBAAgB,IAAI,CAAC,OAAO,SAAS,iBAAiB,EAAE,IAAI,SAAS,UAAU,CAAC,OAAO,CAAC,EACtF,MAAM,EAAE,OAAO,EACf,QAAQ,EAAE,IAAI,GACb,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC"}

package/dist/mutators.js

@@ -1,17 +0,0 @@
-import * as Match from "effect/Match";
-import * as Option from "effect/Option";
-import * as Predicate from "effect/Predicate";
-import * as Rec from "effect/Record";
-import * as Schema from "effect/Schema";
-import { prefixId } from "./internal/utils.js";
-export const MutatorSchemaSymbol = Symbol.for(prefixId("MutatorSchema"));
-export const schema = (schema) => schema;
-export function make(schema, mutators) {
-    function makeMutator(schema, fn) {
-        return Object.assign(fn, { [MutatorSchemaSymbol]: schema });
-    }
-    return Rec.map(mutators, (v, name) => {
-        return Match.value([v, schema[name]]).pipe(Match.when([Predicate.isFunction, Schema.isSchema], ([mutator, schema]) => makeMutator(schema, mutator)), Match.when([Predicate.isObject, Predicate.isObject], ([mutator, schema]) => Rec.map(mutator, (mutator, name) => makeMutator(Option.getOrThrow(Rec.get(schema, name)), mutator))), Match.orElseAbsurd);
-    });
-}
-//# sourceMappingURL=mutators.js.map

package/dist/mutators.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mutators.js","sourceRoot":"","sources":["../src/mutators.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAsB/C,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;AA+BzE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAoC,MAAe,EAAE,EAAE,CAAC,MAAM,CAAC;AAMrF,MAAM,UAAU,IAAI,CAAC,MAAyB,EAAE,QAAuB;IACrE,SAAS,WAAW,CAAC,MAAwB,EAAE,EAAgB;QAC7D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE;QACnC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CACxC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACxG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CACzE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CACpG,EACD,KAAK,CAAC,YAAY,CACnB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/src/mutators.ts

@@ -1,80 +0,0 @@
-import type * as Effect from "effect/Effect";
-import * as Match from "effect/Match";
-import * as Option from "effect/Option";
-import * as Predicate from "effect/Predicate";
-import * as Rec from "effect/Record";
-import * as Schema from "effect/Schema";
-import { prefixId } from "./internal/utils.js";
-
-// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
-export type AnyMutatorFn<R = any, TArgs extends any[] = any[]> = (...args: TArgs) => Effect.Effect<any, any, R>;
-
-// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
-export type AnyMutatorFns<R = any> = {
-  [K: string]: AnyMutatorFn<R> | { [K: string]: AnyMutatorFn<R> };
-};
-
-// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
-export type AnyMutatorSchema = Schema.Codec<any, any>;
-export type AnyMutatorSchemas = Record<string, AnyMutatorSchema | Record<string, AnyMutatorSchema>>;
-
-export type MutatorFns<TSchema extends AnyMutatorSchemas> = {
-  [K in keyof TSchema]: TSchema[K] extends AnyMutatorSchema
-    ? AnyMutatorFn<unknown, [Schema.Schema.Type<TSchema[K]>]>
-    : TSchema[K] extends infer TSchema extends Record<string, AnyMutatorSchema>
-      ? { [K in keyof TSchema]: AnyMutatorFn<unknown, [Schema.Schema.Type<TSchema[K]>]> }
-      : never;
-};
-
-export const MutatorSchemaSymbol = Symbol.for(prefixId("MutatorSchema"));
-
-export type Mutator<
-  TFunc extends AnyMutatorFn = AnyMutatorFn,
-  TSchema extends AnyMutatorSchema = AnyMutatorSchema,
-> = TFunc & {
-  [MutatorSchemaSymbol]: TSchema;
-};
-
-export type Mutators<TSchema extends AnyMutatorSchemas, TFns extends AnyMutatorFns> = {
-  [K in keyof TFns & keyof TSchema]: TFns[K] extends AnyMutatorFn
-    ? TSchema[K] extends AnyMutatorSchema
-      ? Mutator<TFns[K], TSchema[K]>
-      : never
-    : TSchema[K] extends infer TSchema extends Record<string, AnyMutatorSchema>
-      ? TFns[K] extends infer TFns extends Record<string, AnyMutatorFn>
-        ? { [K in keyof TFns & keyof TSchema]: Mutator<TFns[K], TSchema[K]> }
-        : never
-      : never;
-} & {};
-
-// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
-export type AnyMutator<R = any, E = any> = Mutator<(...args: any[]) => Effect.Effect<any, E, R>>;
-
-// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
-export type AnyMutators<R = any> = Record<string, AnyMutator<R> | Record<string, AnyMutator<R>>>;
-
-export type ExtractMutatorsRequirements<TMutators extends AnyMutators> = TMutators extends AnyMutators<infer R>
-  ? R
-  : never;
-
-export const schema = <TSchema extends AnyMutatorSchemas>(schema: TSchema) => schema;
-
-export function make<TSchema extends AnyMutatorSchemas, TFns extends MutatorFns<TSchema>>(
-  schema: TSchema,
-  mutators: TFns,
-): Mutators<TSchema, TFns>;
-export function make(schema: AnyMutatorSchemas, mutators: AnyMutatorFns): AnyMutators {
-  function makeMutator(schema: AnyMutatorSchema, fn: AnyMutatorFn) {
-    return Object.assign(fn, { [MutatorSchemaSymbol]: schema });
-  }
-
-  return Rec.map(mutators, (v, name) => {
-    return Match.value([v, schema[name]]).pipe(
-      Match.when([Predicate.isFunction, Schema.isSchema], ([mutator, schema]) => makeMutator(schema, mutator)),
-      Match.when([Predicate.isObject, Predicate.isObject], ([mutator, schema]) =>
-        Rec.map(mutator, (mutator, name) => makeMutator(Option.getOrThrow(Rec.get(schema, name)), mutator)),
-      ),
-      Match.orElseAbsurd,
-    );
-  });
-}