Variance carrier for the effects brand — mirrors Effect's Stream.Variance. C is
covariant (Effect's (_: never) => C encoding), so a specific contract's effects satisfy the wide
StoreEffectsVariance<StoreContractValue> constraint that mapEffects / catchWriteErrors
take.
Source src/Store.ts:6153 lines
export interface interface StoreEffectsVariance<out C extends StoreContractValue>Variance carrier for the
effects
brand — mirrors Effect's Stream.Variance. C is
covariant (Effect's (_: never) => C encoding), so a specific contract's effects satisfy the wide
StoreEffectsVariance<StoreContractValue> constraint that
mapEffects
/
catchWriteErrors
take.
StoreEffectsVariance<out function (type parameter) C in StoreEffectsVariance<out C extends StoreContractValue>C extends type StoreContractValue<Shapes extends StoreShapes = Readonly<Record<string, StoreShapeInput>>, Custom extends Readonly<Record<string, unknown>> = Readonly<Record<never, never>>> = StoreContractDef<Shapes, Custom> & PipeableStoreContractValue> {
readonly [const TypeId: TypeIdBrand identifier for an
effects
object — Effect's v4 TypeId shape (a string-literal id,
present at runtime).
TypeId]: { readonly _C: (_: never) => C_C: (_: never_: never) => function (type parameter) C in StoreEffectsVariance<out C extends StoreContractValue>C };
}
Referenced by 4 symbols