Widening Types for Success Schemas in `HttpApi` Endpoints

I am trying to obtain a collection of all success schemas of all endpoints in a

HttpApi

HttpApi

and noticed that the types are too strict for what I'm trying to do causing errors: https://effect.website/play#c0d1140e5f38
Is there a suitable way to widen the types so I don't run into errors here?
The goal being that

getAllSuccessSchemas

getAllSuccessSchemas

either returns a strict

(Schema.Schema<Schema1, unknown, never> | Schema.Schema<Schema2, unknown, never>)[]

(Schema.Schema<Schema1, unknown, never> | Schema.Schema<Schema2, unknown, never>)[]

or at least a generic

Schema.Schema<unknown, unknown>[]

Schema.Schema<unknown, unknown>[]

that I can use for

Schema.encode/decode/is

Schema.encode/decode/is

later down the road.

Effect Community•6mo ago

Near

Widening Types for Success Schemas in `HttpApi` Endpoints

I am trying to obtain a collection of all success schemas of all endpoints in a

HttpApi

HttpApi

getAllSuccessSchemas

getAllSuccessSchemas

either returns a strict

(Schema.Schema<Schema1, unknown, never> | Schema.Schema<Schema2, unknown, never>)[]

(Schema.Schema<Schema1, unknown, never> | Schema.Schema<Schema2, unknown, never>)[]

or at least a generic

Schema.Schema<unknown, unknown>[]

Schema.Schema<unknown, unknown>[]

that I can use for

Schema.encode/decode/is

Schema.encode/decode/is

later down the road.

Widening Types for Success Schemas in `HttpApi` Endpoints

Similar Threads

Widening Types for Success Schemas in `HttpApi` Endpoints

Similar Threads

Similar Threads

Similar Threads