Add Array.removeOption and Chunk.removeOption

.changeset/chatty-terms-occur.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+add Promise based apis to Fiber{Handle,Set,Map} modules

.changeset/cyan-radios-relate.md

@@ -0,0 +1,31 @@
+---
+"effect": minor
+---
+
+Add `Effect.transposeOption`, closes #3142.
+
+Converts an `Option` of an `Effect` into an `Effect` of an `Option`.
+
+**Details**
+
+This function transforms an `Option<Effect<A, E, R>>` into an
+`Effect<Option<A>, E, R>`. If the `Option` is `None`, the resulting `Effect`
+will immediately succeed with a `None` value. If the `Option` is `Some`, the
+inner `Effect` will be executed, and its result wrapped in a `Some`.
+
+**Example**
+
+```ts
+import { Effect, Option } from "effect"
+
+//      ┌─── Option<Effect<number, never, never>>
+//      ▼
+const maybe = Option.some(Effect.succeed(42))
+
+//      ┌─── Effect<Option<number>, never, never>
+//      ▼
+const result = Effect.transposeOption(maybe)
+
+console.log(Effect.runSync(result))
+// Output: { _id: 'Option', _tag: 'Some', value: 42 }
+```

.changeset/dirty-ways-dress.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Add `Effect.whenLogLevel`, which conditionally executes an effect if the specified log level is enabled

.changeset/great-buses-perform.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+add RcMap.touch, for reseting the idle timeout for an item

.changeset/loud-starfishes-grow.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Add HashMap.some

.changeset/mighty-turtles-battle.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+allow accessing args in Effect.fn pipe

.changeset/new-numbers-visit.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+add RcMap.invalidate api, for removing a resource from an RcMap

.changeset/polite-tables-cry.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Add Layer.updateService mirroring Effect.updateService

.changeset/pretty-trainers-rescue.md

@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+`Trie<out A>` type annotations have been aligned. The type parameter was made covariant because the structure is immutable.

.changeset/rude-rules-brush.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+`Differ` implements `Pipeable`

.changeset/six-pumpkins-yell.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Add Array.removeOption and Chunk.removeOption

.changeset/sixty-mice-occur.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Make it easy to convert a DateTime.Zoned to a DateTime.Utc

.changeset/thick-laws-yell.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Add missing `Either.void` constructor.

.changeset/tough-cars-invite.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+add {FiberHandle,FiberSet,FiberMap}.awaitEmpty apis

.changeset/twenty-owls-hunt.md

@@ -0,0 +1,19 @@
+---
+"effect": minor
+---
+
+Schema: Add `standardSchemaV1` API to Generate a [Standard Schema v1](https://standardschema.dev/).
+
+**Example**
+
+```ts
+import { Schema } from "effect"
+
+const schema = Schema.Struct({
+  name: Schema.String
+})
+
+//      ┌─── StandardSchemaV1<{ readonly name: string; }>
+//      ▼
+const standardSchema = Schema.standardSchemaV1(schema)
+```

.changeset/warm-bulldogs-grab.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Added `Duration.formatIso` and `Duration.fromIso` for formatting and parsing ISO8601 durations.

.changeset/warm-clouds-grab.md

@@ -0,0 +1,56 @@
+---
+"effect": minor
+---
+
+add Effect.filterEffect\* apis
+
+#### Effect.filterEffectOrElse
+
+Filters an effect with an effectful predicate, falling back to an alternative
+effect if the predicate fails.
+
+```ts
+import { Effect, pipe } from "effect"
+
+// Define a user interface
+interface User {
+  readonly name: string
+}
+
+// Simulate an asynchronous authentication function
+declare const auth: () => Promise<User | null>
+
+const program = pipe(
+  Effect.promise(() => auth()),
+  // Use filterEffectOrElse with an effectful predicate
+  Effect.filterEffectOrElse({
+    predicate: (user) => Effect.succeed(user !== null),
+    orElse: (user) => Effect.fail(new Error(`Unauthorized user: ${user}`))
+  })
+)
+```
+
+#### Effect.filterEffectOrFail
+
+Filters an effect with an effectful predicate, failing with a custom error if the predicate fails.
+
+```ts
+import { Effect, pipe } from "effect"
+
+// Define a user interface
+interface User {
+  readonly name: string
+}
+
+// Simulate an asynchronous authentication function
+declare const auth: () => Promise<User | null>
+
+const program = pipe(
+  Effect.promise(() => auth()),
+  // Use filterEffectOrFail with an effectful predicate
+  Effect.filterEffectOrFail({
+    predicate: (user) => Effect.succeed(user !== null),
+    orFailWith: (user) => Effect.fail(new Error(`Unauthorized user: ${user}`))
+  })
+)
+```

packages/effect/dtslint/Effect.ts

@@ -1350,3 +1350,13 @@ hole<
     }>
   >
 >()
+
+// -------------------------------------------------------------------------------------
+// transposeOption
+// -------------------------------------------------------------------------------------
+
+// $ExpectType Effect<Option<never>, never, never>
+Effect.transposeOption(Option.none())
+
+// $ExpectType Effect<Option<string>, "err-1", "dep-1">
+Effect.transposeOption(Option.some(string))

packages/effect/package.json

@@ -50,6 +50,7 @@
     "zod": "^3.24.1"
   },
   "dependencies": {
+    "@standard-schema/spec": "^1.0.0",
     "fast-check": "^3.23.1"
   }
 }

packages/effect/src/Array.ts

@@ -1280,6 +1280,36 @@ export const remove: {
   return out
 })
 
+/**
+ * Delete the element at the specified index, creating a new `Array`,
+ * or return `None` if the index is out of bounds.
+ *
+ * @example
+ * ```ts
+ * import { Array, Option } from "effect"
+ *
+ * const numbers = [1, 2, 3, 4]
+ * const result = Array.removeOption(numbers, 2)
+ * assert.deepStrictEqual(result, Option.some([1, 2, 4]))
+ *
+ * const outOfBoundsResult = Array.removeOption(numbers, 5)
+ * assert.deepStrictEqual(outOfBoundsResult, Option.none())
+ * ```
+ *
+ * @since 3.13.0
+ */
+export const removeOption: {
+  (i: number): <A>(self: Iterable<A>) => Option<Array<A>>
+  <A>(self: Iterable<A>, i: number): Option<Array<A>>
+} = dual(2, <A>(self: Iterable<A>, i: number): Option<Array<A>> => {
+  const out = Array.from(self)
+  if (isOutOfBound(i, out)) {
+    return O.none()
+  }
+  out.splice(i, 1)
+  return O.some(out)
+})
+
 /**
  * Reverse an `Iterable`, creating a new `Array`.
  *

packages/effect/src/Chunk.ts

@@ -1235,6 +1235,17 @@ export const remove: {
   <A>(self: Chunk<A>, i: number): Chunk<A> => unsafeFromArray(RA.remove(toReadonlyArray(self), i))
 )
 
+/**
+ * @since 3.13.0
+ */
+export const removeOption: {
+  (i: number): <A>(self: Chunk<A>) => Option<Chunk<A>>
+  <A>(self: Chunk<A>, i: number): Option<Chunk<A>>
+} = dual(
+  2,
+  <A>(self: Chunk<A>, i: number): Option<Chunk<A>> => O.map(RA.removeOption(toReadonlyArray(self), i), unsafeFromArray)
+)
+
 /**
  * @since 2.0.0
  */

packages/effect/src/DateTime.ts

@@ -437,6 +437,23 @@ export const unsafeNow: LazyArg<Utc> = Internal.unsafeNow
 // time zones
 // =============================================================================
 
+/**
+ * For a `DateTime` returns a new `DateTime.Utc`.
+ *
+ * @since 3.13.0
+ * @category time zones
+ * @example
+ * ```ts
+ * import { DateTime } from "effect"
+ *
+ * const now = DateTime.unsafeMakeZoned({ year: 2024 }, { timeZone: "Europe/London" })
+ *
+ * // set as UTC
+ * const utc: DateTime.Utc = DateTime.toUtc(now)
+ * ```
+ */
+export const toUtc: (self: DateTime) => Utc = Internal.toUtc
+
 /**
  * Set the time zone of a `DateTime`, returning a new `DateTime.Zoned`.
  *

packages/effect/src/Differ.ts

@@ -15,6 +15,7 @@ import * as HashMapPatch from "./internal/differ/hashMapPatch.js"
 import * as HashSetPatch from "./internal/differ/hashSetPatch.js"
 import * as OrPatch from "./internal/differ/orPatch.js"
 import * as ReadonlyArrayPatch from "./internal/differ/readonlyArrayPatch.js"
+import type { Pipeable } from "./Pipeable.js"
 import type * as Types from "./Types.js"
 
 /**
@@ -48,7 +49,7 @@ export type TypeId = typeof TypeId
  * @since 2.0.0
  * @category models
  */
-export interface Differ<in out Value, in out Patch> {
+export interface Differ<in out Value, in out Patch> extends Pipeable {
   readonly [TypeId]: {
     readonly _V: Types.Invariant<Value>
     readonly _P: Types.Invariant<Patch>