VarianceStruct<A, E, R>Structural encoding used by Variance to record each Stream type
parameter's variance.
Details
_A, _E, and _R are covariant markers.
export interface 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<out function (type parameter) A in VarianceStruct<out A, out E, out R>A, out function (type parameter) E in VarianceStruct<out A, out E, out R>E, out function (type parameter) R in VarianceStruct<out A, out E, out R>R> {
readonly VarianceStruct<out A, out E, out R>._A: Covariant<A>_A: type Covariant<A> = (_: never) => AFunction-type alias encoding covariant variance for a phantom type
parameter.
When to use
Use as a phantom field type to make a type parameter covariant in output
position.
Details
Covariant<A> is assignable to Covariant<B> when A extends B, following
the subtype direction.
Example (Defining a covariant phantom type)
import type { Types } from "effect"
interface Producer<T> {
readonly _phantom: Types.Covariant<T>
readonly get: () => T
}
Namespace for
Covariant
-related utilities.
When to use
Use when referring to type-level helpers nested under Covariant.
Covariant<function (type parameter) A in VarianceStruct<out A, out E, out R>A>
readonly VarianceStruct<out A, out E, out R>._E: Covariant<E>_E: type Covariant<A> = (_: never) => AFunction-type alias encoding covariant variance for a phantom type
parameter.
When to use
Use as a phantom field type to make a type parameter covariant in output
position.
Details
Covariant<A> is assignable to Covariant<B> when A extends B, following
the subtype direction.
Example (Defining a covariant phantom type)
import type { Types } from "effect"
interface Producer<T> {
readonly _phantom: Types.Covariant<T>
readonly get: () => T
}
Namespace for
Covariant
-related utilities.
When to use
Use when referring to type-level helpers nested under Covariant.
Covariant<function (type parameter) E in VarianceStruct<out A, out E, out R>E>
readonly VarianceStruct<out A, out E, out R>._R: Covariant<R>_R: type Covariant<A> = (_: never) => AFunction-type alias encoding covariant variance for a phantom type
parameter.
When to use
Use as a phantom field type to make a type parameter covariant in output
position.
Details
Covariant<A> is assignable to Covariant<B> when A extends B, following
the subtype direction.
Example (Defining a covariant phantom type)
import type { Types } from "effect"
interface Producer<T> {
readonly _phantom: Types.Covariant<T>
readonly get: () => T
}
Namespace for
Covariant
-related utilities.
When to use
Use when referring to type-level helpers nested under Covariant.
Covariant<function (type parameter) R in VarianceStruct<out A, out E, out R>R>
}