ConstraintCodec<T, E, RD, RE>Lightweight structural constraint for APIs that need codec type views but do not need the full schema protocol.
When to use
Use when you need to preserve decoded type, encoded type, and service
requirements for a schema value, but the API does not call schema methods
such as annotate, check, rebuild, make, or makeEffect.
Source effect/Schema.ts:7086 lines
export interface interface ConstraintCodec<out T, out E = T, out RD = never, out RE = never>Lightweight structural constraint for APIs that need codec type views but do
not need the full schema protocol.
When to use
Use when you need to preserve decoded type, encoded type, and service
requirements for a schema value, but the API does not call schema methods
such as annotate, check, rebuild, make, or makeEffect.
ConstraintCodec<out function (type parameter) T in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>T, out function (type parameter) E in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>E = function (type parameter) T in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>T, out function (type parameter) RD in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>RD = never, out function (type parameter) RE in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>RE = never> extends Constraint {
readonly "Type": function (type parameter) T in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>T
readonly "Encoded": function (type parameter) E in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>E
readonly "DecodingServices": function (type parameter) RD in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>RD
readonly "EncodingServices": function (type parameter) RE in ConstraintCodec<out T, out E = T, out RD = never, out RE = never>RE
}Referenced by 7 symbols