const fileName_1 = "(@effect/core) _src/io/Random/operations/withSeed.ts";
import * as tsplus_module_1 from "@effect/core/io/Random/definition";
import * as tsplus_module_2 from "@tsplus/stdlib/service/Env";
import * as tsplus_module_3 from "@effect/core/io/definition";
import * as tsplus_module_4 from "@effect/core/io/FiberRef/operations/locally";
import * as tsplus_module_5 from "@effect/core/io/Effect/operations/succeed";
import * as tsplus_module_6 from "@effect/core/io/Effect/operations/flatMap";
import { LiveRandom } from "@effect/core/io/Random/operations/live";
/**
 * @tsplus static ets/Random/Ops withSeed
 */

export function withSeed(seed) {
  return effect => tsplus_module_6.flatMap_(tsplus_module_5.succeed(() => new LiveRandom(seed), fileName_1 + ":8:19"), random => tsplus_module_4.locally_(tsplus_module_3.services.value, tsplus_module_2.Env(tsplus_module_1.Random.Tag, random), fileName_1 + ":9:53")(effect), fileName_1 + ":8:49");
}
//# sourceMappingURL=withSeed.mjs.map