declare

The constraint R extends Schema.Context<P[number]> enforces dependencies solely from typeParameters. This ensures that when you call Schema.to or Schema.from, you receive a schema with a never context.

Since

3.10.0

Call Signature

declare<A>(is, annotations?): declare<A>

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:503

The constraint R extends Schema.Context<P[number]> enforces dependencies solely from typeParameters. This ensures that when you call Schema.to or Schema.from, you receive a schema with a never context.

Type Parameters

• A

Parameters

is

(input) => input is A

annotations?

Schema<A, readonly []>

Returns

declare<A>

Since

3.10.0

Since

3.10.0

Call Signature

declare<A, I, P>(typeParameters, options, annotations?): declare<A, I, P>

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:511

The constraint R extends Schema.Context<P[number]> enforces dependencies solely from typeParameters. This ensures that when you call Schema.to or Schema.from, you receive a schema with a never context.

Type Parameters

• A

• I

• P extends readonly All[]

Parameters

typeParameters

P

options

decode

(…typeParameters) => (input, options, ast) => Effect<A, ParseIssue, never>

encode

(…typeParameters) => (input, options, ast) => Effect<I, ParseIssue, never>

annotations?

Schema<A, { readonly [K in string | number | symbol]: Type<P[K<K>]> }>

Returns

declare<A, I, P>

Since

3.10.0

Since

3.10.0