@effect/stm - npm Package Compare versions

Comparing version 0.10.1 to 0.10.2

internal_effect_untraced/stm.js

@@ -6,4 +6,4 @@ "use strict";
 });
-exports.unleft = exports.unit = exports.tryCatch = exports.tapError = exports.tapBoth = exports.tap = exports.suspend = exports.summarized = exports.succeedSome = exports.succeedRight = exports.succeedNone = exports.succeedLeft = exports.someOrFailException = exports.someOrFail = exports.someOrElseSTM = exports.someOrElse = exports.some = exports.right = exports.retryWhile = exports.retryUntil = exports.replicateSTMDiscard = exports.replicateSTM = exports.replicate = exports.repeatWhile = exports.repeatUntil = exports.rejectSTM = exports.reject = exports.refineOrDieWith = exports.refineOrDie = exports.reduceRight = exports.reduceAll = exports.reduce = exports.provideServiceSTM = exports.provideService = exports.provideContext = exports.partition = exports.orElseSucceed = exports.orElseOptional = exports.orElseFail = exports.orElseEither = exports.orElse = exports.orDieWith = exports.orDie = exports.option = exports.none = exports.negate = exports.mergeAll = exports.merge = exports.match = exports.mapError = exports.mapBoth = exports.mapAttempt = exports.loopDiscard = exports.loop = exports.left = exports.iterate = exports.isSuccess = exports.isFailure = exports.ignore = exports.ifSTM = exports.head = exports.gen = exports.fromOption = exports.fromEither = exports.forEachDiscard = exports.forEach = exports.flipWith = exports.flip = exports.flattenErrorOption = exports.flatten = exports.flatMapError = exports.filterOrFail = exports.filterOrElseWith = exports.filterOrElse = exports.filterOrDieMessage = exports.filterOrDie = exports.filterNot = exports.filter = exports.fiberId = exports.exists = exports.every = exports.eventually = exports.either = exports.cond = exports.commitEither = exports.collectSTM = exports.collectFirst = exports.collectAllDiscard = exports.collectAll = exports.collect = exports.check = exports.catchSome = exports.attempt = exports.asUnit = exports.asSomeError = exports.asSome = exports.as = exports.all = exports.acquireUseRelease = exports.absolve = void 0;
-exports.whenSTM = exports.whenCaseSTM = exports.whenCase = exports.when = exports.validateFirst = exports.validateAll = exports.unsome = exports.unright = exports.unlessSTM = exports.unless = void 0;
+exports.unit = exports.tryCatch = exports.tapError = exports.tapBoth = exports.tap = exports.suspend = exports.summarized = exports.succeedSome = exports.succeedRight = exports.succeedNone = exports.succeedLeft = exports.someOrFailException = exports.someOrFail = exports.someOrElseSTM = exports.someOrElse = exports.some = exports.right = exports.retryWhile = exports.retryUntil = exports.replicateSTMDiscard = exports.replicateSTM = exports.replicate = exports.repeatWhile = exports.repeatUntil = exports.rejectSTM = exports.reject = exports.refineOrDieWith = exports.refineOrDie = exports.reduceRight = exports.reduceAll = exports.reduce = exports.provideSomeContext = exports.provideServiceSTM = exports.provideService = exports.provideContext = exports.partition = exports.orElseSucceed = exports.orElseOptional = exports.orElseFail = exports.orElseEither = exports.orElse = exports.orDieWith = exports.orDie = exports.option = exports.none = exports.negate = exports.mergeAll = exports.merge = exports.match = exports.mapError = exports.mapBoth = exports.mapAttempt = exports.loopDiscard = exports.loop = exports.left = exports.iterate = exports.isSuccess = exports.isFailure = exports.ignore = exports.ifSTM = exports.head = exports.gen = exports.fromOption = exports.fromEither = exports.forEachDiscard = exports.forEach = exports.flipWith = exports.flip = exports.flattenErrorOption = exports.flatten = exports.flatMapError = exports.filterOrFail = exports.filterOrElseWith = exports.filterOrElse = exports.filterOrDieMessage = exports.filterOrDie = exports.filterNot = exports.filter = exports.fiberId = exports.exists = exports.every = exports.eventually = exports.either = exports.cond = exports.commitEither = exports.collectSTM = exports.collectFirst = exports.collectAllDiscard = exports.collectAll = exports.collect = exports.check = exports.catchSome = exports.attempt = exports.asUnit = exports.asSomeError = exports.asSome = exports.as = exports.all = exports.acquireUseRelease = exports.absolve = void 0;
+exports.whenSTM = exports.whenCaseSTM = exports.whenCase = exports.when = exports.validateFirst = exports.validateAll = exports.unsome = exports.unright = exports.unlessSTM = exports.unless = exports.unleft = void 0;
 var Chunk = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Chunk"));
@@ -345,2 +345,5 @@ var Context = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Context"));
 exports.provideContext = provideContext;
+const provideSomeContext = /*#__PURE__*/Debug.dualWithTrace(2, trace => (self, context) => core.contramapContext(self, parent => Context.merge(parent, context)).traced(trace));
+/** @internal */
+exports.provideSomeContext = provideSomeContext;
 const provideService = /*#__PURE__*/Debug.dualWithTrace(3, trace => (self, tag, resource) => provideServiceSTM(self, tag, core.succeed(resource)).traced(trace));
@@ -347,0 +350,0 @@ /** @internal */

package.json

 {
   "name": "@effect/stm",
-  "version": "0.10.1",
+  "version": "0.10.2",
   "license": "MIT",
@@ -5,0 +5,0 @@ "repository": {

src/internal_effect_untraced/stm.ts

@@ -908,2 +908,18 @@ import * as Chunk from "@effect/data/Chunk"
 /** @internal */
+export const provideSomeContext = Debug.dualWithTrace<
+  <R>(context: Context.Context<R>) => <R1, E, A>(self: STM.STM<R1, E, A>) => STM.STM<Exclude<R1, R>, E, A>,
+  <R, R1, E, A>(self: STM.STM<R1, E, A>, context: Context.Context<R>) => STM.STM<Exclude<R1, R>, E, A>
+>(2, (trace) =>
+  <R, R1, E, A>(
+    self: STM.STM<R1, E, A>,
+    context: Context.Context<R>
+  ): STM.STM<Exclude<R1, R>, E, A> =>
+    core.contramapContext(
+      self,
+      (parent: Context.Context<Exclude<R1, R>>): Context.Context<R1> => Context.merge(parent, context) as any
+    ).traced(
+      trace
+    ))
+
+/** @internal */
 export const provideService = Debug.dualWithTrace<
@@ -910,0 +926,0 @@ <T extends Context.Tag<any, any>>(

src/TRandom.ts

@@ -70,3 +70,3 @@ /**
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -79,3 +79,3 @@ export const Tag: Context.Tag<TRandom, TRandom> = internal.Tag
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -82,0 +82,0 @@ export const live: () => Layer.Layer<never, never, TRandom> = internal.live

STM.js

@@ -7,3 +7,3 @@ "use strict";
 exports.none = exports.nonEmptyTuple = exports.nonEmptyStruct = exports.negate = exports.mergeAll = exports.merge = exports.matchSTM = exports.match = exports.mapError = exports.mapBoth = exports.mapAttempt = exports.map = exports.loopDiscard = exports.loop = exports.letDiscard = exports.let = exports.left = exports.iterate = exports.isSuccess = exports.isSTM = exports.isFailure = exports.interruptAs = exports.interrupt = exports.ignore = exports.ifSTM = exports.head = exports.getFirstSuccessSemigroup = exports.getFailureSemigroup = exports.getFailureMonoid = exports.gen = exports.fromOption = exports.fromEither = exports.forEachDiscard = exports.forEach = exports.flipWith = exports.flip = exports.flattenErrorOption = exports.flatten = exports.flatMapError = exports.flatMap = exports.firstSuccessOf = exports.filterOrFail = exports.filterOrElseWith = exports.filterOrElse = exports.filterOrDieMessage = exports.filterOrDie = exports.filterNot = exports.filter = exports.fiberId = exports.failSync = exports.fail = exports.exists = exports.every = exports.eventually = exports.ensuring = exports.either = exports.dieSync = exports.dieMessage = exports.die = exports.contramapContext = exports.contextWithSTM = exports.contextWith = exports.context = exports.cond = exports.commitEither = exports.commit = exports.collectSTM = exports.collectFirst = exports.collectAllDiscard = exports.collectAll = exports.collect = exports.check = exports.catchSome = exports.catchAll = exports.bindTo = exports.bindDiscard = exports.bind = exports.attempt = exports.asUnit = exports.asSomeError = exports.asSome = exports.as = exports.all = exports.acquireUseRelease = exports.absolve = exports.SemiProduct = exports.SemiCoproduct = exports.SemiApplicative = exports.SemiAlternative = exports.STMTypeId = exports.Product = exports.Pointed = exports.Monad = exports.Invariant = exports.FlatMap = exports.Do = exports.Covariant = exports.Chainable = exports.Bicovariant = exports.Applicative = void 0;
-exports.zipWith = exports.zipRight = exports.zipLeft = exports.zip = exports.whenSTM = exports.whenCaseSTM = exports.whenCase = exports.when = exports.validateFirst = exports.validateAll = exports.unsome = exports.unright = exports.unlessSTM = exports.unless = exports.unleft = exports.unit = exports.tryCatch = exports.tapError = exports.tapBoth = exports.tap = exports.sync = exports.suspend = exports.summarized = exports.succeedSome = exports.succeedRight = exports.succeedNone = exports.succeedLeft = exports.succeed = exports.someOrFailException = exports.someOrFail = exports.someOrElseSTM = exports.someOrElse = exports.some = exports.right = exports.retryWhile = exports.retryUntil = exports.retry = exports.replicateSTMDiscard = exports.replicateSTM = exports.replicate = exports.repeatWhile = exports.repeatUntil = exports.rejectSTM = exports.reject = exports.refineOrDieWith = exports.refineOrDie = exports.reduceRight = exports.reduceAll = exports.reduce = exports.provideServiceSTM = exports.provideService = exports.provideContext = exports.partition = exports.orTry = exports.orElseSucceed = exports.orElseOptional = exports.orElseFail = exports.orElseEither = exports.orElse = exports.orDieWith = exports.orDie = exports.option = void 0;
+exports.zipWith = exports.zipRight = exports.zipLeft = exports.zip = exports.whenSTM = exports.whenCaseSTM = exports.whenCase = exports.when = exports.validateFirst = exports.validateAll = exports.unsome = exports.unright = exports.unlessSTM = exports.unless = exports.unleft = exports.unit = exports.tryCatch = exports.tapError = exports.tapBoth = exports.tap = exports.sync = exports.suspend = exports.summarized = exports.succeedSome = exports.succeedRight = exports.succeedNone = exports.succeedLeft = exports.succeed = exports.someOrFailException = exports.someOrFail = exports.someOrElseSTM = exports.someOrElse = exports.some = exports.right = exports.retryWhile = exports.retryUntil = exports.retry = exports.replicateSTMDiscard = exports.replicateSTM = exports.replicate = exports.repeatWhile = exports.repeatUntil = exports.rejectSTM = exports.reject = exports.refineOrDieWith = exports.refineOrDie = exports.reduceRight = exports.reduceAll = exports.reduce = exports.provideSomeContext = exports.provideServiceSTM = exports.provideService = exports.provideContext = exports.partition = exports.orTry = exports.orElseSucceed = exports.orElseOptional = exports.orElseFail = exports.orElseEither = exports.orElse = exports.orDieWith = exports.orDie = exports.option = void 0;
 var Chunk = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Chunk"));
@@ -240,3 +240,3 @@ var Debug = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@effect/data/Debug"));
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -798,3 +798,3 @@ exports.contextWithSTM = contextWithSTM;
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -804,2 +804,11 @@ exports.partition = partition;
 /**
+ * Splits the context into two parts, providing one part using the
+ * specified layer and leaving the remainder `R0`.
+ *
+ * @since 1.0.0
+ * @category context
+ */
+exports.provideContext = provideContext;
+const provideSomeContext = stm.provideSomeContext;
+/**
  * Provides the effect with the single service it requires. If the transactional
@@ -809,5 +818,5 @@ * effect requires more than one service use `provideEnvironment` instead.
  * @since 1.0.0
- * @category environment
+ * @category context
  */
-exports.provideContext = provideContext;
+exports.provideSomeContext = provideSomeContext;
 const provideService = stm.provideService;
@@ -819,3 +828,3 @@ /**
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -822,0 +831,0 @@ exports.provideService = provideService;

TRandom.d.ts

@@ -55,3 +55,3 @@ /**
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -63,3 +63,3 @@ export declare const Tag: Context.Tag<TRandom, TRandom>;
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -66,0 +66,0 @@ export declare const live: () => Layer.Layer<never, never, TRandom>;

TRandom.js

@@ -19,3 +19,3 @@ "use strict";
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -28,3 +28,3 @@ exports.TRandomTypeId = TRandomTypeId;
  * @since 1.0.0
- * @category environment
+ * @category context
  */
@@ -31,0 +31,0 @@ exports.Tag = Tag;

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

1796238

increased by0.2%

Lines of code

29842

increased by0.2%

No dependency changes