Import
import { Fx } from "@typed/fx/Fx";Access Fx.Services through the imported Fx export. Its declaration below describes the member.
Signatures
type Services<T> = [
T
] extends [
never
] ? never : [
T
] extends [
Fx<infer _A, infer _E, infer _R>
] ? _R : never;Why
Combinators and helpers can expose the complete environment of a producer without evaluating it. The tuple wrapper prevents unwanted conditional distribution.
Ownership and lifetime
This conditional type performs no runtime work.
Other public imports
These import paths expose the same declaration. Each page retains its own public name and signature.