Package: effect
Module: Schema
Computes the decoded object type for a record schema from its key and value schemas.
Details
The key schema supplies the property keys and the value schema supplies each
property’s decoded Type. Optional and mutable value schemas affect the
resulting property optionality and writability.
Signature
type Type<Key, Value> = Value extends
{ readonly "~type.optionality": "optional" } ?
Value extends { readonly "~type.mutability": "mutable" } ? { [P in Key["Type"]]?: Value["Type"] }
: { readonly [P in Key["Type"]]?: Value["Type"] }
: Value extends { readonly "~type.mutability": "mutable" } ? { [P in Key["Type"]]: Value["Type"] }
: { readonly [P in Key["Type"]]: Value["Type"] }
Since v3.10.0