effect 4.0.0-beta.36 → 4.0.0-beta.38

package/dist/Schema.d.ts

@@ -148,7 +148,7 @@ export type ConstructorDefault = "no-default" | "with-default";
  * Options for `makeUnsafe` and Class constructors.
  *
  * When to use:
- * - Pass `disableValidation: true` to skip validation when you trust the data.
+ * - Pass `disableChecks: true` to skip validation when you trust the data.
  * - Pass `parseOptions` to control error reporting behavior.
  *
  * @see {@link Bottom.makeUnsafe}
@@ -163,7 +163,7 @@ export interface MakeOptions {
     /**
      * Whether to disable validation for the schema.
      */
-    readonly disableValidation?: boolean | undefined;
+    readonly disableChecks?: boolean | undefined;
 }
 /**
  * The fully-parameterized base interface for all schemas. Exposes all 14 type
@@ -527,9 +527,7 @@ export declare namespace Codec {
      *
      * @since 4.0.0
      */
-    type ToAsserts<S extends Top & {
-        readonly DecodingServices: never;
-    }> = <I>(input: I) => asserts input is I & S["Type"];
+    type ToAsserts<S extends Top> = <I>(input: I) => asserts input is I & S["Type"];
 }
 /**
  * A schema that additionally supports optic (lens/prism) operations.
@@ -776,9 +774,7 @@ export declare function isSchemaError(u: unknown): u is SchemaError;
  * @category Standard Schema
  * @since 4.0.0
  */
-export declare function toStandardSchemaV1<S extends Top & {
-    readonly DecodingServices: never;
-}>(self: S, options?: {
+export declare function toStandardSchemaV1<S extends Decoder<unknown>>(self: S, options?: {
     readonly leafHook?: Issue.LeafHook | undefined;
     readonly checkHook?: Issue.CheckHook | undefined;
     readonly parseOptions?: AST.ParseOptions | undefined;
@@ -890,9 +886,7 @@ export declare const decodeEffect: <S extends Top>(schema: S) => (input: S["Enco
  * @category Decoding
  * @since 4.0.0
  */
-export declare function decodeUnknownExit<S extends Top & {
-    readonly DecodingServices: never;
-}>(schema: S): (input: unknown, options?: AST.ParseOptions) => Exit_.Exit<S["Type"], SchemaError>;
+export declare function decodeUnknownExit<S extends Decoder<unknown>>(schema: S): (input: unknown, options?: AST.ParseOptions) => Exit_.Exit<S["Type"], SchemaError>;
 /**
  * Decodes a typed input (the schema's `Encoded` type) against a schema
  * synchronously, returning an `Exit` that is either a `Success` with the
@@ -903,9 +897,7 @@ export declare function decodeUnknownExit<S extends Top & {
  * @category Decoding
  * @since 4.0.0
  */
-export declare const decodeExit: <S extends Top & {
-    readonly DecodingServices: never;
-}>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => Exit_.Exit<S["Type"], SchemaError>;
+export declare const decodeExit: <S extends Decoder<unknown>>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => Exit_.Exit<S["Type"], SchemaError>;
 /**
  * Decodes an `unknown` input against a schema, returning an `Option` that is
  * `Some` with the decoded value on success or `None` on failure. Prefer this
@@ -925,9 +917,7 @@ export declare const decodeUnknownOption: typeof Parser.decodeUnknownOption;
  * @category Decoding
  * @since 4.0.0
  */
-export declare const decodeOption: <S extends Top & {
-    readonly DecodingServices: never;
-}>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => Option_.Option<S["Type"]>;
+export declare const decodeOption: <S extends Decoder<unknown>>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => Option_.Option<S["Type"]>;
 /**
  * Decodes an `unknown` input against a schema, returning a `Promise` that
  * resolves with the decoded value or rejects with a {@link SchemaError}. Useful
@@ -942,9 +932,7 @@ export declare const decodeUnknownResult: typeof Parser.decodeUnknownResult;
  * @category Decoding
  * @since 4.0.0
  */
-export declare const decodeResult: <S extends Top & {
-    readonly DecodingServices: never;
-}>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => Result_.Result<S["Type"], Issue.Issue>;
+export declare const decodeResult: <S extends Decoder<unknown>>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => Result_.Result<S["Type"], Issue.Issue>;
 /**
  * @category Decoding
  * @since 4.0.0
@@ -996,9 +984,7 @@ export declare const decodeUnknownSync: typeof Parser.decodeUnknownSync;
  * @category Decoding
  * @since 4.0.0
  */
-export declare const decodeSync: <S extends Top & {
-    readonly DecodingServices: never;
-}>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => S["Type"];
+export declare const decodeSync: <S extends Decoder<unknown>>(schema: S) => (input: S["Encoded"], options?: AST.ParseOptions) => S["Type"];
 /**
  * Encodes an `unknown` input against a schema, returning an `Effect` that
  * succeeds with the encoded value or fails with a {@link SchemaError}. Use this
@@ -1040,9 +1026,7 @@ export declare const encodeEffect: <S extends Top>(schema: S) => (input: S["Type
  * @category Encoding
  * @since 4.0.0
  */
-export declare function encodeUnknownExit<S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S): (input: unknown, options?: AST.ParseOptions) => Exit_.Exit<S["Encoded"], SchemaError>;
+export declare function encodeUnknownExit<S extends Encoder<unknown>>(schema: S): (input: unknown, options?: AST.ParseOptions) => Exit_.Exit<S["Encoded"], SchemaError>;
 /**
  * Encodes a typed input (the schema's `Type`) against a schema synchronously,
  * returning an `Exit` that is either a `Success` with the encoded value or a
@@ -1053,9 +1037,7 @@ export declare function encodeUnknownExit<S extends Top & {
  * @category Encoding
  * @since 4.0.0
  */
-export declare const encodeExit: <S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Exit_.Exit<S["Encoded"], SchemaError>;
+export declare const encodeExit: <S extends Encoder<unknown>>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Exit_.Exit<S["Encoded"], SchemaError>;
 /**
  * Encodes an `unknown` input against a schema, returning an `Option` that is
  * `Some` with the encoded value on success or `None` on failure. Prefer this
@@ -1075,9 +1057,7 @@ export declare const encodeUnknownOption: typeof Parser.encodeUnknownOption;
  * @category Encoding
  * @since 4.0.0
  */
-export declare const encodeOption: <S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Option_.Option<S["Encoded"]>;
+export declare const encodeOption: <S extends Encoder<unknown>>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Option_.Option<S["Encoded"]>;
 /**
  * Encodes an `unknown` input against a schema, returning a `Promise` that
  * resolves with the encoded value or rejects with a {@link SchemaError}. Useful
@@ -1092,16 +1072,12 @@ export declare const encodeUnknownResult: typeof Parser.encodeUnknownResult;
  * @category Encoding
  * @since 4.0.0
  */
-export declare const encodeResult: <S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Result_.Result<S["Encoded"], Issue.Issue>;
+export declare const encodeResult: <S extends Encoder<unknown>>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Result_.Result<S["Encoded"], Issue.Issue>;
 /**
  * @category Encoding
  * @since 4.0.0
  */
-export declare const encodeUnknownPromise: <S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S) => (input: unknown, options?: AST.ParseOptions) => Promise<S["Encoded"]>;
+export declare const encodeUnknownPromise: <S extends Encoder<unknown>>(schema: S) => (input: unknown, options?: AST.ParseOptions) => Promise<S["Encoded"]>;
 /**
  * Encodes a typed input (the schema's `Type`) against a schema, returning a
  * `Promise` that resolves with the encoded value or rejects with a
@@ -1110,9 +1086,7 @@ export declare const encodeUnknownPromise: <S extends Top & {
  * @category Encoding
  * @since 4.0.0
  */
-export declare const encodePromise: <S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Promise<S["Encoded"]>;
+export declare const encodePromise: <S extends Encoder<unknown>>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => Promise<S["Encoded"]>;
 /**
  * Encodes an `unknown` input against a schema synchronously, throwing a
  * {@link SchemaError} on failure. Use this when you want to serialize data at a
@@ -1133,9 +1107,7 @@ export declare const encodeUnknownSync: typeof Parser.encodeUnknownSync;
  * @category Encoding
  * @since 4.0.0
  */
-export declare const encodeSync: <S extends Top & {
-    readonly EncodingServices: never;
-}>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => S["Encoded"];
+export declare const encodeSync: <S extends Encoder<unknown>>(schema: S) => (input: S["Type"], options?: AST.ParseOptions) => S["Encoded"];
 /**
  * Creates a schema from an AST (Abstract Syntax Tree) node.
  *
@@ -6114,7 +6086,7 @@ export interface ExtendableClass<Self, S extends Top & {
 /**
  * Creates a schema-backed class whose constructor validates input against a
  * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
- * input (unless `disableValidation` is set in the options).
+ * input (unless `disableChecks` is set in the options).
  *
  * Pass the desired class type as the first type parameter. The second optional
  * type parameter can be used to add nominal brands.
@@ -6159,7 +6131,7 @@ export declare const Class: {
     /**
      * Creates a schema-backed class whose constructor validates input against a
      * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
-     * input (unless `disableValidation` is set in the options).
+     * input (unless `disableChecks` is set in the options).
      *
      * Pass the desired class type as the first type parameter. The second optional
      * type parameter can be used to add nominal brands.
@@ -6204,7 +6176,7 @@ export declare const Class: {
         /**
          * Creates a schema-backed class whose constructor validates input against a
          * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
-         * input (unless `disableValidation` is set in the options).
+         * input (unless `disableChecks` is set in the options).
          *
          * Pass the desired class type as the first type parameter. The second optional
          * type parameter can be used to add nominal brands.
@@ -6249,7 +6221,7 @@ export declare const Class: {
         /**
          * Creates a schema-backed class whose constructor validates input against a
          * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
-         * input (unless `disableValidation` is set in the options).
+         * input (unless `disableChecks` is set in the options).
          *
          * Pass the desired class type as the first type parameter. The second optional
          * type parameter can be used to add nominal brands.