$ReadonlySet<Value>Type-level representation returned by ReadonlySet.
export interface interface $ReadonlySet<Value extends Constraint>Type-level representation returned by
ReadonlySet
.
$ReadonlySet<function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value extends Constraint> extends
interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<Constraint>, Iso = T>Creates a schema for a parametric type (a generic container such as
Array<A>, Option<A>, etc.) by accepting a list of type-parameter schemas
and a decoder factory.
When to use
Use when you are defining a schema for a generic container whose validation
depends on one or more type-parameter schemas.
Details
The outer call declareConstructor<T, E, Iso>() fixes the decoded type T,
the encoded type E, and the optional iso type. The inner call receives:
typeParameters — the concrete schemas for each type variablerun — a factory that, given resolved codecs for each type parameter,
returns a parsing function (u, ast, options) => Effect<T, Issue>annotations — optional metadata
Type-level representation returned by
declareConstructor
.
declareConstructor<
module globalThisglobalThis.interface ReadonlySet<T>ReadonlySet<function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value["Type"]>,
module globalThisglobalThis.interface ReadonlySet<T>ReadonlySet<function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value["Encoded"]>,
readonly [function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value],
type ReadonlySetIso<
Value extends Constraint
> = readonly Value["Iso"][]
Iso representation used for ReadonlySet schemas: an array of element values
using the element schema's Iso type.
ReadonlySetIso<function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value>
>
{
readonly "Rebuild": interface $ReadonlySet<Value extends Constraint>Type-level representation returned by
ReadonlySet
.
$ReadonlySet<function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value>
readonly $ReadonlySet<Value extends Constraint>.value: Value extends Constraintvalue: function (type parameter) Value in $ReadonlySet<Value extends Constraint>Value
}