effect-app 4.0.0-beta.27 → 4.0.0-beta.271

package/dist/Schema/ext.d.ts

@@ -1,85 +1,364 @@
-import { Effect, Schema, type SchemaAST, SchemaIssue, ServiceMap } from "effect";
+import * as Effect from "effect/Effect";
 import * as S from "effect/Schema";
+import type * as SchemaAST from "effect/SchemaAST";
+import * as SchemaIssue from "effect/SchemaIssue";
 import { type NonEmptyReadonlyArray } from "../Array.js";
+import * as Context from "../Context.js";
 import { type AST } from "./schema.js";
 type ProvidedCodec<Self extends S.Top, R> = S.Codec<Self["Type"], Self["Encoded"], Exclude<Self["DecodingServices"], R>, Exclude<Self["EncodingServices"], R>>;
-export declare const withDefaultConstructor: <A>(makeDefault: () => NoInfer<A>) => <Self extends S.Top>(self: Self) => S.withConstructorDefault<Self & S.WithoutConstructorDefault>;
+export declare const DefaultParseOptions: SchemaAST.ParseOptions;
 /**
- * Like the default Schema `Date` but from String with `withDefault` => now
+ * Parse-options annotation used on schema constructors for decode paths where callers
+ * cannot currently pass parse options (notably some RPC / HttpApi integration paths).
+ *
+ * Keep this annotation in place so those framework-managed decodes still run with
+ * unbounded concurrency by default.
  */
-export declare const Date: Schema.decodeTo<Schema.Date, Schema.String, never, never> & {
-    withDefault: Schema.withConstructorDefault<Schema.decodeTo<Schema.Date, Schema.String, never, never> & Schema.WithoutConstructorDefault>;
+export declare const concurrencyUnbounded: {
+    readonly parseOptions: SchemaAST.ParseOptions;
 };
+type DecodeLike = (schema: any) => (input: any, options?: SchemaAST.ParseOptions) => any;
+export declare const withDefaultParseOptions: <Decode extends DecodeLike>(decode: Decode, defaultParseOptions?: SchemaAST.ParseOptions) => Decode;
 /**
- * Like the default Schema `Boolean` but with `withDefault` => false
+ * Schema type for {@link DateFromString}.
+ *
+ * @category Schemas
+ * @since 4.0.0
  */
-export declare const Boolean: Schema.Boolean & {
-    withDefault: Schema.withConstructorDefault<Schema.Boolean & Schema.WithoutConstructorDefault>;
-};
+export interface DateFromString extends S.decodeTo<S.Date, S.String> {
+}
 /**
- * Like the default Schema `Number` but with `withDefault` => 0
+ * A transformation schema that parses an ISO 8601 string into a `Date`.
+ *
+ * Decoding:
+ * - A `string` is decoded as a `Date`.
+ *
+ * Encoding:
+ * - A `Date` is encoded as a `string`.
+ *
+ * @since 4.0.0
  */
-export declare const Number: Schema.Number & {
-    withDefault: Schema.withConstructorDefault<Schema.Number & Schema.WithoutConstructorDefault>;
+export declare const DateFromString: DateFromString;
+/** Like the default Schema `Date` but from String, with default helpers. */
+export declare const Date: DateFromString & {
+    /**
+     * Construction-only default `new Date()`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode — cannot be
+     * used to JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<DateFromString>;
+    /**
+     * Decode-time default `new Date()`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document; silently
+     * substituting `new Date()` hides the problem. Prefer an explicit,
+     * preferably versioned migration over a decode-time fallback. See
+     * file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<DateFromString, never>;
+};
+/** Like the default Schema `DateValid` but from String, with default helpers. */
+export declare const DateValid: S.decodeTo<S.Date, S.String, never, never> & {
+    /**
+     * Construction-only default `new Date()`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode — cannot be
+     * used to JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.decodeTo<S.Date, S.String, never, never>>;
+    /**
+     * Decode-time default `new Date()`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document; silently
+     * substituting `new Date()` hides the problem. Prefer an explicit,
+     * preferably versioned migration over a decode-time fallback. See
+     * file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.decodeTo<S.Date, S.String, never, never>, never>;
+};
+/** Like the default Schema `Boolean` but with default helpers. */
+export declare const Boolean: S.Boolean & {
+    /**
+     * Construction-only default `false`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode — cannot be
+     * used to JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.Boolean>;
+    /**
+     * Decode-time default `false`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document; silently
+     * substituting `false` hides the problem. Prefer an explicit, preferably
+     * versioned migration over a decode-time fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.Boolean, never>;
 };
 /**
- * Like the default Schema `Literal` but with `withDefault` => literals[0]
+ * You probably want to use `Finite` instead of this. Like the default Schema
+ * `Number` but with default helpers.
  */
-export declare const Literal: <Literals extends NonEmptyReadonlyArray<AST.LiteralValue>>(...literals: Literals) => Schema.Literals<Literals> & {
-    changeDefault: <A extends Literals[number]>(a: A) => Schema.Literals<Literals> & {
+export declare const Number: S.Number & {
+    /**
+     * Construction-only default `0`. Applied only when the field is omitted
+     * from `.make(...)` input. NOT applied during decode — cannot be used to
+     * JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.Number>;
+    /**
+     * Decode-time default `0`. **Discouraged for persisted data:** a missing
+     * field may be data corruption, not an old-shape document; silently
+     * substituting `0` hides the problem. Prefer an explicit, preferably
+     * versioned migration over a decode-time fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.Number, never>;
+};
+/** Like the default Schema `Finite` but with default helpers. */
+export declare const Finite: S.Finite & {
+    /**
+     * Construction-only default `0`. Applied only when the field is omitted
+     * from `.make(...)` input. NOT applied during decode — cannot be used to
+     * JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.Finite>;
+    /**
+     * Decode-time default `0`. **Discouraged for persisted data:** a missing
+     * field may be data corruption, not an old-shape document; silently
+     * substituting `0` hides the problem. Prefer an explicit, preferably
+     * versioned migration over a decode-time fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.Finite, never>;
+};
+/** Like the default Schema `Literals` but with default helpers. Default value is `literals[0]`. */
+export declare const Literals: <const Literals extends NonEmptyReadonlyArray<AST.LiteralValue>>(literals: Literals) => S.Literals<Literals> & {
+    /** Override the default literal value used by `withConstructorDefault` / `withDecodingDefaultType`. */
+    changeDefault: <A extends Literals[number]>(a: A) => S.Literals<Literals> & {
         Default: A;
-        withDefault: Schema.withConstructorDefault<Schema.Literals<Literals> & Schema.WithoutConstructorDefault>;
+        /**
+         * Construction-only default. Applied only when the field is
+         * omitted from `.make(...)` input. NOT applied during decode —
+         * cannot be used to JIT-migrate database fields. See file-level
+         * note.
+         */
+        withConstructorDefault: S.withConstructorDefault<S.Literals<Literals>>;
+        /**
+         * Decode-time default. **Discouraged for persisted data:** a
+         * missing field may be data corruption, not an old-shape
+         * document; silently substituting hides the problem. Prefer an
+         * explicit, preferably versioned migration over a decode-time
+         * fallback. See file-level note.
+         */
+        withDecodingDefaultType: S.withDecodingDefaultType<S.Literals<Literals>, never>;
     };
-    Default: (typeof literals)[0];
-    withDefault: Schema.withConstructorDefault<Schema.Literals<Literals> & Schema.WithoutConstructorDefault>;
+    Default: Literals[0];
+    /**
+     * Construction-only default `literals[0]`. Applied only when the
+     * field is omitted from `.make(...)` input. NOT applied during
+     * decode — cannot be used to JIT-migrate database fields. See
+     * file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.Literals<Literals>>;
+    /**
+     * Decode-time default `literals[0]`. **Discouraged for persisted
+     * data:** a missing field may be data corruption, not an old-shape
+     * document; silently substituting hides the problem. Prefer an
+     * explicit, preferably versioned migration over a decode-time
+     * fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.Literals<Literals>, never>;
 };
-/**
- * Like the default Schema `Array` but with `withDefault` => []
- */
-export declare function Array<ValueSchema extends S.Top>(value: ValueSchema): Schema.$Array<ValueSchema> & {
-    withDefault: Schema.withConstructorDefault<Schema.$Array<ValueSchema> & Schema.WithoutConstructorDefault>;
+/** Like the default Schema `Array` but with default helpers. */
+export declare function Array<ValueSchema extends S.Top>(value: ValueSchema): S.$Array<ValueSchema> & {
+    /**
+     * Construction-only default `[]`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode —
+     * cannot be used to JIT-migrate database fields. See file-level
+     * note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.$Array<ValueSchema>>;
+    /**
+     * Decode-time default `[]`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document;
+     * silently substituting `[]` hides the problem. Prefer an explicit,
+     * preferably versioned migration over a decode-time fallback. See
+     * file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.$Array<ValueSchema>, never>;
 };
 /**
- * Like the default Schema `Map` but with `withDefault` => []
+ * An annotated `S.Array` of unique items that decodes to a `ReadonlySet`.
  */
-declare function Map_<KeySchema extends S.Top, ValueSchema extends S.Top>(input: {
-    key: KeySchema;
-    value: ValueSchema;
-}): Schema.$ReadonlyMap<KeySchema, ValueSchema> & {
-    withDefault: Schema.withConstructorDefault<Schema.$ReadonlyMap<KeySchema, ValueSchema> & Schema.WithoutConstructorDefault>;
-};
-export { Map_ as Map };
+export declare const ReadonlySetFromArray: <ValueSchema extends S.Top>(value: ValueSchema) => S.decodeTo<S.instanceOf<ReadonlySet<ValueSchema["Type"]>, ReadonlySet<ValueSchema["Type"]>>, S.$Array<ValueSchema>, never, never>;
 /**
- * Like the default Schema `ReadonlySet` but with `withDefault` => new Set()
+ * An annotated `S.Array` of key-value tuples that decodes to a `ReadonlyMap`.
  */
-export declare const ReadonlySet: <ValueSchema extends S.Top>(value: ValueSchema) => Schema.$ReadonlySet<ValueSchema> & {
-    withDefault: Schema.withConstructorDefault<Schema.$ReadonlySet<ValueSchema> & Schema.WithoutConstructorDefault>;
+export declare const ReadonlyMapFromArray: <KeySchema extends S.Top, ValueSchema extends S.Top>(pair: {
+    readonly key: KeySchema;
+    readonly value: ValueSchema;
+}) => S.decodeTo<S.instanceOf<ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>, ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>>, S.$Array<S.Tuple<readonly [KeySchema, ValueSchema]>>, never, never>;
+/** Like the default Schema `ReadonlySet` but from Array, with default helpers. */
+export declare const ReadonlySet: <ValueSchema extends S.Top>(value: ValueSchema) => S.decodeTo<S.instanceOf<ReadonlySet<ValueSchema["Type"]>, ReadonlySet<ValueSchema["Type"]>>, S.$Array<ValueSchema>, never, never> & {
+    /**
+     * Construction-only default `new Set()`. Applied only when the field
+     * is omitted from `.make(...)` input. NOT applied during decode —
+     * cannot be used to JIT-migrate database fields. See file-level
+     * note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.decodeTo<S.instanceOf<ReadonlySet<ValueSchema["Type"]>, ReadonlySet<ValueSchema["Type"]>>, S.$Array<ValueSchema>, never, never>>;
+    /**
+     * Decode-time default `new Set()`. **Discouraged for persisted
+     * data:** a missing field may be data corruption, not an old-shape
+     * document; silently substituting an empty set hides the problem.
+     * Prefer an explicit, preferably versioned migration over a
+     * decode-time fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.decodeTo<S.instanceOf<ReadonlySet<ValueSchema["Type"]>, ReadonlySet<ValueSchema["Type"]>>, S.$Array<ValueSchema>, never, never>, never>;
 };
-/**
- * Like the default Schema `ReadonlyMap` but with `withDefault` => new Map()
- */
+/** Like the default Schema `ReadonlyMap` but from Array, with default helpers. */
 export declare const ReadonlyMap: <KeySchema extends S.Top, ValueSchema extends S.Top>(pair: {
     readonly key: KeySchema;
     readonly value: ValueSchema;
-}) => Schema.$ReadonlyMap<KeySchema, ValueSchema> & {
-    withDefault: Schema.withConstructorDefault<Schema.$ReadonlyMap<KeySchema, ValueSchema> & Schema.WithoutConstructorDefault>;
+}) => S.decodeTo<S.instanceOf<ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>, ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>>, S.$Array<S.Tuple<readonly [KeySchema, ValueSchema]>>, never, never> & {
+    /**
+     * Construction-only default `new Map()`. Applied only when the field
+     * is omitted from `.make(...)` input. NOT applied during decode —
+     * cannot be used to JIT-migrate database fields. See file-level
+     * note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.decodeTo<S.instanceOf<ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>, ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>>, S.$Array<S.Tuple<readonly [KeySchema, ValueSchema]>>, never, never>>;
+    /**
+     * Decode-time default `new Map()`. **Discouraged for persisted
+     * data:** a missing field may be data corruption, not an old-shape
+     * document; silently substituting an empty map hides the problem.
+     * Prefer an explicit, preferably versioned migration over a
+     * decode-time fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.decodeTo<S.instanceOf<ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>, ReadonlyMap<KeySchema["Type"], ValueSchema["Type"]>>, S.$Array<S.Tuple<readonly [KeySchema, ValueSchema]>>, never, never>, never>;
+};
+/** Like the default Schema `NullOr` but with default helpers. */
+export declare const NullOr: <Schema extends S.Top>(self: Schema) => S.NullOr<Schema> & {
+    /**
+     * Construction-only default `null`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode —
+     * cannot be used to JIT-migrate database fields. See file-level
+     * note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.NullOr<Schema>>;
+    /**
+     * Decode-time default `null`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document;
+     * silently substituting `null` hides the problem. Prefer an
+     * explicit, preferably versioned migration over a decode-time
+     * fallback. See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.NullOr<Schema>, never>;
 };
 /**
- * Like the default Schema `NullOr` but with `withDefault` => null
+ * Attach a `withConstructorDefault` of `new Date()` to any schema.
+ *
+ * **Construction-only.** Applied only when the field is omitted from
+ * `.make(...)` input. NOT applied during decode — cannot be used to
+ * JIT-migrate database fields. See file-level note.
  */
-export declare const NullOr: <Schema extends S.Top>(self: Schema) => Schema.NullOr<Schema> & {
-    withDefault: Schema.withConstructorDefault<Schema.NullOr<Schema> & Schema.WithoutConstructorDefault>;
-};
-export declare const defaultDate: <Schema extends S.Top>(schema: Schema) => Schema.withConstructorDefault<Schema & Schema.WithoutConstructorDefault>;
-export declare const defaultBool: <Schema extends S.Top>(schema: Schema) => Schema.withConstructorDefault<Schema & Schema.WithoutConstructorDefault>;
-export declare const defaultNullable: <Schema extends S.Top>(schema: Schema) => Schema.withConstructorDefault<Schema & Schema.WithoutConstructorDefault>;
-export declare const defaultArray: <Schema extends S.Top>(schema: Schema) => Schema.withConstructorDefault<Schema & Schema.WithoutConstructorDefault>;
-export declare const defaultMap: <Schema extends S.Top>(schema: Schema) => Schema.withConstructorDefault<Schema & Schema.WithoutConstructorDefault>;
-export declare const defaultSet: <Schema extends S.Top>(schema: Schema) => Schema.withConstructorDefault<Schema & Schema.WithoutConstructorDefault>;
+export declare const defaultDate: <Schema extends S.Top & S.WithoutConstructorDefault>(schema: Schema) => S.withConstructorDefault<Schema>;
+/**
+ * Attach a `withConstructorDefault` of `false` to any schema.
+ *
+ * **Construction-only.** Applied only when the field is omitted from
+ * `.make(...)` input. NOT applied during decode — cannot be used to
+ * JIT-migrate database fields. See file-level note.
+ */
+export declare const defaultBool: <Schema extends S.Top & S.WithoutConstructorDefault>(schema: Schema) => S.withConstructorDefault<Schema>;
+/**
+ * Attach a `withConstructorDefault` of `null` to any schema.
+ *
+ * **Construction-only.** Applied only when the field is omitted from
+ * `.make(...)` input. NOT applied during decode — cannot be used to
+ * JIT-migrate database fields. See file-level note.
+ */
+export declare const defaultNullable: <Schema extends S.Top & S.WithoutConstructorDefault>(schema: Schema) => S.withConstructorDefault<Schema>;
+/**
+ * Attach a `withConstructorDefault` of `[]` to any schema.
+ *
+ * **Construction-only.** Applied only when the field is omitted from
+ * `.make(...)` input. NOT applied during decode — cannot be used to
+ * JIT-migrate database fields. See file-level note.
+ */
+export declare const defaultArray: <Schema extends S.Top & S.WithoutConstructorDefault>(schema: Schema) => S.withConstructorDefault<Schema>;
+/**
+ * Attach a `withConstructorDefault` of `new Map()` to any schema.
+ *
+ * **Construction-only.** Applied only when the field is omitted from
+ * `.make(...)` input. NOT applied during decode — cannot be used to
+ * JIT-migrate database fields. See file-level note.
+ */
+export declare const defaultMap: <Schema extends S.Top & S.WithoutConstructorDefault>(schema: Schema) => S.withConstructorDefault<Schema>;
+/**
+ * Attach a `withConstructorDefault` of `new Set()` to any schema.
+ *
+ * **Construction-only.** Applied only when the field is omitted from
+ * `.make(...)` input. NOT applied during decode — cannot be used to
+ * JIT-migrate database fields. See file-level note.
+ */
+export declare const defaultSet: <Schema extends S.Top & S.WithoutConstructorDefault>(schema: Schema) => S.withConstructorDefault<Schema>;
 export declare const withDefaultMake: <Self extends S.Top>(s: Self) => WithDefaults<Self> & Self;
 export type WithDefaults<Self extends S.Top> = (i: Self["Encoded"], options?: SchemaAST.ParseOptions) => Self["Type"];
-export declare const inputDate: Schema.Union<readonly [Schema.Date, Schema.Date]> & {
-    withDefault: Schema.withConstructorDefault<Schema.Union<readonly [Schema.Date, Schema.Date]> & Schema.WithoutConstructorDefault>;
+/** Union of `DateValid` and `Date`, with default helpers. */
+export declare const inputDate: S.Union<readonly [S.DateValid, DateFromString & {
+    /**
+     * Construction-only default `new Date()`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode — cannot be
+     * used to JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<DateFromString>;
+    /**
+     * Decode-time default `new Date()`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document; silently
+     * substituting `new Date()` hides the problem. Prefer an explicit,
+     * preferably versioned migration over a decode-time fallback. See
+     * file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<DateFromString, never>;
+}]> & {
+    /**
+     * Construction-only default `new Date()`. Applied only when the field is
+     * omitted from `.make(...)` input. NOT applied during decode — cannot be
+     * used to JIT-migrate database fields. See file-level note.
+     */
+    withConstructorDefault: S.withConstructorDefault<S.Union<readonly [S.DateValid, DateFromString & {
+        /**
+         * Construction-only default `new Date()`. Applied only when the field is
+         * omitted from `.make(...)` input. NOT applied during decode — cannot be
+         * used to JIT-migrate database fields. See file-level note.
+         */
+        withConstructorDefault: S.withConstructorDefault<DateFromString>;
+        /**
+         * Decode-time default `new Date()`. **Discouraged for persisted data:** a
+         * missing field may be data corruption, not an old-shape document; silently
+         * substituting `new Date()` hides the problem. Prefer an explicit,
+         * preferably versioned migration over a decode-time fallback. See
+         * file-level note.
+         */
+        withDecodingDefaultType: S.withDecodingDefaultType<DateFromString, never>;
+    }]>>;
+    /**
+     * Decode-time default `new Date()`. **Discouraged for persisted data:** a
+     * missing field may be data corruption, not an old-shape document;
+     * silently substituting `new Date()` hides the problem. Prefer an
+     * explicit, preferably versioned migration over a decode-time fallback.
+     * See file-level note.
+     */
+    withDecodingDefaultType: S.withDecodingDefaultType<S.Union<readonly [S.DateValid, DateFromString & {
+        /**
+         * Construction-only default `new Date()`. Applied only when the field is
+         * omitted from `.make(...)` input. NOT applied during decode — cannot be
+         * used to JIT-migrate database fields. See file-level note.
+         */
+        withConstructorDefault: S.withConstructorDefault<DateFromString>;
+        /**
+         * Decode-time default `new Date()`. **Discouraged for persisted data:** a
+         * missing field may be data corruption, not an old-shape document; silently
+         * substituting `new Date()` hides the problem. Prefer an explicit,
+         * preferably versioned migration over a decode-time fallback. See
+         * file-level note.
+         */
+        withDecodingDefaultType: S.withDecodingDefaultType<DateFromString, never>;
+    }]>, never>;
 };
 export interface UnionBrand {
 }
@@ -90,9 +369,13 @@ export declare function makeExactOptional<NER extends S.Struct.Fields>(t: NER):
     [K in keyof NER]: NER[K] extends S.Top ? ReturnType<typeof S.optionalKey<NER[K] & S.Top>> : any;
 };
 /** A version of transform which is only a one way mapping of From->To */
-export declare const transformTo: <To extends S.Top, From extends S.Top>(from: From, to: To, decode: (fromA: From["Type"], options: SchemaAST.ParseOptions) => To["Encoded"]) => Schema.decodeTo<To, From, never, never>;
+export declare const transformTo: <To extends S.Top, From extends S.Top>(from: From, to: To, decode: (fromA: From["Type"], options: SchemaAST.ParseOptions) => To["Encoded"]) => S.decodeTo<To, From, never, never>;
 /** A version of transformOrFail which is only a one way mapping of From->To */
-export declare const transformToOrFail: <To extends S.Top, From extends S.Top, RD>(from: From, to: To, decode: (fromA: From["Type"], options: SchemaAST.ParseOptions) => Effect.Effect<To["Encoded"], SchemaIssue.Issue, RD>) => Schema.decodeTo<To, From, never, never>;
-export declare const provide: <Self extends S.Top, R>(self: Self, context: ServiceMap.ServiceMap<R>) => ProvidedCodec<Self, R>;
-export declare const contextFromServices: <Self extends S.Top, Tags extends ReadonlyArray<ServiceMap.Key<any, any>>>(self: Self, ...services: Tags) => Effect.Effect<ProvidedCodec<Self, ServiceMap.Service.Identifier<Tags[number]>>, never, ServiceMap.Service.Identifier<Tags[number]>>;
+export declare const transformToOrFail: <To extends S.Top, From extends S.Top, RD>(from: From, to: To, decode: (fromA: From["Type"], options: SchemaAST.ParseOptions) => Effect.Effect<To["Encoded"], SchemaIssue.Issue, RD>) => S.decodeTo<To, From, RD, never>;
+export declare const provide: {
+    <R>(context: Context.Context<R>): <Self extends S.Top>(self: Self) => ProvidedCodec<Self, R>;
+    <Self extends S.Top, R>(self: Self, context: Context.Context<R>): ProvidedCodec<Self, R>;
+};
+export declare const contextFromServices: <Self extends S.Top, Tags extends ReadonlyArray<Context.Key<any, any>>>(self: Self, ...services: Tags) => Effect.Effect<ProvidedCodec<Self, Context.Service.Identifier<Tags[number]>>, never, Context.Service.Identifier<Tags[number]>>;
+export {};
 //# sourceMappingURL=ext.d.ts.map

package/dist/Schema/ext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ext.d.ts","sourceRoot":"","sources":["../../src/Schema/ext.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAgB,MAAM,EAAE,KAAK,SAAS,EAAgB,WAAW,EAAwB,UAAU,EAAE,MAAM,QAAQ,CAAA;AAClI,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,aAAa,CAAA;AAExD,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,aAAa,CAAA;AAEtC,KAAK,aAAa,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CACjD,IAAI,CAAC,MAAM,CAAC,EACZ,IAAI,CAAC,SAAS,CAAC,EACf,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,EACpC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CACrC,CAAA;AAMD,eAAO,MAAM,sBAAsB,GAAI,CAAC,EACtC,aAAa,MAAM,OAAO,CAAC,CAAC,CAAC,MAE9B,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,MAAM,IAAI,KAAG,CAAC,CAAC,sBAAsB,CAAC,IAAI,GAAG,CAAC,CAAC,yBAAyB,CAK5F,CAAA;AAUD;;GAEG;AACH,eAAO,MAAM,IAAI;;CAEf,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,OAAO;;CAElB,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,MAAM;;CAA2F,CAAA;AAE9G;;GAEG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ,SAAS,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,UAAU,QAAQ;oBAK/E,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;;;;aAMxB,CAAA,OAAO,QAAQ,EAAC,CAAC,CAAC;;CAG/C,CAAA;AAEH;;GAEG;AACH,wBAAgB,KAAK,CAAC,WAAW,SAAS,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW;;EAKlE;AAED;;GAEG;AACH,iBAAS,IAAI,CAAC,SAAS,SAAS,CAAC,CAAC,GAAG,EAAE,WAAW,SAAS,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE;;EAK9G;AAED,OAAO,EAAE,IAAI,IAAI,GAAG,EAAE,CAAA;AAEtB;;GAEG;AACH,eAAO,MAAM,WAAW,GAAI,WAAW,SAAS,CAAC,CAAC,GAAG,EAAE,OAAO,WAAW;;CAKtE,CAAA;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,GAAI,SAAS,SAAS,CAAC,CAAC,GAAG,EAAE,WAAW,SAAS,CAAC,CAAC,GAAG,EAAE,MAAM;IACpF,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAC5B;;CAIE,CAAA;AAEH;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,MAAM,MAAM;;CAItD,CAAA;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,QAAQ,MAAM,6EACF,CAAA;AAE9D,eAAO,MAAM,WAAW,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,QAAQ,MAAM,6EAAqD,CAAA;AAErH,eAAO,MAAM,eAAe,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,QAAQ,MAAM,6EAAoD,CAAA;AAExH,eAAO,MAAM,YAAY,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,QAAQ,MAAM,6EAAkD,CAAA;AAEnH,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,QAAQ,MAAM,6EAAyD,CAAA;AAExH,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,EAAE,QAAQ,MAAM,6EAAyD,CAAA;AAExH,eAAO,MAAM,eAAe,GAAI,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,8BAM1D,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,IAAI,CAC7C,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAClB,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAC7B,IAAI,CAAC,MAAM,CAAC,CAAA;AAgBjB,eAAO,MAAM,SAAS;;CAGrB,CAAA;AAED,MAAM,WAAW,UAAU;CAAG;AAI9B,wBAAgB,YAAY,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACtD,CAAC,EAAE,GAAG,GACL;KACA,CAAC,IAAI,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;CAC7F,CAKA;AAED,wBAAgB,iBAAiB,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAC3D,CAAC,EAAE,GAAG,GACL;KACA,CAAC,IAAI,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;CAChG,CAKA;AAED,yEAAyE;AACzE,eAAO,MAAM,WAAW,GAAI,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC,CAAC,GAAG,EAC9D,MAAM,IAAI,EACV,IAAI,EAAE,EACN,QAAQ,CACN,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EACnB,OAAO,EAAE,SAAS,CAAC,YAAY,KAC5B,EAAE,CAAC,SAAS,CAAC,4CAgBjB,CAAA;AAEH,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,GAAI,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,EACxE,MAAM,IAAI,EACV,IAAI,EAAE,EACN,QAAQ,CACN,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EACnB,OAAO,EAAE,SAAS,CAAC,YAAY,KAC5B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,4CAgBvD,CAAA;AAEH,eAAO,MAAM,OAAO,GAAI,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,EAC3C,MAAM,IAAI,EACV,SAAS,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,KAChC,aAAa,CAAC,IAAI,EAAE,CAAC,CAMvB,CAAA;AACD,eAAO,MAAM,mBAAmB,GAC9B,IAAI,SAAS,CAAC,CAAC,GAAG,EAClB,IAAI,SAAS,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAEpD,MAAM,IAAI,EACV,GAAG,UAAU,IAAI,KAChB,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAChE,KAAK,EACL,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAOzC,CAAA"}
+{"version":3,"file":"ext.d.ts","sourceRoot":"","sources":["../../src/Schema/ext.ts"],"names":[],"mappings":"AAiCA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAElC,OAAO,KAAK,KAAK,SAAS,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,WAAW,MAAM,oBAAoB,CAAA;AAEjD,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AAExC,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,aAAa,CAAA;AAEtC,KAAK,aAAa,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CACjD,IAAI,CAAC,MAAM,CAAC,EACZ,IAAI,CAAC,SAAS,CAAC,EACf,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,EACpC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CACrC,CAAA;AAQD,eAAO,MAAM,mBAAmB,EAAE,SAAS,CAAC,YAE3C,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB;aAAK,YAAY;CAAgC,CAAA;AAElF,KAAK,UAAU,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAAK,GAAG,CAAA;AAExF,eAAO,MAAM,uBAAuB,GAAI,MAAM,SAAS,UAAU,UACvD,MAAM,wBACO,SAAS,CAAC,YAAY,KAC1C,MAIW,CAAA;AAUd;;;;;GAKG;AACH,MAAM,WAAW,cAAe,SAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;CAAG;AAEvE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,cAAc,EAAE,cAAyF,CAAA;AAEtH,4EAA4E;AAC5E,eAAO,MAAM,IAAI;IACf;;;;OAIG;;IAEH;;;;;;OAMG;;CAEF,CAAA;AAcH,iFAAiF;AACjF,eAAO,MAAM,SAAS;IACpB;;;;OAIG;;IAEH;;;;;;OAMG;;CAEF,CAAA;AAEH,kEAAkE;AAClE,eAAO,MAAM,OAAO;IAClB;;;;OAIG;;IAEH;;;;;OAKG;;CAEH,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,MAAM;IACjB;;;;OAIG;;IAEH;;;;;OAKG;;CAEH,CAAA;AAEF,iEAAiE;AACjE,eAAO,MAAM,MAAM;IACjB;;;;OAIG;;IAEH;;;;;OAKG;;CAEH,CAAA;AAEF,mGAAmG;AACnG,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,QAAQ,SAAS,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,QAAQ;IAKnG,uGAAuG;oBACvF,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;;QAG5C;;;;;WAKG;;QAEH;;;;;;WAMG;;;aAKiB,QAAQ,CAAC,CAAC,CAAC;IACnC;;;;;OAKG;;IAEH;;;;;;OAMG;;CAGR,CAAA;AAEH,gEAAgE;AAChE,wBAAgB,KAAK,CAAC,WAAW,SAAS,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW;IAK3D;;;;;OAKG;;IAEH;;;;;;OAMG;;EAIV;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,WAAW,SAAS,CAAC,CAAC,GAAG,SAAS,WAAW,sIAejF,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,SAAS,SAAS,CAAC,CAAC,GAAG,EAAE,WAAW,SAAS,CAAC,CAAC,GAAG,QAAQ;IAC7F,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAC5B,2MAwBA,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,WAAW,GAAI,WAAW,SAAS,CAAC,CAAC,GAAG,SAAS,WAAW;IAKjE;;;;;OAKG;;IAIH;;;;;;OAMG;;CAKR,CAAA;AAEH,kFAAkF;AAClF,eAAO,MAAM,WAAW,GAAI,SAAS,SAAS,CAAC,CAAC,GAAG,EAAE,WAAW,SAAS,CAAC,CAAC,GAAG,QAAQ;IACpF,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAC5B;IAKO;;;;;OAKG;;IAEH;;;;;;OAMG;;CAGR,CAAA;AAEH,iEAAiE;AACjE,eAAO,MAAM,MAAM,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,QAAQ,MAAM;IAKjD;;;;;OAKG;;IAEH;;;;;;OAMG;;CAGR,CAAA;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB,UAAU,MAAM,qCACjB,CAAA;AAE7E;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB,UAAU,MAAM,qCAChC,CAAA;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB,UAAU,MAAM,qCACrC,CAAA;AAE7D;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB,UAAU,MAAM,qCACjC,CAAA;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB,UAAU,MAAM,qCACxB,CAAA;AAErE;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB,UAAU,MAAM,qCACxB,CAAA;AAErE,eAAO,MAAM,eAAe,GAAI,IAAI,SAAS,CAAC,CAAC,GAAG,KAAK,IAAI,8BAM1D,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,IAAI,CAC7C,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAClB,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,KAC7B,IAAI,CAAC,MAAM,CAAC,CAAA;AAgBjB,6DAA6D;AAC7D,eAAO,MAAM,SAAS;IAvYpB;;;;OAIG;;IAEH;;;;;;OAMG;;;IA8XD;;;;OAIG;;QA9YL;;;;WAIG;;QAEH;;;;;;WAMG;;;IAoYD;;;;;;OAMG;;QAtZL;;;;WAIG;;QAEH;;;;;;WAMG;;;CA6YJ,CAAA;AAED,MAAM,WAAW,UAAU;CAAG;AAI9B,wBAAgB,YAAY,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACtD,CAAC,EAAE,GAAG,GACL;KACA,CAAC,IAAI,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;CAC7F,CAKA;AAED,wBAAgB,iBAAiB,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAC3D,CAAC,EAAE,GAAG,GACL;KACA,CAAC,IAAI,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;CAChG,CAKA;AAED,yEAAyE;AACzE,eAAO,MAAM,WAAW,GAAI,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC,CAAC,GAAG,QACxD,IAAI,MACN,EAAE,UACE,CACN,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EACnB,OAAO,EAAE,SAAS,CAAC,YAAY,KAC5B,EAAE,CAAC,SAAS,CAAC,uCAgBjB,CAAA;AAEH,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,GAAI,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,QAClE,IAAI,MACN,EAAE,UACE,CACN,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EACnB,OAAO,EAAE,SAAS,CAAC,YAAY,KAC5B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,oCAgBvD,CAAA;AAEH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC5F,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;CAOxF,CAAA;AACF,eAAO,MAAM,mBAAmB,EAQ1B,CACJ,IAAI,SAAS,CAAC,CAAC,GAAG,EAClB,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAEjD,IAAI,EAAE,IAAI,EACV,GAAG,QAAQ,EAAE,IAAI,KACd,MAAM,CAAC,MAAM,CAChB,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAC7D,KAAK,EACL,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CACzC,CAAA"}