Variance<A, E, R>Type-level variance marker for Stream.
Details
The emitted value A, error E, and service requirement R type
parameters are covariant.
models
Source effect/Stream.ts:1843 lines
export interface interface Variance<out A, out E, out R>Type-level variance marker for Stream.
Details
The emitted value A, error E, and service requirement R type
parameters are covariant.
Variance<out function (type parameter) A in Variance<out A, out E, out R>A, out function (type parameter) E in Variance<out A, out E, out R>E, out function (type parameter) R in Variance<out A, out E, out R>R> {
readonly [const TypeId: TypeIdString literal type used as the unique brand for Stream values.
Runtime identifier stored on Stream values and used by isStream to
recognize them.
Details
This marker is part of the runtime representation of Stream values. Prefer
isStream when narrowing unknown values.
TypeId]: interface VarianceStruct<out A, out E, out R>Structural encoding used by Variance to record each Stream type
parameter's variance.
Details
_A, _E, and _R are covariant markers.
VarianceStruct<function (type parameter) A in Variance<out A, out E, out R>A, function (type parameter) E in Variance<out A, out E, out R>E, function (type parameter) R in Variance<out A, out E, out R>R>
}Referenced by 1 symbols