effect 3.12.11 → 3.13.0

package/src/RcMap.ts

@@ -183,3 +183,37 @@ export const get: {
  * @category combinators
  */
 export const keys: <K, A, E>(self: RcMap<K, A, E>) => Effect.Effect<Array<K>, E> = internal.keys
+
+/**
+ * @since 3.13.0
+ * @category combinators
+ */
+export const invalidate: {
+  /**
+   * @since 3.13.0
+   * @category combinators
+   */
+  <K>(key: K): <A, E>(self: RcMap<K, A, E>) => Effect.Effect<void>
+  /**
+   * @since 3.13.0
+   * @category combinators
+   */
+  <K, A, E>(self: RcMap<K, A, E>, key: K): Effect.Effect<void>
+} = internal.invalidate
+
+/**
+ * @since 3.13.0
+ * @category combinators
+ */
+export const touch: {
+  /**
+   * @since 3.13.0
+   * @category combinators
+   */
+  <K>(key: K): <A, E>(self: RcMap<K, A, E>) => Effect.Effect<void>
+  /**
+   * @since 3.13.0
+   * @category combinators
+   */
+  <K, A, E>(self: RcMap<K, A, E>, key: K): Effect.Effect<void>
+} = internal.touch

package/src/Reloadable.ts

@@ -62,13 +62,10 @@ export declare namespace Reloadable {
  * @since 2.0.0
  * @category constructors
  */
-export const auto: <Out extends Context.Tag<any, any>, E, In, R>(
-  tag: Out,
-  options: {
-    readonly layer: Layer.Layer<Context.Tag.Identifier<Out>, E, In>
-    readonly schedule: Schedule.Schedule<unknown, unknown, R>
-  }
-) => Layer.Layer<Reloadable<Context.Tag.Identifier<Out>>, E, In | R> = internal.auto
+export const auto: <I, S, E, In, R>(
+  tag: Context.Tag<I, S>,
+  options: { readonly layer: Layer.Layer<I, E, In>; readonly schedule: Schedule.Schedule<unknown, unknown, R> }
+) => Layer.Layer<Reloadable<I>, E, R | In> = internal.auto
 
 /**
  * Makes a new reloadable service from a layer that describes the construction
@@ -78,13 +75,13 @@ export const auto: <Out extends Context.Tag<any, any>, E, In, R>(
  * @since 2.0.0
  * @category constructors
  */
-export const autoFromConfig: <Out extends Context.Tag<any, any>, E, In, R>(
-  tag: Out,
+export const autoFromConfig: <I, S, E, In, R>(
+  tag: Context.Tag<I, S>,
   options: {
-    readonly layer: Layer.Layer<Context.Tag.Identifier<Out>, E, In>
+    readonly layer: Layer.Layer<I, E, In>
     readonly scheduleFromConfig: (context: Context.Context<In>) => Schedule.Schedule<unknown, unknown, R>
   }
-) => Layer.Layer<Reloadable<Context.Tag.Identifier<Out>>, E, In | R> = internal.autoFromConfig
+) => Layer.Layer<Reloadable<I>, E, R | In> = internal.autoFromConfig
 
 /**
  * Retrieves the current version of the reloadable service.
@@ -92,9 +89,7 @@ export const autoFromConfig: <Out extends Context.Tag<any, any>, E, In, R>(
  * @since 2.0.0
  * @category getters
  */
-export const get: <T extends Context.Tag<any, any>>(
-  tag: T
-) => Effect.Effect<Context.Tag.Service<T>, never, Reloadable<Context.Tag.Identifier<T>>> = internal.get
+export const get: <I, S>(tag: Context.Tag<I, S>) => Effect.Effect<S, never, Reloadable<I>> = internal.get
 
 /**
  * Makes a new reloadable service from a layer that describes the construction
@@ -103,10 +98,10 @@ export const get: <T extends Context.Tag<any, any>>(
  * @since 2.0.0
  * @category constructors
  */
-export const manual: <Out extends Context.Tag<any, any>, In, E>(
-  tag: Out,
-  options: { readonly layer: Layer.Layer<Context.Tag.Identifier<Out>, E, In> }
-) => Layer.Layer<Reloadable<Context.Tag.Identifier<Out>>, E, In> = internal.manual
+export const manual: <I, S, In, E>(
+  tag: Context.Tag<I, S>,
+  options: { readonly layer: Layer.Layer<I, E, In> }
+) => Layer.Layer<Reloadable<I>, E, In> = internal.manual
 
 /**
  * Reloads the specified service.
@@ -114,17 +109,13 @@ export const manual: <Out extends Context.Tag<any, any>, In, E>(
  * @since 2.0.0
  * @category constructors
  */
-export const reload: <T extends Context.Tag<any, any>>(
-  tag: T
-) => Effect.Effect<void, unknown, Reloadable<Context.Tag.Identifier<T>>> = internal.reload
+export const reload: <I, S>(tag: Context.Tag<I, S>) => Effect.Effect<void, unknown, Reloadable<I>> = internal.reload
 
 /**
  * @since 2.0.0
  * @category context
  */
-export const tag: <T extends Context.Tag<any, any>>(
-  tag: T
-) => Context.Tag<Reloadable<Context.Tag.Identifier<T>>, Reloadable<Context.Tag.Service<T>>> = internal.reloadableTag
+export const tag: <I, S>(tag: Context.Tag<I, S>) => Context.Tag<Reloadable<I>, Reloadable<S>> = internal.reloadableTag
 
 /**
  * Forks the reload of the service in the background, ignoring any errors.
@@ -132,6 +123,5 @@ export const tag: <T extends Context.Tag<any, any>>(
  * @since 2.0.0
  * @category constructors
  */
-export const reloadFork: <T extends Context.Tag<any, any>>(
-  tag: T
-) => Effect.Effect<void, unknown, Reloadable<Context.Tag.Identifier<T>>> = internal.reloadFork
+export const reloadFork: <I, S>(tag: Context.Tag<I, S>) => Effect.Effect<void, unknown, Reloadable<I>> =
+  internal.reloadFork

package/src/STM.ts

@@ -2094,10 +2094,7 @@ export const provideService: {
    * @since 2.0.0
    * @category context
    */
-  <T extends Context.Tag<any, any>>(
-    tag: T,
-    resource: Context.Tag.Service<T>
-  ): <A, E, R>(self: STM<A, E, R>) => STM<A, E, Exclude<R, Context.Tag.Identifier<T>>>
+  <I, S>(tag: Context.Tag<I, S>, resource: NoInfer<S>): <A, E, R>(self: STM<A, E, R>) => STM<A, E, Exclude<R, I>>
   /**
    * Provides the effect with the single service it requires. If the transactional
    * effect requires more than one service use `provideEnvironment` instead.
@@ -2105,11 +2102,7 @@ export const provideService: {
    * @since 2.0.0
    * @category context
    */
-  <A, E, R, T extends Context.Tag<any, any>>(
-    self: STM<A, E, R>,
-    tag: T,
-    resource: Context.Tag.Service<T>
-  ): STM<A, E, Exclude<R, Context.Tag.Identifier<T>>>
+  <A, E, R, I, S>(self: STM<A, E, R>, tag: Context.Tag<I, S>, resource: NoInfer<S>): STM<A, E, Exclude<R, I>>
 } = stm.provideService
 
 /**
@@ -2127,10 +2120,10 @@ export const provideServiceSTM: {
    * @since 2.0.0
    * @category context
    */
-  <T extends Context.Tag<any, any>, E1, R1>(
-    tag: T,
-    stm: STM<Context.Tag.Service<T>, E1, R1>
-  ): <A, E, R>(self: STM<A, E, R>) => STM<A, E1 | E, R1 | Exclude<R, Context.Tag.Identifier<T>>>
+  <I, S, E1, R1>(
+    tag: Context.Tag<I, S>,
+    stm: STM<NoInfer<S>, E1, R1>
+  ): <A, E, R>(self: STM<A, E, R>) => STM<A, E1 | E, R1 | Exclude<R, I>>
   /**
    * Provides the effect with the single service it requires. If the transactional
    * effect requires more than one service use `provideEnvironment` instead.
@@ -2138,11 +2131,11 @@ export const provideServiceSTM: {
    * @since 2.0.0
    * @category context
    */
-  <A, E, R, T extends Context.Tag<any, any>, E1, R1>(
+  <A, E, R, I, S, E1, R1>(
     self: STM<A, E, R>,
-    tag: T,
-    stm: STM<Context.Tag.Service<T>, E1, R1>
-  ): STM<A, E | E1, R1 | Exclude<R, Context.Tag.Identifier<T>>>
+    tag: Context.Tag<I, S>,
+    stm: STM<NoInfer<S>, E1, R1>
+  ): STM<A, E1 | E, R1 | Exclude<R, I>>
 } = stm.provideServiceSTM
 
 /**