effect 4.0.0-beta.102 → 4.0.0-beta.104

package/src/Trie.ts

@@ -26,8 +26,8 @@ const TypeId = TR.TrieTypeId
  *
  * **Example** (Using a trie for prefix search)
  *
- * ```ts
- * import { Trie } from "effect"
+ * ```ts import.meta.vitest
+ * import { Option, Trie } from "effect"
  *
  * // Create a trie with string-to-number mappings
  * const trie: Trie.Trie<number> = Trie.make(
@@ -38,24 +38,20 @@ const TypeId = TR.TrieTypeId
  * )
  *
  * // Get values by exact key
- * console.log(Trie.get(trie, "apple")) // Some(1)
- * console.log(Trie.get(trie, "grape")) // None
+ * Trie.get(trie, "apple") // => Option.some(1)
+ * Trie.get(trie, "grape") // => Option.none()
  *
  * // Find all keys with a prefix
- * console.log(Array.from(Trie.keysWithPrefix(trie, "app")))
- * // ["app", "apple", "application"]
+ * Array.from(Trie.keysWithPrefix(trie, "app")) // => ["app", "apple", "application"]
  *
  * // Iterate over all entries (sorted alphabetically)
- * for (const [key, value] of trie) {
- *   console.log(`${key}: ${value}`)
- * }
- * // Output: "app: 2", "apple: 1", "application: 3", "banana: 4"
+ * Array.from(trie) // => [["app", 2], ["apple", 1], ["application", 3], ["banana", 4]]
  *
  * // Check if key exists
- * console.log(Trie.has(trie, "app")) // true
+ * Trie.has(trie, "app") // => true
  *
  * // Get size
- * console.log(Trie.size(trie)) // 4
+ * Trie.size(trie) // => 4
  * ```
  *
  * @category models
@@ -72,14 +68,13 @@ export interface Trie<in out Value> extends Iterable<[string, Value]>, Equal, Pi
  *
  * **Example** (Creating an empty trie)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<string>()
  *
- * assert.equal(Trie.size(trie), 0)
- * assert.deepStrictEqual(Array.from(trie), [])
+ * Trie.size(trie) // => 0
+ * Array.from(trie) // => []
  * ```
  *
  * @category constructors
@@ -92,9 +87,8 @@ export const empty: <V = never>() => Trie<V> = TR.empty
  *
  * **Example** (Creating a trie from entries)
  *
- * ```ts
- * import { Equal, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Trie } from "effect"
  *
  * const iterable: Array<readonly [string, number]> = [["call", 0], ["me", 1], [
  *   "mind",
@@ -103,17 +97,8 @@ export const empty: <V = never>() => Trie<V> = TR.empty
  * const trie = Trie.fromIterable(iterable)
  *
  * // The entries in the `Trie` are extracted in alphabetical order, regardless of the insertion order
- * assert.deepStrictEqual(Array.from(trie), [["call", 0], ["me", 1], ["mid", 3], [
- *   "mind",
- *   2
- * ]])
- * assert.equal(
- *   Equal.equals(
- *     Trie.make(["call", 0], ["me", 1], ["mind", 2], ["mid", 3]),
- *     trie
- *   ),
- *   true
- * )
+ * Array.from(trie) // => [["call", 0], ["me", 1], ["mid", 3], ["mind", 2]]
+ * trie // => Trie.make(["call", 0], ["me", 1], ["mind", 2], ["mid", 3])
  * ```
  *
  * @category constructors
@@ -126,17 +111,13 @@ export const fromIterable: <V>(entries: Iterable<readonly [string, V]>) => Trie<
  *
  * **Example** (Constructing a trie from entries)
  *
- * ```ts
- * import { Equal, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Trie } from "effect"
  *
  * const trie = Trie.make(["ca", 0], ["me", 1])
  *
- * assert.deepStrictEqual(Array.from(trie), [["ca", 0], ["me", 1]])
- * assert.equal(
- *   Equal.equals(Trie.fromIterable([["ca", 0], ["me", 1]]), trie),
- *   true
- * )
+ * Array.from(trie) // => [["ca", 0], ["me", 1]]
+ * trie // => Trie.fromIterable([["ca", 0], ["me", 1]])
  * ```
  *
  * @category constructors
@@ -151,9 +132,8 @@ export const make: <Entries extends Array<readonly [string, any]>>(
  *
  * **Example** (Inserting entries)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie1 = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0)
@@ -162,13 +142,10 @@ export const make: <Entries extends Array<readonly [string, any]>>(
  * const trie3 = trie2.pipe(Trie.insert("mind", 2))
  * const trie4 = trie3.pipe(Trie.insert("mid", 3))
  *
- * assert.deepStrictEqual(Array.from(trie1), [["call", 0]])
- * assert.deepStrictEqual(Array.from(trie2), [["call", 0], ["me", 1]])
- * assert.deepStrictEqual(Array.from(trie3), [["call", 0], ["me", 1], ["mind", 2]])
- * assert.deepStrictEqual(Array.from(trie4), [["call", 0], ["me", 1], ["mid", 3], [
- *   "mind",
- *   2
- * ]])
+ * Array.from(trie1) // => [["call", 0]]
+ * Array.from(trie2) // => [["call", 0], ["me", 1]]
+ * Array.from(trie3) // => [["call", 0], ["me", 1], ["mind", 2]]
+ * Array.from(trie4) // => [["call", 0], ["me", 1], ["mid", 3], ["mind", 2]]
  * ```
  *
  * @category mutations
@@ -180,9 +157,8 @@ export const insert: {
    *
    * **Example** (Inserting entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie1 = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0)
@@ -191,13 +167,10 @@ export const insert: {
    * const trie3 = trie2.pipe(Trie.insert("mind", 2))
    * const trie4 = trie3.pipe(Trie.insert("mid", 3))
    *
-   * assert.deepStrictEqual(Array.from(trie1), [["call", 0]])
-   * assert.deepStrictEqual(Array.from(trie2), [["call", 0], ["me", 1]])
-   * assert.deepStrictEqual(Array.from(trie3), [["call", 0], ["me", 1], ["mind", 2]])
-   * assert.deepStrictEqual(Array.from(trie4), [["call", 0], ["me", 1], ["mid", 3], [
-   *   "mind",
-   *   2
-   * ]])
+   * Array.from(trie1) // => [["call", 0]]
+   * Array.from(trie2) // => [["call", 0], ["me", 1]]
+   * Array.from(trie3) // => [["call", 0], ["me", 1], ["mind", 2]]
+   * Array.from(trie4) // => [["call", 0], ["me", 1], ["mid", 3], ["mind", 2]]
    * ```
    *
    * @category mutations
@@ -209,9 +182,8 @@ export const insert: {
    *
    * **Example** (Inserting entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie1 = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0)
@@ -220,13 +192,10 @@ export const insert: {
    * const trie3 = trie2.pipe(Trie.insert("mind", 2))
    * const trie4 = trie3.pipe(Trie.insert("mid", 3))
    *
-   * assert.deepStrictEqual(Array.from(trie1), [["call", 0]])
-   * assert.deepStrictEqual(Array.from(trie2), [["call", 0], ["me", 1]])
-   * assert.deepStrictEqual(Array.from(trie3), [["call", 0], ["me", 1], ["mind", 2]])
-   * assert.deepStrictEqual(Array.from(trie4), [["call", 0], ["me", 1], ["mid", 3], [
-   *   "mind",
-   *   2
-   * ]])
+   * Array.from(trie1) // => [["call", 0]]
+   * Array.from(trie2) // => [["call", 0], ["me", 1]]
+   * Array.from(trie3) // => [["call", 0], ["me", 1], ["mind", 2]]
+   * Array.from(trie4) // => [["call", 0], ["me", 1], ["mid", 3], ["mind", 2]]
    * ```
    *
    * @category mutations
@@ -244,9 +213,8 @@ export const insert: {
  *
  * **Example** (Reading keys in alphabetical order)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("cab", 0),
@@ -254,8 +222,7 @@ export const insert: {
  *   Trie.insert("bca", 2)
  * )
  *
- * const result = Array.from(Trie.keys(trie))
- * assert.deepStrictEqual(result, ["abc", "bca", "cab"])
+ * Array.from(Trie.keys(trie)) // => ["abc", "bca", "cab"]
  * ```
  *
  * @category getters
@@ -272,9 +239,8 @@ export const keys: <V>(self: Trie<V>) => IterableIterator<string> = TR.keys
  *
  * **Example** (Reading values by key order)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
@@ -282,8 +248,7 @@ export const keys: <V>(self: Trie<V>) => IterableIterator<string> = TR.keys
  *   Trie.insert("and", 2)
  * )
  *
- * const result = Array.from(Trie.values(trie))
- * assert.deepStrictEqual(result, [2, 0, 1])
+ * Array.from(Trie.values(trie)) // => [2, 0, 1]
  * ```
  *
  * @category getters
@@ -300,17 +265,15 @@ export const values: <V>(self: Trie<V>) => IterableIterator<V> = TR.values
  *
  * **Example** (Reading entries in alphabetical order)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
  *   Trie.insert("me", 1)
  * )
  *
- * const result = Array.from(Trie.entries(trie))
- * assert.deepStrictEqual(result, [["call", 0], ["me", 1]])
+ * Array.from(Trie.entries(trie)) // => [["call", 0], ["me", 1]]
  * ```
  *
  * @category getters
@@ -327,17 +290,14 @@ export const entries: <V>(self: Trie<V>) => IterableIterator<[string, V]> = TR.e
  *
  * **Example** (Converting entries to an array)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
  *   Trie.insert("me", 1)
  * )
- * const result = Trie.toEntries(trie)
- *
- * assert.deepStrictEqual(result, [["call", 0], ["me", 1]])
+ * Trie.toEntries(trie) // => [["call", 0], ["me", 1]]
  * ```
  *
  * @category getters
@@ -351,9 +311,8 @@ export const toEntries = <V>(self: Trie<V>): Array<[string, V]> => Array.from(en
  *
  * **Example** (Finding keys with a prefix)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("she", 0),
@@ -362,8 +321,7 @@ export const toEntries = <V>(self: Trie<V>): Array<[string, V]> => Array.from(en
  *   Trie.insert("shore", 3)
  * )
  *
- * const result = Array.from(Trie.keysWithPrefix(trie, "she"))
- * assert.deepStrictEqual(result, ["she", "shells"])
+ * Array.from(Trie.keysWithPrefix(trie, "she")) // => ["she", "shells"]
  * ```
  *
  * @category getters
@@ -376,9 +334,8 @@ export const keysWithPrefix: {
    *
    * **Example** (Finding keys with a prefix)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("she", 0),
@@ -387,8 +344,7 @@ export const keysWithPrefix: {
    *   Trie.insert("shore", 3)
    * )
    *
-   * const result = Array.from(Trie.keysWithPrefix(trie, "she"))
-   * assert.deepStrictEqual(result, ["she", "shells"])
+   * Array.from(Trie.keysWithPrefix(trie, "she")) // => ["she", "shells"]
    * ```
    *
    * @category getters
@@ -401,9 +357,8 @@ export const keysWithPrefix: {
    *
    * **Example** (Finding keys with a prefix)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("she", 0),
@@ -412,8 +367,7 @@ export const keysWithPrefix: {
    *   Trie.insert("shore", 3)
    * )
    *
-   * const result = Array.from(Trie.keysWithPrefix(trie, "she"))
-   * assert.deepStrictEqual(result, ["she", "shells"])
+   * Array.from(Trie.keysWithPrefix(trie, "she")) // => ["she", "shells"]
    * ```
    *
    * @category getters
@@ -428,9 +382,8 @@ export const keysWithPrefix: {
  *
  * **Example** (Finding values with a prefix)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("she", 0),
@@ -439,10 +392,7 @@ export const keysWithPrefix: {
  *   Trie.insert("shore", 3)
  * )
  *
- * const result = Array.from(Trie.valuesWithPrefix(trie, "she"))
- *
- * // 0: "she", 1: "shells"
- * assert.deepStrictEqual(result, [0, 1])
+ * Array.from(Trie.valuesWithPrefix(trie, "she")) // => [0, 1]
  * ```
  *
  * @category getters
@@ -455,9 +405,8 @@ export const valuesWithPrefix: {
    *
    * **Example** (Finding values with a prefix)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("she", 0),
@@ -466,10 +415,7 @@ export const valuesWithPrefix: {
    *   Trie.insert("shore", 3)
    * )
    *
-   * const result = Array.from(Trie.valuesWithPrefix(trie, "she"))
-   *
-   * // 0: "she", 1: "shells"
-   * assert.deepStrictEqual(result, [0, 1])
+   * Array.from(Trie.valuesWithPrefix(trie, "she")) // => [0, 1]
    * ```
    *
    * @category getters
@@ -482,9 +428,8 @@ export const valuesWithPrefix: {
    *
    * **Example** (Finding values with a prefix)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("she", 0),
@@ -493,10 +438,7 @@ export const valuesWithPrefix: {
    *   Trie.insert("shore", 3)
    * )
    *
-   * const result = Array.from(Trie.valuesWithPrefix(trie, "she"))
-   *
-   * // 0: "she", 1: "shells"
-   * assert.deepStrictEqual(result, [0, 1])
+   * Array.from(Trie.valuesWithPrefix(trie, "she")) // => [0, 1]
    * ```
    *
    * @category getters
@@ -511,9 +453,8 @@ export const valuesWithPrefix: {
  *
  * **Example** (Finding entries with a prefix)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("she", 0),
@@ -522,8 +463,7 @@ export const valuesWithPrefix: {
  *   Trie.insert("shore", 3)
  * )
  *
- * const result = Array.from(Trie.entriesWithPrefix(trie, "she"))
- * assert.deepStrictEqual(result, [["she", 0], ["shells", 1]])
+ * Array.from(Trie.entriesWithPrefix(trie, "she")) // => [["she", 0], ["shells", 1]]
  * ```
  *
  * @category getters
@@ -536,9 +476,8 @@ export const entriesWithPrefix: {
    *
    * **Example** (Finding entries with a prefix)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("she", 0),
@@ -547,8 +486,7 @@ export const entriesWithPrefix: {
    *   Trie.insert("shore", 3)
    * )
    *
-   * const result = Array.from(Trie.entriesWithPrefix(trie, "she"))
-   * assert.deepStrictEqual(result, [["she", 0], ["shells", 1]])
+   * Array.from(Trie.entriesWithPrefix(trie, "she")) // => [["she", 0], ["shells", 1]]
    * ```
    *
    * @category getters
@@ -561,9 +499,8 @@ export const entriesWithPrefix: {
    *
    * **Example** (Finding entries with a prefix)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("she", 0),
@@ -572,8 +509,7 @@ export const entriesWithPrefix: {
    *   Trie.insert("shore", 3)
    * )
    *
-   * const result = Array.from(Trie.entriesWithPrefix(trie, "she"))
-   * assert.deepStrictEqual(result, [["she", 0], ["shells", 1]])
+   * Array.from(Trie.entriesWithPrefix(trie, "she")) // => [["she", 0], ["shells", 1]]
    * ```
    *
    * @category getters
@@ -588,9 +524,8 @@ export const entriesWithPrefix: {
  *
  * **Example** (Converting prefixed entries to an array)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -599,8 +534,7 @@ export const entriesWithPrefix: {
  *   Trie.insert("she", 3)
  * )
  *
- * const result = Trie.toEntriesWithPrefix(trie, "she")
- * assert.deepStrictEqual(result, [["she", 3], ["shells", 0]])
+ * Trie.toEntriesWithPrefix(trie, "she") // => [["she", 3], ["shells", 0]]
  * ```
  *
  * @category getters
@@ -613,9 +547,8 @@ export const toEntriesWithPrefix: {
    *
    * **Example** (Converting prefixed entries to an array)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -624,8 +557,7 @@ export const toEntriesWithPrefix: {
    *   Trie.insert("she", 3)
    * )
    *
-   * const result = Trie.toEntriesWithPrefix(trie, "she")
-   * assert.deepStrictEqual(result, [["she", 3], ["shells", 0]])
+   * Trie.toEntriesWithPrefix(trie, "she") // => [["she", 3], ["shells", 0]]
    * ```
    *
    * @category getters
@@ -638,9 +570,8 @@ export const toEntriesWithPrefix: {
    *
    * **Example** (Converting prefixed entries to an array)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -649,8 +580,7 @@ export const toEntriesWithPrefix: {
    *   Trie.insert("she", 3)
    * )
    *
-   * const result = Trie.toEntriesWithPrefix(trie, "she")
-   * assert.deepStrictEqual(result, [["she", 3], ["shells", 0]])
+   * Trie.toEntriesWithPrefix(trie, "she") // => [["she", 3], ["shells", 0]]
    * ```
    *
    * @category getters
@@ -665,9 +595,8 @@ export const toEntriesWithPrefix: {
  *
  * **Example** (Finding the longest prefix)
  *
- * ```ts
- * import { Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Option, Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -675,14 +604,8 @@ export const toEntriesWithPrefix: {
  *   Trie.insert("she", 2)
  * )
  *
- * const none = Trie.longestPrefixOf(trie, "sell")
- * const some = Trie.longestPrefixOf(trie, "sells")
- *
- * assert.equal(none._tag, "None")
- * assert.equal(some._tag, "Some")
- * if (some._tag === "Some") {
- *   assert.deepStrictEqual(some.value, ["sells", 1])
- * }
+ * Trie.longestPrefixOf(trie, "sell") // => Option.none()
+ * Trie.longestPrefixOf(trie, "sells") // => Option.some(["sells", 1])
  * ```
  *
  * @category getters
@@ -695,9 +618,8 @@ export const longestPrefixOf: {
    *
    * **Example** (Finding the longest prefix)
    *
-   * ```ts
-   * import { Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Option, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -705,14 +627,8 @@ export const longestPrefixOf: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const none = Trie.longestPrefixOf(trie, "sell")
-   * const some = Trie.longestPrefixOf(trie, "sells")
-   *
-   * assert.equal(none._tag, "None")
-   * assert.equal(some._tag, "Some")
-   * if (some._tag === "Some") {
-   *   assert.deepStrictEqual(some.value, ["sells", 1])
-   * }
+   * Trie.longestPrefixOf(trie, "sell") // => Option.none()
+   * Trie.longestPrefixOf(trie, "sells") // => Option.some(["sells", 1])
    * ```
    *
    * @category getters
@@ -725,9 +641,8 @@ export const longestPrefixOf: {
    *
    * **Example** (Finding the longest prefix)
    *
-   * ```ts
-   * import { Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Option, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -735,14 +650,8 @@ export const longestPrefixOf: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const none = Trie.longestPrefixOf(trie, "sell")
-   * const some = Trie.longestPrefixOf(trie, "sells")
-   *
-   * assert.equal(none._tag, "None")
-   * assert.equal(some._tag, "Some")
-   * if (some._tag === "Some") {
-   *   assert.deepStrictEqual(some.value, ["sells", 1])
-   * }
+   * Trie.longestPrefixOf(trie, "sell") // => Option.none()
+   * Trie.longestPrefixOf(trie, "sells") // => Option.some(["sells", 1])
    * ```
    *
    * @category getters
@@ -756,16 +665,15 @@ export const longestPrefixOf: {
  *
  * **Example** (Getting the size)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("a", 0),
  *   Trie.insert("b", 1)
  * )
  *
- * assert.equal(Trie.size(trie), 2)
+ * Trie.size(trie) // => 2
  * ```
  *
  * @category getters
@@ -778,9 +686,8 @@ export const size: <V>(self: Trie<V>) => number = TR.size
  *
  * **Example** (Looking up values safely)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Option, Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
@@ -789,17 +696,17 @@ export const size: <V>(self: Trie<V>) => number = TR.size
  *   Trie.insert("mid", 3)
  * )
  *
- * assert.deepStrictEqual(Trie.get(trie, "call"), Option.some(0))
- * assert.deepStrictEqual(Trie.get(trie, "me"), Option.some(1))
- * assert.deepStrictEqual(Trie.get(trie, "mind"), Option.some(2))
- * assert.deepStrictEqual(Trie.get(trie, "mid"), Option.some(3))
- * assert.deepStrictEqual(Trie.get(trie, "cale"), Option.none())
- * assert.deepStrictEqual(Trie.get(trie, "ma"), Option.none())
- * assert.deepStrictEqual(Trie.get(trie, "midn"), Option.none())
- * assert.deepStrictEqual(Trie.get(trie, "mea"), Option.none())
+ * Trie.get(trie, "call") // => Option.some(0)
+ * Trie.get(trie, "me") // => Option.some(1)
+ * Trie.get(trie, "mind") // => Option.some(2)
+ * Trie.get(trie, "mid") // => Option.some(3)
+ * Trie.get(trie, "cale") // => Option.none()
+ * Trie.get(trie, "ma") // => Option.none()
+ * Trie.get(trie, "midn") // => Option.none()
+ * Trie.get(trie, "mea") // => Option.none()
  * ```
  *
- * @category elements
+ * @category getters
  * @since 2.0.0
  */
 export const get: {
@@ -808,9 +715,8 @@ export const get: {
    *
    * **Example** (Looking up values safely)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Option, Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
@@ -819,17 +725,17 @@ export const get: {
    *   Trie.insert("mid", 3)
    * )
    *
-   * assert.deepStrictEqual(Trie.get(trie, "call"), Option.some(0))
-   * assert.deepStrictEqual(Trie.get(trie, "me"), Option.some(1))
-   * assert.deepStrictEqual(Trie.get(trie, "mind"), Option.some(2))
-   * assert.deepStrictEqual(Trie.get(trie, "mid"), Option.some(3))
-   * assert.deepStrictEqual(Trie.get(trie, "cale"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie, "ma"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie, "midn"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie, "mea"), Option.none())
+   * Trie.get(trie, "call") // => Option.some(0)
+   * Trie.get(trie, "me") // => Option.some(1)
+   * Trie.get(trie, "mind") // => Option.some(2)
+   * Trie.get(trie, "mid") // => Option.some(3)
+   * Trie.get(trie, "cale") // => Option.none()
+   * Trie.get(trie, "ma") // => Option.none()
+   * Trie.get(trie, "midn") // => Option.none()
+   * Trie.get(trie, "mea") // => Option.none()
    * ```
    *
-   * @category elements
+   * @category getters
    * @since 2.0.0
    */
   (key: string): <V>(self: Trie<V>) => Option<V>
@@ -838,9 +744,8 @@ export const get: {
    *
    * **Example** (Looking up values safely)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Option, Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
@@ -849,17 +754,17 @@ export const get: {
    *   Trie.insert("mid", 3)
    * )
    *
-   * assert.deepStrictEqual(Trie.get(trie, "call"), Option.some(0))
-   * assert.deepStrictEqual(Trie.get(trie, "me"), Option.some(1))
-   * assert.deepStrictEqual(Trie.get(trie, "mind"), Option.some(2))
-   * assert.deepStrictEqual(Trie.get(trie, "mid"), Option.some(3))
-   * assert.deepStrictEqual(Trie.get(trie, "cale"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie, "ma"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie, "midn"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie, "mea"), Option.none())
+   * Trie.get(trie, "call") // => Option.some(0)
+   * Trie.get(trie, "me") // => Option.some(1)
+   * Trie.get(trie, "mind") // => Option.some(2)
+   * Trie.get(trie, "mid") // => Option.some(3)
+   * Trie.get(trie, "cale") // => Option.none()
+   * Trie.get(trie, "ma") // => Option.none()
+   * Trie.get(trie, "midn") // => Option.none()
+   * Trie.get(trie, "mea") // => Option.none()
    * ```
    *
-   * @category elements
+   * @category getters
    * @since 2.0.0
    */
   <V>(self: Trie<V>, key: string): Option<V>
@@ -870,9 +775,8 @@ export const get: {
  *
  * **Example** (Checking key membership)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
@@ -881,17 +785,17 @@ export const get: {
  *   Trie.insert("mid", 3)
  * )
  *
- * assert.equal(Trie.has(trie, "call"), true)
- * assert.equal(Trie.has(trie, "me"), true)
- * assert.equal(Trie.has(trie, "mind"), true)
- * assert.equal(Trie.has(trie, "mid"), true)
- * assert.equal(Trie.has(trie, "cale"), false)
- * assert.equal(Trie.has(trie, "ma"), false)
- * assert.equal(Trie.has(trie, "midn"), false)
- * assert.equal(Trie.has(trie, "mea"), false)
+ * Trie.has(trie, "call") // => true
+ * Trie.has(trie, "me") // => true
+ * Trie.has(trie, "mind") // => true
+ * Trie.has(trie, "mid") // => true
+ * Trie.has(trie, "cale") // => false
+ * Trie.has(trie, "ma") // => false
+ * Trie.has(trie, "midn") // => false
+ * Trie.has(trie, "mea") // => false
  * ```
  *
- * @category elements
+ * @category predicates
  * @since 2.0.0
  */
 export const has: {
@@ -900,9 +804,8 @@ export const has: {
    *
    * **Example** (Checking key membership)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
@@ -911,17 +814,17 @@ export const has: {
    *   Trie.insert("mid", 3)
    * )
    *
-   * assert.equal(Trie.has(trie, "call"), true)
-   * assert.equal(Trie.has(trie, "me"), true)
-   * assert.equal(Trie.has(trie, "mind"), true)
-   * assert.equal(Trie.has(trie, "mid"), true)
-   * assert.equal(Trie.has(trie, "cale"), false)
-   * assert.equal(Trie.has(trie, "ma"), false)
-   * assert.equal(Trie.has(trie, "midn"), false)
-   * assert.equal(Trie.has(trie, "mea"), false)
+   * Trie.has(trie, "call") // => true
+   * Trie.has(trie, "me") // => true
+   * Trie.has(trie, "mind") // => true
+   * Trie.has(trie, "mid") // => true
+   * Trie.has(trie, "cale") // => false
+   * Trie.has(trie, "ma") // => false
+   * Trie.has(trie, "midn") // => false
+   * Trie.has(trie, "mea") // => false
    * ```
    *
-   * @category elements
+   * @category predicates
    * @since 2.0.0
    */
   (key: string): <V>(self: Trie<V>) => boolean
@@ -930,9 +833,8 @@ export const has: {
    *
    * **Example** (Checking key membership)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
@@ -941,17 +843,17 @@ export const has: {
    *   Trie.insert("mid", 3)
    * )
    *
-   * assert.equal(Trie.has(trie, "call"), true)
-   * assert.equal(Trie.has(trie, "me"), true)
-   * assert.equal(Trie.has(trie, "mind"), true)
-   * assert.equal(Trie.has(trie, "mid"), true)
-   * assert.equal(Trie.has(trie, "cale"), false)
-   * assert.equal(Trie.has(trie, "ma"), false)
-   * assert.equal(Trie.has(trie, "midn"), false)
-   * assert.equal(Trie.has(trie, "mea"), false)
+   * Trie.has(trie, "call") // => true
+   * Trie.has(trie, "me") // => true
+   * Trie.has(trie, "mind") // => true
+   * Trie.has(trie, "mid") // => true
+   * Trie.has(trie, "cale") // => false
+   * Trie.has(trie, "ma") // => false
+   * Trie.has(trie, "midn") // => false
+   * Trie.has(trie, "mea") // => false
    * ```
    *
-   * @category elements
+   * @category predicates
    * @since 2.0.0
    */
   <V>(self: Trie<V>, key: string): boolean
@@ -962,18 +864,17 @@ export const has: {
  *
  * **Example** (Checking whether a trie is empty)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>()
  * const trie1 = trie.pipe(Trie.insert("ma", 0))
  *
- * assert.equal(Trie.isEmpty(trie), true)
- * assert.equal(Trie.isEmpty(trie1), false)
+ * Trie.isEmpty(trie) // => true
+ * Trie.isEmpty(trie1) // => false
  * ```
  *
- * @category elements
+ * @category predicates
  * @since 2.0.0
  */
 export const isEmpty: <V>(self: Trie<V>) => boolean = TR.isEmpty
@@ -993,16 +894,18 @@ export const isEmpty: <V>(self: Trie<V>) => boolean = TR.isEmpty
  *
  * **Example** (Looking up values unsafely)
  *
- * ```ts
- * import { Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Result, Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
  *   Trie.insert("me", 1)
  * )
  *
- * assert.throws(() => Trie.getUnsafe(trie, "mae"))
+ * Result.try({
+ *   try: () => Trie.getUnsafe(trie, "mae"),
+ *   catch: (error) => (error as Error).message
+ * }) // => Result.fail("Expected trie to contain key")
  * ```
  *
  * @category unsafe
@@ -1024,16 +927,18 @@ export const getUnsafe: {
    *
    * **Example** (Looking up values unsafely)
    *
-   * ```ts
-   * import { Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Result, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
    *   Trie.insert("me", 1)
    * )
    *
-   * assert.throws(() => Trie.getUnsafe(trie, "mae"))
+   * Result.try({
+   *   try: () => Trie.getUnsafe(trie, "mae"),
+   *   catch: (error) => (error as Error).message
+   * }) // => Result.fail("Expected trie to contain key")
    * ```
    *
    * @category unsafe
@@ -1055,16 +960,18 @@ export const getUnsafe: {
    *
    * **Example** (Looking up values unsafely)
    *
-   * ```ts
-   * import { Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Result, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
    *   Trie.insert("me", 1)
    * )
    *
-   * assert.throws(() => Trie.getUnsafe(trie, "mae"))
+   * Result.try({
+   *   try: () => Trie.getUnsafe(trie, "mae"),
+   *   catch: (error) => (error as Error).message
+   * }) // => Result.fail("Expected trie to contain key")
    * ```
    *
    * @category unsafe
@@ -1078,9 +985,8 @@ export const getUnsafe: {
  *
  * **Example** (Removing entries)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Option, Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("call", 0),
@@ -1092,9 +998,9 @@ export const getUnsafe: {
  * const trie1 = trie.pipe(Trie.remove("call"))
  * const trie2 = trie1.pipe(Trie.remove("mea"))
  *
- * assert.deepStrictEqual(Trie.get(trie, "call"), Option.some(0))
- * assert.deepStrictEqual(Trie.get(trie1, "call"), Option.none())
- * assert.deepStrictEqual(Trie.get(trie2, "call"), Option.none())
+ * Trie.get(trie, "call") // => Option.some(0)
+ * Trie.get(trie1, "call") // => Option.none()
+ * Trie.get(trie2, "call") // => Option.none()
  * ```
  *
  * @category mutations
@@ -1106,9 +1012,8 @@ export const remove: {
    *
    * **Example** (Removing entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Option, Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
@@ -1120,9 +1025,9 @@ export const remove: {
    * const trie1 = trie.pipe(Trie.remove("call"))
    * const trie2 = trie1.pipe(Trie.remove("mea"))
    *
-   * assert.deepStrictEqual(Trie.get(trie, "call"), Option.some(0))
-   * assert.deepStrictEqual(Trie.get(trie1, "call"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie2, "call"), Option.none())
+   * Trie.get(trie, "call") // => Option.some(0)
+   * Trie.get(trie1, "call") // => Option.none()
+   * Trie.get(trie2, "call") // => Option.none()
    * ```
    *
    * @category mutations
@@ -1134,9 +1039,8 @@ export const remove: {
    *
    * **Example** (Removing entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Option, Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("call", 0),
@@ -1148,9 +1052,9 @@ export const remove: {
    * const trie1 = trie.pipe(Trie.remove("call"))
    * const trie2 = trie1.pipe(Trie.remove("mea"))
    *
-   * assert.deepStrictEqual(Trie.get(trie, "call"), Option.some(0))
-   * assert.deepStrictEqual(Trie.get(trie1, "call"), Option.none())
-   * assert.deepStrictEqual(Trie.get(trie2, "call"), Option.none())
+   * Trie.get(trie, "call") // => Option.some(0)
+   * Trie.get(trie1, "call") // => Option.none()
+   * Trie.get(trie2, "call") // => Option.none()
    * ```
    *
    * @category mutations
@@ -1164,9 +1068,8 @@ export const remove: {
  *
  * **Example** (Reducing entries)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -1174,24 +1077,9 @@ export const remove: {
  *   Trie.insert("she", 2)
  * )
  *
- * assert.equal(
- *   trie.pipe(
- *     Trie.reduce(0, (acc, n) => acc + n)
- *   ),
- *   3
- * )
- * assert.equal(
- *   trie.pipe(
- *     Trie.reduce(10, (acc, n) => acc + n)
- *   ),
- *   13
- * )
- * assert.equal(
- *   trie.pipe(
- *     Trie.reduce("", (acc, _, key) => acc + key)
- *   ),
- *   "sellssheshells"
- * )
+ * trie.pipe(Trie.reduce(0, (acc, n) => acc + n)) // => 3
+ * trie.pipe(Trie.reduce(10, (acc, n) => acc + n)) // => 13
+ * trie.pipe(Trie.reduce("", (acc, _, key) => acc + key)) // => "sellssheshells"
  * ```
  *
  * @category folding
@@ -1203,9 +1091,8 @@ export const reduce: {
    *
    * **Example** (Reducing entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1213,24 +1100,9 @@ export const reduce: {
    *   Trie.insert("she", 2)
    * )
    *
-   * assert.equal(
-   *   trie.pipe(
-   *     Trie.reduce(0, (acc, n) => acc + n)
-   *   ),
-   *   3
-   * )
-   * assert.equal(
-   *   trie.pipe(
-   *     Trie.reduce(10, (acc, n) => acc + n)
-   *   ),
-   *   13
-   * )
-   * assert.equal(
-   *   trie.pipe(
-   *     Trie.reduce("", (acc, _, key) => acc + key)
-   *   ),
-   *   "sellssheshells"
-   * )
+   * trie.pipe(Trie.reduce(0, (acc, n) => acc + n)) // => 3
+   * trie.pipe(Trie.reduce(10, (acc, n) => acc + n)) // => 13
+   * trie.pipe(Trie.reduce("", (acc, _, key) => acc + key)) // => "sellssheshells"
    * ```
    *
    * @category folding
@@ -1242,9 +1114,8 @@ export const reduce: {
    *
    * **Example** (Reducing entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1252,24 +1123,9 @@ export const reduce: {
    *   Trie.insert("she", 2)
    * )
    *
-   * assert.equal(
-   *   trie.pipe(
-   *     Trie.reduce(0, (acc, n) => acc + n)
-   *   ),
-   *   3
-   * )
-   * assert.equal(
-   *   trie.pipe(
-   *     Trie.reduce(10, (acc, n) => acc + n)
-   *   ),
-   *   13
-   * )
-   * assert.equal(
-   *   trie.pipe(
-   *     Trie.reduce("", (acc, _, key) => acc + key)
-   *   ),
-   *   "sellssheshells"
-   * )
+   * trie.pipe(Trie.reduce(0, (acc, n) => acc + n)) // => 3
+   * trie.pipe(Trie.reduce(10, (acc, n) => acc + n)) // => 13
+   * trie.pipe(Trie.reduce("", (acc, _, key) => acc + key)) // => "sellssheshells"
    * ```
    *
    * @category folding
@@ -1283,9 +1139,8 @@ export const reduce: {
  *
  * **Example** (Mapping entries)
  *
- * ```ts
- * import { Equal, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -1293,20 +1148,8 @@ export const reduce: {
  *   Trie.insert("she", 2)
  * )
  *
- * const trieMapV = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 1),
- *   Trie.insert("sells", 2),
- *   Trie.insert("she", 3)
- * )
- *
- * const trieMapK = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 6),
- *   Trie.insert("sells", 5),
- *   Trie.insert("she", 3)
- * )
- *
- * assert.equal(Equal.equals(Trie.map(trie, (v) => v + 1), trieMapV), true)
- * assert.equal(Equal.equals(Trie.map(trie, (_, k) => k.length), trieMapK), true)
+ * Trie.map(trie, (v) => v + 1) // => Trie.make(["shells", 1], ["sells", 2], ["she", 3])
+ * Trie.map(trie, (_, k) => k.length) // => Trie.make(["shells", 6], ["sells", 5], ["she", 3])
  * ```
  *
  * @category folding
@@ -1318,9 +1161,8 @@ export const map: {
    *
    * **Example** (Mapping entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1328,20 +1170,8 @@ export const map: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 1),
-   *   Trie.insert("sells", 2),
-   *   Trie.insert("she", 3)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 6),
-   *   Trie.insert("sells", 5),
-   *   Trie.insert("she", 3)
-   * )
-   *
-   * assert.equal(Equal.equals(Trie.map(trie, (v) => v + 1), trieMapV), true)
-   * assert.equal(Equal.equals(Trie.map(trie, (_, k) => k.length), trieMapK), true)
+   * Trie.map(trie, (v) => v + 1) // => Trie.make(["shells", 1], ["sells", 2], ["she", 3])
+   * Trie.map(trie, (_, k) => k.length) // => Trie.make(["shells", 6], ["sells", 5], ["she", 3])
    * ```
    *
    * @category folding
@@ -1353,9 +1183,8 @@ export const map: {
    *
    * **Example** (Mapping entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1363,20 +1192,8 @@ export const map: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 1),
-   *   Trie.insert("sells", 2),
-   *   Trie.insert("she", 3)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 6),
-   *   Trie.insert("sells", 5),
-   *   Trie.insert("she", 3)
-   * )
-   *
-   * assert.equal(Equal.equals(Trie.map(trie, (v) => v + 1), trieMapV), true)
-   * assert.equal(Equal.equals(Trie.map(trie, (_, k) => k.length), trieMapK), true)
+   * Trie.map(trie, (v) => v + 1) // => Trie.make(["shells", 1], ["sells", 2], ["she", 3])
+   * Trie.map(trie, (_, k) => k.length) // => Trie.make(["shells", 6], ["sells", 5], ["she", 3])
    * ```
    *
    * @category folding
@@ -1390,9 +1207,8 @@ export const map: {
  *
  * **Example** (Filtering entries)
  *
- * ```ts
- * import { Equal, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -1400,20 +1216,8 @@ export const map: {
  *   Trie.insert("she", 2)
  * )
  *
- * const trieMapV = Trie.empty<number>().pipe(
- *   Trie.insert("she", 2)
- * )
- *
- * const trieMapK = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 0),
- *   Trie.insert("sells", 1)
- * )
- *
- * assert.equal(Equal.equals(Trie.filter(trie, (v) => v > 1), trieMapV), true)
- * assert.equal(
- *   Equal.equals(Trie.filter(trie, (_, k) => k.length > 3), trieMapK),
- *   true
- * )
+ * Trie.filter(trie, (v) => v > 1) // => Trie.make(["she", 2])
+ * Trie.filter(trie, (_, k) => k.length > 3) // => Trie.make(["shells", 0], ["sells", 1])
  * ```
  *
  * @category filtering
@@ -1425,9 +1229,8 @@ export const filter: {
    *
    * **Example** (Filtering entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1435,20 +1238,8 @@ export const filter: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("she", 2)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1)
-   * )
-   *
-   * assert.equal(Equal.equals(Trie.filter(trie, (v) => v > 1), trieMapV), true)
-   * assert.equal(
-   *   Equal.equals(Trie.filter(trie, (_, k) => k.length > 3), trieMapK),
-   *   true
-   * )
+   * Trie.filter(trie, (v) => v > 1) // => Trie.make(["she", 2])
+   * Trie.filter(trie, (_, k) => k.length > 3) // => Trie.make(["shells", 0], ["sells", 1])
    * ```
    *
    * @category filtering
@@ -1460,9 +1251,8 @@ export const filter: {
    *
    * **Example** (Filtering entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1470,20 +1260,8 @@ export const filter: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("she", 2)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1)
-   * )
-   *
-   * assert.equal(Equal.equals(Trie.filter(trie, (v) => v > 1), trieMapV), true)
-   * assert.equal(
-   *   Equal.equals(Trie.filter(trie, (_, k) => k.length > 3), trieMapK),
-   *   true
-   * )
+   * Trie.filter(trie, (v) => v > 1) // => Trie.make(["she", 2])
+   * Trie.filter(trie, (_, k) => k.length > 3) // => Trie.make(["shells", 0], ["sells", 1])
    * ```
    *
    * @category filtering
@@ -1495,9 +1273,8 @@ export const filter: {
    *
    * **Example** (Filtering entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1505,20 +1282,8 @@ export const filter: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("she", 2)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1)
-   * )
-   *
-   * assert.equal(Equal.equals(Trie.filter(trie, (v) => v > 1), trieMapV), true)
-   * assert.equal(
-   *   Equal.equals(Trie.filter(trie, (_, k) => k.length > 3), trieMapK),
-   *   true
-   * )
+   * Trie.filter(trie, (v) => v > 1) // => Trie.make(["she", 2])
+   * Trie.filter(trie, (_, k) => k.length > 3) // => Trie.make(["shells", 0], ["sells", 1])
    * ```
    *
    * @category filtering
@@ -1530,9 +1295,8 @@ export const filter: {
    *
    * **Example** (Filtering entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1540,20 +1304,8 @@ export const filter: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("she", 2)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1)
-   * )
-   *
-   * assert.equal(Equal.equals(Trie.filter(trie, (v) => v > 1), trieMapV), true)
-   * assert.equal(
-   *   Equal.equals(Trie.filter(trie, (_, k) => k.length > 3), trieMapK),
-   *   true
-   * )
+   * Trie.filter(trie, (v) => v > 1) // => Trie.make(["she", 2])
+   * Trie.filter(trie, (_, k) => k.length > 3) // => Trie.make(["shells", 0], ["sells", 1])
    * ```
    *
    * @category filtering
@@ -1568,9 +1320,8 @@ export const filter: {
  *
  * **Example** (Filtering and mapping entries)
  *
- * ```ts
- * import { Equal, Result, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Result, Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -1578,32 +1329,11 @@ export const filter: {
  *   Trie.insert("she", 2)
  * )
  *
- * const trieMapV = Trie.empty<number>().pipe(
- *   Trie.insert("she", 2)
- * )
- *
- * const trieMapK = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 0),
- *   Trie.insert("sells", 1)
- * )
- *
- * assert.equal(
- *   Equal.equals(
- *     Trie.filterMap(trie, (v) => v > 1 ? Result.succeed(v) : Result.failVoid),
- *     trieMapV
- *   ),
- *   true
- * )
- * assert.equal(
- *   Equal.equals(
- *     Trie.filterMap(
- *       trie,
- *       (v, k) => k.length > 3 ? Result.succeed(v) : Result.failVoid
- *     ),
- *     trieMapK
- *   ),
- *   true
- * )
+ * Trie.filterMap(trie, (v) => v > 1 ? Result.succeed(v) : Result.failVoid) // => Trie.make(["she", 2])
+ * Trie.filterMap(
+ *   trie,
+ *   (v, k) => k.length > 3 ? Result.succeed(v) : Result.failVoid
+ * ) // => Trie.make(["shells", 0], ["sells", 1])
  * ```
  *
  * @category filtering
@@ -1616,9 +1346,8 @@ export const filterMap: {
    *
    * **Example** (Filtering and mapping entries)
    *
-   * ```ts
-   * import { Equal, Result, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Result, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1626,32 +1355,11 @@ export const filterMap: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("she", 2)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1)
-   * )
-   *
-   * assert.equal(
-   *   Equal.equals(
-   *     Trie.filterMap(trie, (v) => v > 1 ? Result.succeed(v) : Result.failVoid),
-   *     trieMapV
-   *   ),
-   *   true
-   * )
-   * assert.equal(
-   *   Equal.equals(
-   *     Trie.filterMap(
-   *       trie,
-   *       (v, k) => k.length > 3 ? Result.succeed(v) : Result.failVoid
-   *     ),
-   *     trieMapK
-   *   ),
-   *   true
-   * )
+   * Trie.filterMap(trie, (v) => v > 1 ? Result.succeed(v) : Result.failVoid) // => Trie.make(["she", 2])
+   * Trie.filterMap(
+   *   trie,
+   *   (v, k) => k.length > 3 ? Result.succeed(v) : Result.failVoid
+   * ) // => Trie.make(["shells", 0], ["sells", 1])
    * ```
    *
    * @category filtering
@@ -1664,9 +1372,8 @@ export const filterMap: {
    *
    * **Example** (Filtering and mapping entries)
    *
-   * ```ts
-   * import { Equal, Result, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Result, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1674,32 +1381,11 @@ export const filterMap: {
    *   Trie.insert("she", 2)
    * )
    *
-   * const trieMapV = Trie.empty<number>().pipe(
-   *   Trie.insert("she", 2)
-   * )
-   *
-   * const trieMapK = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1)
-   * )
-   *
-   * assert.equal(
-   *   Equal.equals(
-   *     Trie.filterMap(trie, (v) => v > 1 ? Result.succeed(v) : Result.failVoid),
-   *     trieMapV
-   *   ),
-   *   true
-   * )
-   * assert.equal(
-   *   Equal.equals(
-   *     Trie.filterMap(
-   *       trie,
-   *       (v, k) => k.length > 3 ? Result.succeed(v) : Result.failVoid
-   *     ),
-   *     trieMapK
-   *   ),
-   *   true
-   * )
+   * Trie.filterMap(trie, (v) => v > 1 ? Result.succeed(v) : Result.failVoid) // => Trie.make(["she", 2])
+   * Trie.filterMap(
+   *   trie,
+   *   (v, k) => k.length > 3 ? Result.succeed(v) : Result.failVoid
+   * ) // => Trie.make(["shells", 0], ["sells", 1])
    * ```
    *
    * @category filtering
@@ -1713,9 +1399,8 @@ export const filterMap: {
  *
  * **Example** (Compacting optional values)
  *
- * ```ts
- * import { Equal, Option, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Option, Trie } from "effect"
  *
  * const trie = Trie.empty<Option.Option<number>>().pipe(
  *   Trie.insert("shells", Option.some(0)),
@@ -1723,12 +1408,7 @@ export const filterMap: {
  *   Trie.insert("she", Option.some(2))
  * )
  *
- * const trieMapV = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 0),
- *   Trie.insert("she", 2)
- * )
- *
- * assert.equal(Equal.equals(Trie.compact(trie), trieMapV), true)
+ * Trie.compact(trie) // => Trie.make(["shells", 0], ["she", 2])
  * ```
  *
  * @category filtering
@@ -1741,9 +1421,8 @@ export const compact: <A>(self: Trie<Option<A>>) => Trie<A> = TR.compact
  *
  * **Example** (Iterating over entries)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Trie } from "effect"
- * import * as assert from "node:assert"
  *
  * let value = 0
  *
@@ -1756,7 +1435,7 @@ export const compact: <A>(self: Trie<Option<A>>) => Trie<A> = TR.compact
  *   })
  * )
  *
- * assert.equal(value, 17)
+ * value // => 17
  * ```
  *
  * @category traversing
@@ -1768,9 +1447,8 @@ export const forEach: {
    *
    * **Example** (Iterating over entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * let value = 0
    *
@@ -1783,7 +1461,7 @@ export const forEach: {
    *   })
    * )
    *
-   * assert.equal(value, 17)
+   * value // => 17
    * ```
    *
    * @category traversing
@@ -1795,9 +1473,8 @@ export const forEach: {
    *
    * **Example** (Iterating over entries)
    *
-   * ```ts
+   * ```ts import.meta.vitest
    * import { Trie } from "effect"
-   * import * as assert from "node:assert"
    *
    * let value = 0
    *
@@ -1810,7 +1487,7 @@ export const forEach: {
    *   })
    * )
    *
-   * assert.equal(value, 17)
+   * value // => 17
    * ```
    *
    * @category traversing
@@ -1824,9 +1501,8 @@ export const forEach: {
  *
  * **Example** (Modifying an existing value)
  *
- * ```ts
- * import { Equal, Option, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Option, Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -1834,12 +1510,8 @@ export const forEach: {
  *   Trie.insert("she", 2)
  * )
  *
- * assert.deepStrictEqual(
- *   trie.pipe(Trie.modify("she", (v) => v + 10), Trie.get("she")),
- *   Option.some(12)
- * )
- *
- * assert.equal(Equal.equals(trie.pipe(Trie.modify("me", (v) => v)), trie), true)
+ * trie.pipe(Trie.modify("she", (v) => v + 10), Trie.get("she")) // => Option.some(12)
+ * trie.pipe(Trie.modify("me", (v) => v)) // => trie
  * ```
  *
  * @category mutations
@@ -1851,9 +1523,8 @@ export const modify: {
    *
    * **Example** (Modifying an existing value)
    *
-   * ```ts
-   * import { Equal, Option, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Option, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1861,12 +1532,8 @@ export const modify: {
    *   Trie.insert("she", 2)
    * )
    *
-   * assert.deepStrictEqual(
-   *   trie.pipe(Trie.modify("she", (v) => v + 10), Trie.get("she")),
-   *   Option.some(12)
-   * )
-   *
-   * assert.equal(Equal.equals(trie.pipe(Trie.modify("me", (v) => v)), trie), true)
+   * trie.pipe(Trie.modify("she", (v) => v + 10), Trie.get("she")) // => Option.some(12)
+   * trie.pipe(Trie.modify("me", (v) => v)) // => trie
    * ```
    *
    * @category mutations
@@ -1878,9 +1545,8 @@ export const modify: {
    *
    * **Example** (Modifying an existing value)
    *
-   * ```ts
-   * import { Equal, Option, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Option, Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1888,12 +1554,8 @@ export const modify: {
    *   Trie.insert("she", 2)
    * )
    *
-   * assert.deepStrictEqual(
-   *   trie.pipe(Trie.modify("she", (v) => v + 10), Trie.get("she")),
-   *   Option.some(12)
-   * )
-   *
-   * assert.equal(Equal.equals(trie.pipe(Trie.modify("me", (v) => v)), trie), true)
+   * trie.pipe(Trie.modify("she", (v) => v + 10), Trie.get("she")) // => Option.some(12)
+   * trie.pipe(Trie.modify("me", (v) => v)) // => trie
    * ```
    *
    * @category mutations
@@ -1907,9 +1569,8 @@ export const modify: {
  *
  * **Example** (Removing multiple entries)
  *
- * ```ts
- * import { Equal, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
  *   Trie.insert("shells", 0),
@@ -1917,13 +1578,7 @@ export const modify: {
  *   Trie.insert("she", 2)
  * )
  *
- * assert.equal(
- *   Equal.equals(
- *     trie.pipe(Trie.removeMany(["she", "sells"])),
- *     Trie.empty<number>().pipe(Trie.insert("shells", 0))
- *   ),
- *   true
- * )
+ * trie.pipe(Trie.removeMany(["she", "sells"])) // => Trie.make(["shells", 0])
  * ```
  *
  * @category mutations
@@ -1935,9 +1590,8 @@ export const removeMany: {
    *
    * **Example** (Removing multiple entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1945,13 +1599,7 @@ export const removeMany: {
    *   Trie.insert("she", 2)
    * )
    *
-   * assert.equal(
-   *   Equal.equals(
-   *     trie.pipe(Trie.removeMany(["she", "sells"])),
-   *     Trie.empty<number>().pipe(Trie.insert("shells", 0))
-   *   ),
-   *   true
-   * )
+   * trie.pipe(Trie.removeMany(["she", "sells"])) // => Trie.make(["shells", 0])
    * ```
    *
    * @category mutations
@@ -1963,9 +1611,8 @@ export const removeMany: {
    *
    * **Example** (Removing multiple entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
    *   Trie.insert("shells", 0),
@@ -1973,13 +1620,7 @@ export const removeMany: {
    *   Trie.insert("she", 2)
    * )
    *
-   * assert.equal(
-   *   Equal.equals(
-   *     trie.pipe(Trie.removeMany(["she", "sells"])),
-   *     Trie.empty<number>().pipe(Trie.insert("shells", 0))
-   *   ),
-   *   true
-   * )
+   * trie.pipe(Trie.removeMany(["she", "sells"])) // => Trie.make(["shells", 0])
    * ```
    *
    * @category mutations
@@ -1993,27 +1634,16 @@ export const removeMany: {
  *
  * **Example** (Inserting multiple entries)
  *
- * ```ts
- * import { Equal, Trie } from "effect"
- * import * as assert from "node:assert"
+ * ```ts import.meta.vitest
+ * import { Trie } from "effect"
  *
  * const trie = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 0),
- *   Trie.insert("sells", 1),
- *   Trie.insert("she", 2)
- * )
- *
- * const trieInsert = Trie.empty<number>().pipe(
- *   Trie.insert("shells", 0),
- *   Trie.insertMany(
- *     [["sells", 1], ["she", 2]]
- *   )
+ *   Trie.insert("shells", 0)
  * )
  *
- * assert.equal(
- *   Equal.equals(trie, trieInsert),
- *   true
- * )
+ * trie.pipe(
+ *   Trie.insertMany([["sells", 1], ["she", 2]])
+ * ) // => Trie.make(["shells", 0], ["sells", 1], ["she", 2])
  * ```
  *
  * @category mutations
@@ -2025,27 +1655,16 @@ export const insertMany: {
    *
    * **Example** (Inserting multiple entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1),
-   *   Trie.insert("she", 2)
+   *   Trie.insert("shells", 0)
    * )
    *
-   * const trieInsert = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insertMany(
-   *     [["sells", 1], ["she", 2]]
-   *   )
-   * )
-   *
-   * assert.equal(
-   *   Equal.equals(trie, trieInsert),
-   *   true
-   * )
+   * trie.pipe(
+   *   Trie.insertMany([["sells", 1], ["she", 2]])
+   * ) // => Trie.make(["shells", 0], ["sells", 1], ["she", 2])
    * ```
    *
    * @category mutations
@@ -2057,27 +1676,16 @@ export const insertMany: {
    *
    * **Example** (Inserting multiple entries)
    *
-   * ```ts
-   * import { Equal, Trie } from "effect"
-   * import * as assert from "node:assert"
+   * ```ts import.meta.vitest
+   * import { Trie } from "effect"
    *
    * const trie = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insert("sells", 1),
-   *   Trie.insert("she", 2)
+   *   Trie.insert("shells", 0)
    * )
    *
-   * const trieInsert = Trie.empty<number>().pipe(
-   *   Trie.insert("shells", 0),
-   *   Trie.insertMany(
-   *     [["sells", 1], ["she", 2]]
-   *   )
-   * )
-   *
-   * assert.equal(
-   *   Equal.equals(trie, trieInsert),
-   *   true
-   * )
+   * trie.pipe(
+   *   Trie.insertMany([["sells", 1], ["she", 2]])
+   * ) // => Trie.make(["shells", 0], ["sells", 1], ["she", 2])
    * ```
    *
    * @category mutations