Function updateWithEffect

packages/effect-app/src/Pure.ts:231–235

(
  upd: (s: S2, log: (evt: W) => PureLogT<W>) => Effect.Effect<S3, E, FixEnv<R, W, S2, S3>>
)

}

export function updateWithEffect<W, R, E, S2, S3>(
  upd: (s: S2, log: (evt: W) => PureLogT<W>) => Effect.Effect<S3, E, FixEnv<R, W, S2, S3>>
): Effect.Effect<S3, E, FixEnv<R, W, S2, S3>> {
  return modifyM((_: S2) => Effect.map(upd(_, log), (_) => tuple(_, _)))
}

export type FixEnv<R, W, S, S2> =
  | Exclude<R, PureEnvEnv<any, any, any>>