Variance<OutElem, OutErr, OutDone, InElem, InErr, InDone, Env>Phantom variance marker for the type parameters of Channel.
Details
Output element, output error, output done, and environment types are covariant. Input element, input error, and input done types are contravariant. This is type-level machinery and is not used directly at runtime.
export interface interface Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>Phantom variance marker for the type parameters of Channel.
Details
Output element, output error, output done, and environment types are
covariant. Input element, input error, and input done types are
contravariant. This is type-level machinery and is not used directly at
runtime.
Variance<
out function (type parameter) OutElem in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>OutElem,
out function (type parameter) OutErr in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>OutErr,
out function (type parameter) OutDone in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>OutDone,
in function (type parameter) InElem in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>InElem,
in function (type parameter) InErr in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>InErr,
in function (type parameter) InDone in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>InDone,
out function (type parameter) Env in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>Env
> {
readonly [const TypeId: TypeIdString literal type used as the unique brand for Channel values.
Runtime identifier stored on Channel values and used by isChannel to
recognize them.
TypeId]: interface VarianceStruct<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>Structural encoding used by Variance to record each Channel type
parameter's variance.
Details
The _OutElem, _OutErr, _OutDone, and _Env fields are covariant; the
_InElem, _InErr, and _InDone fields are contravariant. Users normally
do not need to reference this interface directly.
VarianceStruct<function (type parameter) OutElem in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>OutElem, function (type parameter) OutErr in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>OutErr, function (type parameter) OutDone in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>OutDone, function (type parameter) InElem in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>InElem, function (type parameter) InErr in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>InErr, function (type parameter) InDone in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>InDone, function (type parameter) Env in Variance<out OutElem, out OutErr, out OutDone, in InElem, in InErr, in InDone, out Env>Env>
}