Support refinements in Schedule.while

[mikearnaldi]

Summary

• add type guard overloads to Schedule.while
• narrow schedule input and output types for pipeable and data-first usage
• add type-level coverage and a patch changeset

Testing

• pnpm test-types packages/effect/typetest/Schedule.tst.ts
• pnpm check
• pnpm exec dprint check packages/effect/src/Schedule.ts packages/effect/typetest/Schedule.tst.ts .changeset/narrow-schedule-while.md
• NODE_OPTIONS=--experimental-strip-types pnpm exec oxlint packages/effect/src/Schedule.ts packages/effect/typetest/Schedule.tst.ts

[changeset-bot]

🦋 Changeset detected

Latest commit: 4725497

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 30 packages

Name	Type
effect	Patch
@effect/ai-anthropic	Patch
@effect/ai-openai	Patch
@effect/ai-openai-compat	Patch
@effect/ai-openrouter	Patch
@effect/atom-react	Patch
@effect/atom-solid	Patch
@effect/atom-vue	Patch
@effect/docgen	Patch
@effect/doctest	Patch
@effect/openapi-generator	Patch
@effect/opentelemetry	Patch
@effect/platform-browser	Patch
@effect/platform-bun	Patch
@effect/platform-deno	Patch
@effect/platform-node	Patch
@effect/platform-node-shared	Patch
@effect/sql-clickhouse	Patch
@effect/sql-d1	Patch
@effect/sql-libsql	Patch
@effect/sql-mssql	Patch
@effect/sql-mysql2	Patch
@effect/sql-pg	Patch
@effect/sql-pglite	Patch
@effect/sql-sqlite-bun	Patch
@effect/sql-sqlite-do	Patch
@effect/sql-sqlite-node	Patch
@effect/sql-sqlite-react-native	Patch
@effect/sql-sqlite-wasm	Patch
@effect/vitest	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[github-actions]

Bundle Size Analysis

Generated from PR build output; treat the content below as untrusted.

File Name	Current Size	Previous Size	Difference
basic.ts	6.91 KB	6.91 KB	0.00 KB (0.00%)
batching.ts	9.72 KB	9.72 KB	0.00 KB (0.00%)
brand.ts	6.50 KB	6.50 KB	0.00 KB (0.00%)
cache.ts	10.63 KB	10.63 KB	0.00 KB (0.00%)
config.ts	21.05 KB	21.05 KB	0.00 KB (0.00%)
differ.ts	19.99 KB	19.99 KB	0.00 KB (0.00%)
http-client.ts	21.56 KB	21.56 KB	0.00 KB (0.00%)
logger.ts	10.88 KB	10.88 KB	0.00 KB (0.00%)
metric.ts	8.86 KB	8.86 KB	0.00 KB (0.00%)
optic.ts	6.67 KB	6.67 KB	0.00 KB (0.00%)
pubsub.ts	14.90 KB	14.90 KB	0.00 KB (0.00%)
queue.ts	11.57 KB	11.57 KB	0.00 KB (0.00%)
schedule.ts	10.74 KB	10.74 KB	0.00 KB (0.00%)
schema-class.ts	19.61 KB	19.61 KB	0.00 KB (0.00%)
schema-fromJsonSchemaDocument.ts	29.57 KB	29.57 KB	0.00 KB (0.00%)
schema-representation-roundtrip.ts	25.81 KB	25.81 KB	0.00 KB (0.00%)
schema-string-transformation.ts	13.49 KB	13.49 KB	0.00 KB (0.00%)
schema-string.ts	10.99 KB	10.99 KB	0.00 KB (0.00%)
schema-template-literal.ts	15.30 KB	15.30 KB	0.00 KB (0.00%)
schema-toArbitrary.ts	21.73 KB	21.73 KB	0.00 KB (0.00%)
schema-toCodeDocument.ts	24.20 KB	24.20 KB	0.00 KB (0.00%)
schema-toCodecJson.ts	18.96 KB	18.96 KB	0.00 KB (0.00%)
schema-toEquivalence.ts	18.78 KB	18.78 KB	0.00 KB (0.00%)
schema-toFormatter.ts	18.65 KB	18.65 KB	0.00 KB (0.00%)
schema-toJsonSchemaDocument.ts	22.81 KB	22.81 KB	0.00 KB (0.00%)
schema-toRepresentation.ts	19.30 KB	19.30 KB	0.00 KB (0.00%)
schema.ts	18.87 KB	18.87 KB	0.00 KB (0.00%)
stm.ts	12.66 KB	12.66 KB	0.00 KB (0.00%)
stream.ts	9.66 KB	9.66 KB	0.00 KB (0.00%)

[tim-smart]

Maybe we add back .whileInput / .whileOutput as this feels a bit tricky to use.