Package: effect
Module: Channel
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.
Signature
export interface VarianceStruct<
out OutElem,
out OutErr,
out OutDone,
in InElem,
in InErr,
in InDone,
out Env
> {
_Env: Types.Covariant<Env>
_InErr: Types.Contravariant<InErr>
_InElem: Types.Contravariant<InElem>
_InDone: Types.Contravariant<InDone>
_OutErr: Types.Covariant<OutErr>
_OutElem: Types.Covariant<OutElem>
_OutDone: Types.Covariant<OutDone>
}
Since v2.0.0