Import
import { Fx } from "@typed/fx";Access Fx.Fx.Services through the imported Fx export. Its declaration below describes the member.
This public exposure is a re-export. Its import path is supported; declaration documentation is shared with the other public exposures below.
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.