type-alias / @typed/ui/Dom/Types

EffectInput

An Effect accepted at a DOM host boundary while preserving error and service inference.

Learn this UI primitive →

Package version
1.0.0-beta.13
Category
Host input types
Since
1.0.0

Import

import type { EffectInput } from "@typed/ui/Dom/Types";

Signatures

export type EffectInput<A = any> = Effect.Effect<A, any, any> | Effect.Effect<A, never, never> | Effect.Effect<never, any, any> | Effect.Effect<never, never, any>;

Why

The union prevents never channels from being widened when heterogeneous host inputs are inferred.

Ownership and lifetime

The Effect stays lazy and is owned by the Scope that renders the host.

Source