Skip to main content Link Search Menu Expand Document (external link)
effect-native

types overview

Helper utilities for adjusting the environment (R) of Effect programs.

These types make it ergonomic to add or remove services from an Effect.Effect without altering its success or error channels, enabling higher-order helpers to fine-tune dependency requirements.

Added in v0.1.0

Table of contents

utils

AddR (type alias)

Adds additional services to the environment required by an Effect.

Signature

export type AddR<Self extends Effect.Effect<any, any, any>, UR> =
  Self extends Effect.Effect<infer A, infer E, infer R> ? Effect.Effect<A, E, R | UR> : never

Added in v0.1.0

ExcludeR (type alias)

Removes a subset of services from the environment of an Effect.

Signature

export type ExcludeR<Self extends Effect.Effect<any, any, any>, UR> =
  Self extends Effect.Effect<infer A, infer E, infer R> ? Effect.Effect<A, E, Exclude<R, UR>> : never

Added in v0.1.0