Files
scriptc/tests/fixtures/effect/schema-union-refinement.ts
Chris Tate 2069684b40 Expand static Effect support across common APIs (#598)
* Expand static Effect support across common APIs

* Preserve compiler parity across expanded Effect patterns

* Fix compiler regressions exposed by Effect coverage

* Bound shared type conversion traversal

* Clarify conversion contracts and tidy fixtures

* Run every Effect fixture in CI shards

* Preserve inferred array assignments in concurrent Effect programs

* Record inferred array fixture compiler ordering
2026-10-01 02:49:31 -05:00

6 lines
380 B
TypeScript

import { Schema, Either } from "effect";
const Positive = Schema.Number.pipe(Schema.filter((n: number) => n > 0));
const S = Schema.Struct({ kind: Schema.Union(Schema.Literal("a"), Schema.Literal("b")), count: Positive });
console.log(Schema.decodeUnknownSync(S)({ kind: "a", count: 2 }).kind);
console.log(Either.isLeft(Schema.decodeUnknownEither(S)({ kind: "b", count: -1 })));