Upgrading effect from 3.x to 4.x

Comparison of the public API of effect 3.22.2 and 4.0.0, computed automatically from their TypeScript types. A changed signature is a candidate for a breaking change, not a certainty.

Summary

Removed import paths	39
Removed exports	81
Changed signatures	0
Removed class or interface members	0
Changed class or interface members	0
Newly deprecated	0
Requirement changes (engines, peer dependencies)	0
New exports	44

Removed import paths

Removed import paths
`effect/Cron`
`effect/Data`
`effect/Exit`
`effect/Array`
`effect/Brand`
`effect/Cache`
`effect/Cause`
`effect/Chunk`
`effect/Clock`
`effect/Equal`
`effect/Fiber`
`effect/BigInt`
`effect/Config`
`effect/Differ`
`effect/Effect`
`effect/Either`
`effect/Boolean`
`effect/Channel`
`effect/Console`
`effect/Context`
`effect/FiberId`
`effect/DateTime`
`effect/Deferred`
`effect/Duration`
`effect/Encoding`
`effect/FiberMap`
`effect/Arbitrary`
`effect/FastCheck`
`effect/BigDecimal`
`effect/Effectable`
`effect/ConfigError`
`effect/Equivalence`
`effect/FiberHandle`
`effect/ExecutionPlan`
`effect/ConfigProvider`
`effect/DefaultServices`
`effect/ExecutionStrategy`
`effect/ChildExecutorDecision`
`effect/ConfigProviderPathPatch`

Removed exports

import	export	kind	Before
`effect`	`STM`	namespace	`namespace`
`effect`	`List`	namespace	`namespace`
`effect`	`TMap`	namespace	`namespace`
`effect`	`TRef`	namespace	`namespace`
`effect`	`TSet`	namespace	`namespace`
`effect`	`Micro`	namespace	`namespace`
`effect`	`Either`	namespace	`namespace`
`effect`	`Pretty`	namespace	`namespace`
`effect`	`Secret`	namespace	`namespace`
`effect`	`TArray`	namespace	`namespace`
`effect`	`TQueue`	namespace	`namespace`
`effect`	`FiberId`	namespace	`namespace`
`effect`	`GroupBy`	namespace	`namespace`
`effect`	`LogSpan`	namespace	`namespace`
`effect`	`Mailbox`	namespace	`namespace`
`effect`	`TPubSub`	namespace	`namespace`
`effect`	`TRandom`	namespace	`namespace`
`effect`	`Encoding`	namespace	`namespace`
`effect`	`FiberRef`	namespace	`namespace`
`effect`	`Readable`	namespace	`namespace`
`effect`	`TestLive`	namespace	`namespace`
`effect`	`FastCheck`	namespace	`namespace`
`effect`	`FiberRefs`	namespace	`namespace`
`effect`	`KeyedPool`	namespace	`namespace`
`effect`	`MetricKey`	namespace	`namespace`
`effect`	`SortedMap`	namespace	`namespace`
`effect`	`SortedSet`	namespace	`namespace`
`effect`	`TDeferred`	namespace	`namespace`
`effect`	`TestClock`	namespace	`namespace`
`effect`	`TestSized`	namespace	`namespace`
`effect`	`JSONSchema`	namespace	`namespace`
`effect`	`MergeState`	namespace	`namespace`
`effect`	`MetricHook`	namespace	`namespace`
`effect`	`MetricPair`	namespace	`namespace`
`effect`	`Reloadable`	namespace	`namespace`
`effect`	`StreamEmit`	namespace	`namespace`
`effect`	`Streamable`	namespace	`namespace`
`effect`	`Supervisor`	namespace	`namespace`
`effect`	`TSemaphore`	namespace	`namespace`
`effect`	`TestConfig`	namespace	`namespace`
`effect`	`ConfigError`	namespace	`namespace`
`effect`	`FiberStatus`	namespace	`namespace`
`effect`	`GlobalValue`	namespace	`namespace`
`effect`	`MetricLabel`	namespace	`namespace`
`effect`	`MetricState`	namespace	`namespace`
`effect`	`ParseResult`	namespace	`namespace`
`effect`	`RateLimiter`	namespace	`namespace`
`effect`	`TestContext`	namespace	`namespace`
`effect`	`MutableQueue`	namespace	`namespace`
`effect`	`RedBlackTree`	namespace	`namespace`
`effect`	`RequestBlock`	namespace	`namespace`
`effect`	`RuntimeFlags`	namespace	`namespace`
`effect`	`Subscribable`	namespace	`namespace`
`effect`	`TestServices`	namespace	`namespace`
`effect`	`unsafeCoerce`	variable	`<A, B>(a: A): B`
`effect`	`MergeDecision`	namespace	`namespace`
`effect`	`MergeStrategy`	namespace	`namespace`
`effect`	`MetricKeyType`	namespace	`namespace`
`effect`	`MetricPolling`	namespace	`namespace`
`effect`	`ModuleVersion`	namespace	`namespace`
`effect`	`FiberRefsPatch`	namespace	`namespace`
`effect`	`MetricRegistry`	namespace	`namespace`
`effect`	`TPriorityQueue`	namespace	`namespace`
`effect`	`TReentrantLock`	namespace	`namespace`
`effect`	`TestAnnotation`	namespace	`namespace`
`effect`	`DefaultServices`	namespace	`namespace`
`effect`	`TestAnnotations`	namespace	`namespace`
`effect`	`MetricBoundaries`	namespace	`namespace`
`effect`	`ScheduleDecision`	namespace	`namespace`
`effect`	`ScheduleInterval`	namespace	`namespace`
`effect`	`TSubscriptionRef`	namespace	`namespace`
`effect`	`ExecutionStrategy`	namespace	`namespace`
`effect`	`RuntimeFlagsPatch`	namespace	`namespace`
`effect`	`ScheduleIntervals`	namespace	`namespace`
`effect`	`TestAnnotationMap`	namespace	`namespace`
`effect`	`StreamHaltStrategy`	namespace	`namespace`
`effect`	`UpstreamPullRequest`	namespace	`namespace`
`effect`	`UpstreamPullStrategy`	namespace	`namespace`
`effect`	`ChildExecutorDecision`	namespace	`namespace`
`effect`	`ConfigProviderPathPatch`	namespace	`namespace`
`effect`	`SingleProducerAsyncInput`	namespace	`namespace`

Changed signatures

None detected.

Removed class or interface members

None detected.

Changed class or interface members

None detected.

Newly deprecated

None detected.

Requirement changes (engines, peer dependencies)

None detected.

New exports (44)

import	export	kind
`effect`	`Path`	namespace
`effect`	`Pull`	namespace
`effect`	`cast`	variable
`effect`	`Latch`	namespace
`effect`	`Optic`	namespace
`effect`	`Stdio`	namespace
`effect`	`TxRef`	namespace
`effect`	`Crypto`	namespace
`effect`	`Filter`	namespace
`effect`	`Result`	namespace
`effect`	`Newtype`	namespace
`effect`	`Reducer`	namespace
`effect`	`TxChunk`	namespace
`effect`	`TxQueue`	namespace
`effect`	`ByteSize`	namespace
`effect`	`Combiner`	namespace
`effect`	`LayerRef`	namespace
`effect`	`Terminal`	namespace
`effect`	`TxPubSub`	namespace
`effect`	`Formatter`	namespace
`effect`	`JsonPatch`	namespace
`effect`	`Semaphore`	namespace
`effect`	`TxHashMap`	namespace
`effect`	`TxHashSet`	namespace
`effect`	`FileSystem`	namespace
`effect`	`JsonSchema`	namespace
`effect`	`Redactable`	namespace
`effect`	`References`	namespace
`effect`	`TxDeferred`	namespace
`effect`	`JsonPointer`	namespace
`effect`	`SchemaIssue`	namespace
`effect`	`TxSemaphore`	namespace
`effect`	`UndefinedOr`	namespace
`effect`	`SchemaGetter`	namespace
`effect`	`SchemaParser`	namespace
`effect`	`ChannelSchema`	namespace
`effect`	`ErrorReporter`	namespace
`effect`	`PlatformError`	namespace
`effect`	`StandardSchema`	namespace
`effect`	`TxPriorityQueue`	namespace
`effect`	`TxReentrantLock`	namespace
`effect`	`TxSubscriptionRef`	namespace
`effect`	`SchemaRepresentation`	namespace
`effect`	`SchemaTransformation`	namespace

Give your AI agent these facts

Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Add to Cursor Add to VS Code ★ Star on GitHub

Any other MCP client

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests

Frequently asked questions

What are the breaking changes when upgrading effect from 3 to 4?

Between effect 3.22.2 and 4.0.0, Vigia found 81 removed exports, 0 changed signatures and 0 removed or changed class or interface members.

What became deprecated in effect 4?

0 exports or members are newly marked as deprecated in effect 4.0.0.

For agents

GET https://vigia.coredls.cloud/v1/packages/npm/effect/upgrade?from=3.22.2&to=4.0.0