@kairos-es/codec 1.0.0-alpha.4 → 1.0.0-alpha.6

package/src/readLedger.ts

@@ -98,7 +98,7 @@ export interface Hop {
  * requirement channel nothing is exactly what makes this change additive.
  * `modelAtHead` is that path and is why the rule exists.
  *
- * A BRACKET-ONLY function is the opposite case and yields the tag deliberately.
+ * A BRACKET-ONLY function is the opposite case and yields the service deliberately.
  * `decideOnly` does, and naming the requirement is what turns *"call me inside a
  * bracket"* from a runtime defect into a compile error — presence being the one
  * direction the type system can decide here. So the test is what the function
@@ -108,7 +108,7 @@ export interface Hop {
  * Recording is two-phase, and `record`'s own doc below owns why and what shape the
  * second phase takes.
  */
-export class ReadLedger extends Context.Tag('@kairos-es/codec/ReadLedger')<
+export class ReadLedger extends Context.Service<
   ReadLedger,
   {
     /**
@@ -127,14 +127,14 @@ export class ReadLedger extends Context.Tag('@kairos-es/codec/ReadLedger')<
     readonly record: (query: Query) => Effect.Effect<CloseHop>
     readonly hops: Effect.Effect<ReadonlyArray<Hop>>
   }
->() {}
+>()('@kairos-es/codec/ReadLedger') {}
 
 /**
  * Fill in a recorded hop's head. Never called if the read does not complete.
  *
  * On the package's public surface because it is already ON it: `record` returns
- * one, `ReadLedger` is exported, so a consumer holding the tag holds this type and
- * could not name it. `Hop` was exported and this was not — the same interface, two
+ * one, `ReadLedger` is exported, so a consumer holding the service holds this
+ * type and could not name it. `Hop` was exported and this was not — the same interface, two
  * treatments.
  */
 export type CloseHop = (head: Position) => Effect.Effect<void>
@@ -303,7 +303,7 @@ export const makeReadLedger: Effect.Effect<{
  */
 const withLedger = <A, E = never>(
   absent: A,
-  f: (ledger: Context.Tag.Service<ReadLedger>) => Effect.Effect<A, E>,
+  f: (ledger: Context.Service.Shape<typeof ReadLedger>) => Effect.Effect<A, E>,
 ): Effect.Effect<A, E> =>
   Effect.flatMap(Effect.serviceOption(ReadLedger), (ledger) =>
     Option.isNone(ledger) ? Effect.succeed(absent) : f(ledger.value),
@@ -405,6 +405,6 @@ export const ambientLayeredCondition: Effect.Effect<
   Option.Option<AppendCondition>
 > = withLedger(Option.none<AppendCondition>(), (ledger) =>
   Effect.map(ledger.hops, (hops) =>
-    Option.fromNullable(deriveLayeredCondition(hops)),
+    Option.fromNullishOr(deriveLayeredCondition(hops)),
   ),
 )

package/src/registry.ts

@@ -53,7 +53,7 @@ type RequirementOfDefs<Defs extends ReadonlyArray<EventDefAny>> =
 export const makeRegistry = <Defs extends ReadonlyArray<EventDefAny>>(
   defs: Defs,
 ): Registry<RequirementOfDefs<Defs>> => {
-  const map = new Map<string, Schema.Schema<unknown, unknown, unknown>>()
+  const map = new Map<string, Schema.Decoder<unknown, unknown>>()
   for (const def of defs) {
     if (map.has(def.type)) {
       throw new Error(`duplicate event type '${def.type}' in registry`)

package/src/toEvent.ts

@@ -1,7 +1,7 @@
 /**
  * Event production (codec edge-helper): turn a typed payload into a wire
- * `DcbEvent`. Encode is `Schema.encode(def.schema)` (a `ParseError` becomes a
- * `CodecError`; any encryption transform runs here, *before* serialisation)
+ * `DcbEvent`. Encode is `Schema.encodeEffect(def.schema)` (a `SchemaError`
+ * becomes a `CodecError`; any encryption transform runs here, *before* serialisation)
  * then `serialiser.serialise`. The wire `tags` are derived from the def's
  * required `tagsFor` mapper (ADR-0006) — they are never hand-passed, so two
  * command sites emitting the same event type cannot tag it differently. A mapper
@@ -77,7 +77,7 @@ export const toEvent = <A, I, R>(
           )
         : options.metadata
     const metadata: Metadata = {
-      ...(yield* Schema.decodeUnknown(Metadata)(given).pipe(
+      ...(yield* Schema.decodeUnknownEffect(Metadata)(given).pipe(
         Effect.mapError(
           (cause) => new CodecError({ reason: 'metadata', cause }),
         ),
@@ -93,7 +93,7 @@ export const toEvent = <A, I, R>(
       catch: (cause) => new CodecError({ reason: 'tags', cause }),
     })
     const serializer = yield* Serializer
-    const encoded = yield* Schema.encode(def.schema)(payload).pipe(
+    const encoded = yield* Schema.encodeEffect(def.schema)(payload).pipe(
       Effect.mapError((cause) => new CodecError({ reason: 'encode', cause })),
     )
     const data = serializer.serialise(encoded)

package/dist/dts/MetadataSource.d.ts

@@ -1,8 +0,0 @@
-import { Context } from 'effect';
-declare const MetadataSource_base: Context.TagClass<MetadataSource, "@kairos-es/codec/MetadataSource", {
-    readonly [x: string]: string;
-}>;
-export declare class MetadataSource extends MetadataSource_base {
-}
-export {};
-//# sourceMappingURL=MetadataSource.d.ts.map

package/dist/dts/errors.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/errors.ts"],"names":[],"mappings":";;;AAeA,2EAA2E;AAC3E,qBAAa,UAAW,SAAQ,gBAA+B;IAC7D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CACzB,CAAC;IACA;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;AAED,kFAAkF;AAClF,qBAAa,gBAAiB,SAAQ,sBAAqC;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAC;IACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF"}

package/dist/dts/event.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../../src/event.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,EAAE,KAAK,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAA;AAEvE;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,KAAK;IAC3D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAC7B;AAED;;;;;GAKG;AAEH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;AAErD;;;;;;;GAOG;AACH,eAAO,MAAM,KAAK,GAChB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAEnC,MAAM,IAAI,EACV,QAAQ,MAAM,EACd,SAAS,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAC3C;IACD,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;CAStD,CAAA"}

package/dist/dts/projection.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../../src/projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EACL,KAAK,aAAa,EAIlB,KAAK,GAAG,EACT,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAEvC;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,OAAO,CAC/D,SAAQ,aAAa,CAAC,CAAC,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;CAC1E;AAED,8EAA8E;AAC9E,MAAM,WAAW,iBAAiB,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAC7C;;;;;;;OAOG;IACH,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EACT,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EACvB,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,GAChC,iBAAiB,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC/B;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;KAAE,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAC/E;AAED;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,cAAc,CAAC,KAAG,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAiGzE,CAAA"}