@systemfsoftware/effect-cell-types 6.0.1 → 7.0.0

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # @systemfsoftware/effect-cell-types
 
+## 7.0.0
+
+### Major Changes
+
+- Removes the `Wire` namespace: `Wire.wire`, `Wire.mint`, and the `Wire.Mark`, `Wire.Minted`, `Wire.AnyMinted`, `Wire.MintedField`, and `Wire.Fields` types. Build your schema structs with Effect Schema directly: `Wire.wire({ ... })` becomes `Schema.Struct({ ... })`, and `Wire.mint(schema)` becomes `schema` itself — the call never changed the schema. A foreign schema can again be placed directly as a struct member; nothing in this package refuses it.
+
 ## 6.0.1
 
 ### Patch Changes

package/dist/index.d.ts

@@ -2,10 +2,9 @@ import * as Effect$1 from "effect/Effect";
 import { Effect } from "effect/Effect";
 import * as Result$1 from "effect/Result";
 import { Result } from "effect/Result";
-import { Schema } from "effect";
 import { Kind, TypeLambda } from "effect/HKT";
 import { Layer } from "effect/Layer";
-import * as Schema$1 from "effect/Schema";
+import * as Schema from "effect/Schema";
 //#region src/Facts.d.ts
 declare const DESCRIPTION_MODULE: '@systemfsoftware/effect-cell-types';
 declare const IO_CELLS: {
@@ -52,9 +51,9 @@ type DecisionShape<D> = [unknown] extends [D] ? unknown : AtLeastTwoDistinct<D>
 type Workflow<Command, Decision, DecisionError> = [Decision] extends [never] ? UninhabitedDecision : [DecisionError] extends [never] ? UninhabitedError : ((command: Command) => Result<Decision, DecisionError>) & WorkflowBrand;
 type DispatchableTag<E> = '_tag' extends keyof E ? [E['_tag']] extends [string] ? unknown : UntaggedError : UntaggedError;
 type Inhabited<Decision, DecisionError> = [Decision] extends [never] ? UninhabitedDecision : [DecisionError] extends [never] ? UninhabitedError : DecisionShape<Decision> & DispatchableTag<DecisionError>;
-declare const make: <Self, S extends Schema$1.Constraint & {
-  readonly fields: Schema$1.Struct.Fields;
-}, Inherited, D, E>(_command: Schema$1.Class<Self, S, Inherited>, decide: (command: Self) => Result<D, E> & Inhabited<D, E>) => Workflow<Self, D, E>;
+declare const make: <Self, S extends Schema.Constraint & {
+  readonly fields: Schema.Struct.Fields;
+}, Inherited, D, E>(_command: Schema.Class<Self, S, Inherited>, decide: (command: Self) => Result<D, E> & Inhabited<D, E>) => Workflow<Self, D, E>;
 declare namespace Cell_d_exports {
   export { Cell, CellTypeId, DESCRIPTION_MODULE, IO_CELLS, IoCellClassification, Kind$1 as Kind, PhaseName, Run, TypeLambda$1 as TypeLambda, Vocabulary, andThen, layer, map, mapInput, provide, run, vocabulary, withPolicy, zip };
 }
@@ -199,42 +198,5 @@ interface Vocabulary {
   readonly composer: 'layer';
 }
 declare const vocabulary: Vocabulary;
-declare namespace Wire_d_exports {
-  export { AnyMinted, Fields, Mark, Minted, MintedField, mint, wire };
-}
-/**
- * Marker a wire member carries once this workspace declares its type. The property type is the
- * fix, so the compiler diagnostic names it.
- *
- * It sits on the schema, never on the decoded value: `Schema.Type<typeof Wire.mint(S.String)>` is `string`.
- */
-interface Mark {
-  readonly __WIRE_MEMBER_IS_NOT_BUILT_FROM_THE_ALPHABET__: 'this member names a type this workspace does not declare; build it from Wire, or admit a foreign schema deliberately with Wire.mint';
-}
-/**
- * A schema this workspace declares the type of. In v4 the encoded side lives on the schema
- * itself, so the second parameter is carried for API stability rather than as a separate
- * type argument: `Minted<A, I>` reads "decodes `A` from the wire's `I`-shaped payload".
- */
-type Minted<A, I = A> = Schema.Codec<A, I> & Mark;
-/** Any marked schema, for constraint positions. */
-type AnyMinted = Schema.Top & Mark;
-/**
- * Any marked struct member — a schema, or a property signature from `S.optional`.
- * The permissive `Constraint` arm rather than a narrower schema type, whose `never` variants
- * would fail the assignability check before the marker is reached, leaving the diagnostic to
- * report an unrelated type error.
- */
-type MintedField = Schema.Constraint & Mark;
-/**
- * Mark a member whose type this workspace declares.
- *
- * The value returned is the one passed in, and its concrete type is preserved, so a marked
- * struct stays a struct and Effect's inference keeps working. Reach for it to admit anything
- * the schema library can express, including a vendor's own schema — deliberately.
- */
-declare const mint: <Field extends Schema.Constraint>(field: Field) => Field & Mark;
-type Fields = Record<string, MintedField>;
-declare const wire: <F extends Fields>(fields: F) => Schema.Struct<F> & Mark;
 //#endregion
-export { Cell_d_exports as Cell, Policy_d_exports as Policy, Wire_d_exports as Wire, Workflow_d_exports as Workflow };
+export { Cell_d_exports as Cell, Policy_d_exports as Policy, Workflow_d_exports as Workflow };

package/dist/index.mjs

@@ -2,7 +2,6 @@ import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
 import * as Effect$1 from "effect/Effect";
 import { dual } from "effect/Function";
 import * as Result$1 from "effect/Result";
-import { Schema } from "effect";
 //#region src/Facts.ts
 const DESCRIPTION_MODULE = "@systemfsoftware/effect-cell-types";
 const IO_CELLS = {
@@ -107,47 +106,4 @@ const vocabulary = {
 //#region src/Policy.ts
 var Policy_exports = /* @__PURE__ */ __exportAll({});
 //#endregion
-//#region src/Wire.ts
-/**
-* The wire alphabet — build a schema for a foreign payload out of members you declare, so no
-* vendor type can be named inside it.
-*
-* ```ts
-* import { Wire } from '@systemfsoftware/effect-cell-types'
-* import { Effect, Schema as S } from 'effect'
-*
-* const Invoice = Wire.wire({
-*   id: Wire.mint(S.String),
-*   amountDue: Wire.mint(S.NullOr(Wire.mint(S.Finite))),
-*   status: Wire.mint(S.Literals(['draft', 'open', 'paid'])),
-*   lineItems: Wire.mint(S.Array(Wire.mint(S.String))),
-*   metadata: Wire.mint(S.Record(Wire.mint(S.String), Wire.mint(S.String))),
-*   deleted: Wire.mint(S.optional(Wire.mint(S.Boolean))),
-* })
-*
-* // Decodes to your own type — `{ id: string; amountDue: number | null; ... }`.
-* const invoice = yield* Schema.decode(Invoice)(payload)
-* ```
-*
-* Only declarations that name members through {@link mint} are constrained, and mint admits a
-* foreign schema deliberately. It is a guardrail, not a security boundary.
-*/
-var Wire_exports = /* @__PURE__ */ __exportAll({
-	mint: () => mint,
-	wire: () => wire
-});
-/**
-* Mark a member whose type this workspace declares.
-*
-* The value returned is the one passed in, and its concrete type is preserved, so a marked
-* struct stays a struct and Effect's inference keeps working. Reach for it to admit anything
-* the schema library can express, including a vendor's own schema — deliberately.
-*/
-const mint = (field) => {
-	assertMinted(field);
-	return field;
-};
-function assertMinted(_field) {}
-const wire = (fields) => mint(Schema.Struct(fields));
-//#endregion
-export { Cell_exports as Cell, Policy_exports as Policy, Wire_exports as Wire, Workflow_exports as Workflow };
+export { Cell_exports as Cell, Policy_exports as Policy, Workflow_exports as Workflow };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@systemfsoftware/effect-cell-types",
   "license": "Apache-2.0",
-  "version": "6.0.1",
+  "version": "7.0.0",
   "author": "Ryan Lee <drdgvhbh@gmail.com>",
   "repository": {
     "type": "git",
@@ -36,19 +36,19 @@
     "@microsoft/api-extractor": "^7.58.7",
     "@systemfsoftware/arethetypeswrong-cli": "^1.1.1",
     "@types/node": "^24",
-    "effect": "^4.0.0-rc.112",
+    "effect": "4.0.0-rc.112",
     "oxlint": "^1.77.0",
     "rimraf": "^6.1.3",
     "tsdown": "^0.22.14",
     "tstyche": "^7.1.0",
     "vitest": "^4",
-    "@systemfsoftware/effect-gherkin-spec": "4.0.1",
-    "@systemfsoftware/vitest-config": "^0.1.0",
     "@systemfsoftware/tsconfig": "^1.3.3",
+    "@systemfsoftware/vitest-config": "^0.1.0",
+    "@systemfsoftware/effect-gherkin-spec": "4.0.1",
     "@systemfsoftware/oxlint-config": "^0.1.0"
   },
   "peerDependencies": {
-    "effect": "^4.0.0-rc.112"
+    "effect": "4.0.0-rc.112"
   },
   "publishConfig": {
     "provenance": true