effect 4.0.0-beta.99 → 4.0.0-rc.109

package/dist/Match.js

@@ -29,7 +29,7 @@ const TypeId = internal.TypeId;
  *
  * **Example** (Matching Numbers and Strings)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * // Create a matcher for values that are either strings or numbers
@@ -45,11 +45,9 @@ const TypeId = internal.TypeId;
  *   Match.exhaustive
  * )
  *
- * console.log(match(0))
- * // Output: "number: 0"
+ * match(0) // => "number: 0"
  *
- * console.log(match("hello"))
- * // Output: "string: hello"
+ * match("hello") // => "string: hello"
  * ```
  *
  * @see {@link value} for creating a matcher from a specific value.
@@ -77,7 +75,7 @@ export const type = internal.type;
  *
  * **Example** (Matching an Object by Property)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const input = { name: "John", age: 30 }
@@ -93,8 +91,7 @@ export const type = internal.type;
  *   Match.orElse(() => "Oh, not John")
  * )
  *
- * console.log(result)
- * // Output: "John is 30 years old"
+ * result // => "John is 30 years old"
  * ```
  *
  * @see {@link type} for creating a matcher from a specific type.
@@ -114,7 +111,7 @@ export const value = internal.value;
  *
  * **Example** (Matching value tags)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type Status = { readonly _tag: "Success"; readonly data: string }
@@ -126,7 +123,7 @@ export const value = internal.value;
  *   Success: (result) => `Success: ${result.data}`
  * })
  *
- * console.log(message) // "Success: Hello"
+ * message // => "Success: Hello"
  * ```
  *
  * @category constructors
@@ -144,7 +141,7 @@ export const valueTags = internal.valueTags;
  *
  * **Example** (Matching type tags)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type Result =
@@ -159,11 +156,9 @@ export const valueTags = internal.valueTags;
  *   Loading: () => "Loading..."
  * })
  *
- * console.log(formatResult({ _tag: "Success", data: "Hello World" }))
- * // Output: "Data: Hello World"
+ * formatResult({ _tag: "Success", data: "Hello World" }) // => "Data: Hello World"
  *
- * console.log(formatResult({ _tag: "Error", message: "Network failed" }))
- * // Output: "Error: Network failed"
+ * formatResult({ _tag: "Error", message: "Network failed" }) // => "Error: Network failed"
  *
  * // Create a matcher with inferred return type
  * const processResult = Match.typeTags<Result>()({
@@ -172,8 +167,7 @@ export const valueTags = internal.valueTags;
  *   Loading: () => ({ type: "pending" })
  * })
  *
- * console.log(processResult({ _tag: "Loading" }))
- * // Output: { type: "pending" }
+ * processResult({ _tag: "Loading" }) // => { type: "pending" }
  * ```
  *
  * @category constructors
@@ -194,7 +188,7 @@ export const typeTags = internal.typeTags;
  *
  * **Example** (Validating return type consistency)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const match = Match.type<{ a: number } | { b: string }>().pipe(
@@ -230,7 +224,7 @@ export const withReturnType = internal.withReturnType;
  *
  * **Example** (Matching with values and predicates)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * // Create a matcher for objects with an "age" property
@@ -246,14 +240,11 @@ export const withReturnType = internal.withReturnType;
  *   Match.orElse((user: { age: number }) => `${user.age} is too young`)
  * )
  *
- * console.log(match({ age: 20 }))
- * // Output: "Age: 20"
+ * match({ age: 20 }) // => "Age: 20"
  *
- * console.log(match({ age: 18 }))
- * // Output: "You can vote"
+ * match({ age: 18 }) // => "You can vote"
  *
- * console.log(match({ age: 4 }))
- * // Output: "4 is too young"
+ * match({ age: 4 }) // => "4 is too young"
  * ```
  *
  * @see {@link whenOr} for handling any one of several patterns with the same handler
@@ -261,7 +252,7 @@ export const withReturnType = internal.withReturnType;
  * @see {@link not} for handling inputs that do not match a pattern
  * @see {@link orElse} for providing a fallback when no pattern case matches
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const when = internal.when;
@@ -280,7 +271,7 @@ export const when = internal.when;
  *
  * **Example** (Matching one of several patterns)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type ErrorType =
@@ -298,14 +289,12 @@ export const when = internal.when;
  *   Match.exhaustive
  * )
  *
- * console.log(handleError({ _tag: "NetworkError", message: "No connection" }))
- * // Output: "Retry the request"
+ * handleError({ _tag: "NetworkError", message: "No connection" }) // => "Retry the request"
  *
- * console.log(handleError({ _tag: "ValidationError", field: "email" }))
- * // Output: "Invalid field: email"
+ * handleError({ _tag: "ValidationError", field: "email" }) // => "Invalid field: email"
  * ```
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const whenOr = internal.whenOr;
@@ -325,7 +314,7 @@ export const whenOr = internal.whenOr;
  *
  * **Example** (Matching all provided patterns)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type User = { readonly age: number; readonly role: "admin" | "user" }
@@ -339,14 +328,12 @@ export const whenOr = internal.whenOr;
  *   Match.orElse(() => "Access denied")
  * )
  *
- * console.log(checkUser({ age: 20, role: "admin" }))
- * // Output: "Admin access granted"
+ * checkUser({ age: 20, role: "admin" }) // => "Admin access granted"
  *
- * console.log(checkUser({ age: 20, role: "user" }))
- * // Output: "Access denied"
+ * checkUser({ age: 20, role: "user" }) // => "Access denied"
  * ```
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const whenAnd = internal.whenAnd;
@@ -367,7 +354,7 @@ export const whenAnd = internal.whenAnd;
  *
  * **Example** (Matching on a discriminator field)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -381,12 +368,14 @@ export const whenAnd = internal.whenAnd;
  *   Match.discriminator("type")("C", (_) => `C(${_.c})`),
  *   Match.exhaustive
  * )
+ * match({ type: "A", a: "ok" }) // => "A or B: A"
+ * match({ type: "C", c: true }) // => "C(true)"
  * ```
  *
  * @see {@link discriminators} for defining several discriminator handlers at once
  * @see {@link discriminatorStartsWith} for matching string discriminator values by prefix
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const discriminator = internal.discriminator;
@@ -406,7 +395,7 @@ export const discriminator = internal.discriminator;
  *
  * **Example** (Matching discriminator prefixes)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -416,14 +405,14 @@ export const discriminator = internal.discriminator;
  *   Match.orElse((_) => 3 as const)
  * )
  *
- * console.log(match({ type: "A" })) // 1
- * console.log(match({ type: "B" })) // 2
- * console.log(match({ type: "A.A" })) // 1
+ * match({ type: "A" }) // => 1
+ * match({ type: "B" }) // => 2
+ * match({ type: "A.A" }) // => 1
  * ```
  *
  * @see {@link discriminator} for matching exact discriminator values
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const discriminatorStartsWith = internal.discriminatorStartsWith;
@@ -447,7 +436,7 @@ export const discriminatorStartsWith = internal.discriminatorStartsWith;
  *
  * **Example** (Mapping discriminator handlers)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -464,12 +453,14 @@ export const discriminatorStartsWith = internal.discriminatorStartsWith;
  *   }),
  *   Match.exhaustive
  * )
+ * match({ type: "A", a: "ok" }) // => "ok"
+ * match({ type: "B", b: 42 }) // => 42
  * ```
  *
  * @see {@link discriminator} for adding one discriminator case to a matcher pipeline
  * @see {@link discriminatorsExhaustive} for handling every discriminator value and finalizing the matcher
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const discriminators = internal.discriminators;
@@ -491,7 +482,7 @@ export const discriminators = internal.discriminators;
  *
  * **Example** (Handling all discriminator cases)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -507,11 +498,12 @@ export const discriminators = internal.discriminators;
  *     C: (c) => c.c
  *   })
  * )
+ * match({ type: "C", c: true }) // => true
  * ```
  *
  * @see {@link discriminators} for defining discriminator handlers without finalizing the matcher
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const discriminatorsExhaustive = internal.discriminatorsExhaustive;
@@ -530,7 +522,7 @@ export const discriminatorsExhaustive = internal.discriminatorsExhaustive;
  *
  * **Example** (Matching a discriminated union by tag)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type Event =
@@ -549,14 +541,12 @@ export const discriminatorsExhaustive = internal.discriminatorsExhaustive;
  *   Match.exhaustive
  * )
  *
- * console.log(match({ _tag: "success", data: "Hello" }))
- * // Output: "Ok!"
+ * match({ _tag: "success", data: "Hello" }) // => "Ok!"
  *
- * console.log(match({ _tag: "error", error: new Error("Oops!") }))
- * // Output: "Error: Oops!"
+ * match({ _tag: "error", error: new Error("Oops!") }) // => "Error: Oops!"
  * ```
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const tag = internal.tag;
@@ -572,7 +562,7 @@ export const tag = internal.tag;
  *
  * **Example** (Matching tag prefixes)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -582,12 +572,12 @@ export const tag = internal.tag;
  *   Match.orElse((_) => 3 as const)
  * )
  *
- * console.log(match({ _tag: "A" })) // 1
- * console.log(match({ _tag: "B" })) // 2
- * console.log(match({ _tag: "A.A" })) // 1
+ * match({ _tag: "A" }) // => 1
+ * match({ _tag: "B" }) // => 2
+ * match({ _tag: "A.A" }) // => 1
  * ```
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const tagStartsWith = internal.tagStartsWith;
@@ -604,7 +594,7 @@ export const tagStartsWith = internal.tagStartsWith;
  *
  * **Example** (Mapping tag handlers)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -621,9 +611,10 @@ export const tagStartsWith = internal.tagStartsWith;
  *   }),
  *   Match.exhaustive
  * )
+ * match({ _tag: "A", a: "ok" }) // => "ok"
  * ```
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const tags = internal.tags;
@@ -641,7 +632,7 @@ export const tags = internal.tags;
  *
  * **Example** (Handling all tag cases)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match, pipe } from "effect"
  *
  * const match = pipe(
@@ -657,9 +648,10 @@ export const tags = internal.tags;
  *     C: (c) => c.c
  *   })
  * )
+ * match({ _tag: "B", b: 42 }) // => 42
  * ```
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const tagsExhaustive = internal.tagsExhaustive;
@@ -678,7 +670,7 @@ export const tagsExhaustive = internal.tagsExhaustive;
  *
  * **Example** (Ignoring a specific value)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * // Create a matcher for string or number values
@@ -689,16 +681,14 @@ export const tagsExhaustive = internal.tagsExhaustive;
  *   Match.orElse(() => "fallback")
  * )
  *
- * console.log(match("hello"))
- * // Output: "ok"
+ * match("hello") // => "ok"
  *
- * console.log(match("hi"))
- * // Output: "fallback"
+ * match("hi") // => "fallback"
  * ```
  *
  * @see {@link when} for adding a positive pattern case
  *
- * @category Defining patterns
+ * @category defining patterns
  * @since 4.0.0
  */
 export const not = internal.not;
@@ -716,7 +706,7 @@ export const not = internal.not;
  *
  * **Example** (Matching non-empty strings)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const processInput = Match.type<string>()
@@ -725,19 +715,16 @@ export const not = internal.not;
  *     Match.orElse(() => "Input cannot be empty")
  *   )
  *
- * console.log(processInput("hello"))
- * // Output: "Valid input: hello"
+ * processInput("hello") // => "Valid input: hello"
  *
- * console.log(processInput(""))
- * // Output: "Input cannot be empty"
+ * processInput("") // => "Input cannot be empty"
  *
- * console.log(processInput("   "))
- * // Output: "Valid input:    " (whitespace-only strings are considered non-empty)
+ * processInput("   ") // => "Valid input:    "
  * ```
  *
  * @see {@link string} for matching any string
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const nonEmptyString = internal.nonEmptyString;
@@ -755,7 +742,7 @@ export const nonEmptyString = internal.nonEmptyString;
  *
  * **Example** (Matching literal values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const handleStatus = Match.type<string | number>()
@@ -766,23 +753,18 @@ export const nonEmptyString = internal.nonEmptyString;
  *     Match.orElse((value) => `Unknown status: ${value}`)
  *   )
  *
- * console.log(handleStatus("success"))
- * // Output: "Operation successful"
+ * handleStatus("success") // => "Operation successful"
  *
- * console.log(handleStatus(200))
- * // Output: "Operation successful"
+ * handleStatus(200) // => "Operation successful"
  *
- * console.log(handleStatus("failed"))
- * // Output: "Operation failed"
+ * handleStatus("failed") // => "Operation failed"
  *
- * console.log(handleStatus(0))
- * // Output: "Falsy value"
+ * handleStatus(0) // => "Falsy value"
  *
- * console.log(handleStatus("pending"))
- * // Output: "Unknown status: pending"
+ * handleStatus("pending") // => "Unknown status: pending"
  * ```
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const is = internal.is;
@@ -796,7 +778,7 @@ export const is = internal.is;
  *
  * **Example** (Matching string values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const processValue = Match.type<string | number | boolean>().pipe(
@@ -806,12 +788,12 @@ export const is = internal.is;
  *   Match.exhaustive
  * )
  *
- * console.log(processValue("hello")) // "String: HELLO"
- * console.log(processValue(42)) // "Number: 84"
- * console.log(processValue(true)) // "Boolean: yes"
+ * processValue("hello") // => "String: HELLO"
+ * processValue(42) // => "Number: 84"
+ * processValue(true) // => "Boolean: yes"
  * ```
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const string = Predicate.isString;
@@ -830,7 +812,7 @@ export const string = Predicate.isString;
  *
  * **Example** (Matching number values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const categorizeNumber = Match.type<unknown>().pipe(
@@ -843,15 +825,15 @@ export const string = Predicate.isString;
  *   Match.orElse(() => "Not a number type")
  * )
  *
- * console.log(categorizeNumber(42)) // "Integer: 42"
- * console.log(categorizeNumber(3.14)) // "Float: 3.14"
- * console.log(categorizeNumber(NaN)) // "Not a number"
- * console.log(categorizeNumber("hello")) // "Not a number type"
+ * categorizeNumber(42) // => "Integer: 42"
+ * categorizeNumber(3.14) // => "Float: 3.14"
+ * categorizeNumber(NaN) // => "Not a number"
+ * categorizeNumber("hello") // => "Not a number type"
  * ```
  *
  * @see {@link bigint} for matching primitive bigint values
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const number = Predicate.isNumber;
@@ -875,7 +857,7 @@ export const number = Predicate.isNumber;
  *
  * **Example** (Matching any remaining value)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const describeValue = Match.type<unknown>()
@@ -887,23 +869,19 @@ export const number = Predicate.isNumber;
  *     Match.exhaustive
  *   )
  *
- * console.log(describeValue("hello"))
- * // Output: "String: hello"
+ * describeValue("hello") // => "String: hello"
  *
- * console.log(describeValue(42))
- * // Output: "Number: 42"
+ * describeValue(42) // => "Number: 42"
  *
- * console.log(describeValue([1, 2, 3]))
- * // Output: "Other: object"
+ * describeValue([1, 2, 3]) // => "Other: object"
  *
- * console.log(describeValue(null))
- * // Output: "Other: object"
+ * describeValue(null) // => "Other: object"
  * ```
  *
  * @see {@link defined} for matching only non-nullish values
  * @see {@link orElse} for providing a fallback after earlier cases
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const any = internal.any;
@@ -921,7 +899,7 @@ export const any = internal.any;
  *
  * **Example** (Matching defined values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const processValue = Match.type<string | number | null | undefined>()
@@ -930,28 +908,22 @@ export const any = internal.any;
  *     Match.orElse(() => "Value is null or undefined")
  *   )
  *
- * console.log(processValue("hello"))
- * // Output: "Defined value: hello"
+ * processValue("hello") // => "Defined value: hello"
  *
- * console.log(processValue(42))
- * // Output: "Defined value: 42"
+ * processValue(42) // => "Defined value: 42"
  *
- * console.log(processValue(0))
- * // Output: "Defined value: 0"
+ * processValue(0) // => "Defined value: 0"
  *
- * console.log(processValue(""))
- * // Output: "Defined value: "
+ * processValue("") // => "Defined value: "
  *
- * console.log(processValue(null))
- * // Output: "Value is null or undefined"
+ * processValue(null) // => "Value is null or undefined"
  *
- * console.log(processValue(undefined))
- * // Output: "Value is null or undefined"
+ * processValue(undefined) // => "Value is null or undefined"
  * ```
  *
  * @see {@link any} for matching every value without excluding nullish inputs
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const defined = internal.defined;
@@ -969,7 +941,7 @@ export const defined = internal.defined;
  *
  * **Example** (Matching boolean values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const describeTruthiness = Match.type<unknown>().pipe(
@@ -983,15 +955,15 @@ export const defined = internal.defined;
  *   Match.orElse(() => "Some other truthy value")
  * )
  *
- * console.log(describeTruthiness(true)) // "Definitely true"
- * console.log(describeTruthiness(false)) // "Definitely false"
- * console.log(describeTruthiness(0)) // "Falsy number"
- * console.log(describeTruthiness(1)) // "Some other truthy value"
+ * describeTruthiness(true) // => "Definitely true"
+ * describeTruthiness(false) // => "Definitely false"
+ * describeTruthiness(0) // => "Falsy number"
+ * describeTruthiness(1) // => "Some other truthy value"
  * ```
  *
  * @see {@link is} for matching specific literal boolean values
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const boolean = Predicate.isBoolean;
@@ -1012,7 +984,7 @@ export {
  * @see {@link defined} for matching non-nullish values
  * @see {@link is} for matching literal values
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 _undefined as undefined };
@@ -1033,7 +1005,7 @@ export {
  * @see {@link defined} for matching non-nullish values
  * @see {@link is} for matching literal values
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 _null as null };
@@ -1051,7 +1023,7 @@ _null as null };
  *
  * **Example** (Matching bigint values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const processLargeNumber = Match.type<unknown>().pipe(
@@ -1065,15 +1037,15 @@ _null as null };
  *   Match.orElse(() => "Not a numeric type")
  * )
  *
- * console.log(processLargeNumber(123n)) // "BigInt: 123"
- * console.log(processLargeNumber(9007199254740992n)) // "Large integer: 9007199254740992"
- * console.log(processLargeNumber(123)) // "Regular number: 123"
- * console.log(processLargeNumber("123")) // "Not a numeric type"
+ * processLargeNumber(123n) // => "BigInt: 123"
+ * processLargeNumber(9007199254740992n) // => "Large integer: 9007199254740992"
+ * processLargeNumber(123) // => "Regular number: 123"
+ * processLargeNumber("123") // => "Not a numeric type"
  * ```
  *
  * @see {@link number} for matching primitive number values
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const bigint = Predicate.isBigInt;
@@ -1088,7 +1060,7 @@ export const bigint = Predicate.isBigInt;
  *
  * **Example** (Matching symbol values)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const mySymbol = Symbol("my-symbol")
@@ -1105,12 +1077,12 @@ export const bigint = Predicate.isBigInt;
  *   Match.orElse(() => "Not a symbol")
  * )
  *
- * console.log(handleSymbol(mySymbol)) // "Symbol with description: my-symbol"
- * console.log(handleSymbol(Symbol())) // "Symbol without description"
- * console.log(handleSymbol("string")) // "Not a symbol"
+ * handleSymbol(mySymbol) // => "Symbol with description: my-symbol"
+ * handleSymbol(Symbol()) // => "Symbol without description"
+ * handleSymbol("string") // => "Not a symbol"
  * ```
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const symbol = Predicate.isSymbol;
@@ -1129,7 +1101,7 @@ export const symbol = Predicate.isSymbol;
  *
  * **Example** (Matching Date instances)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const processDateValue = Match.type<unknown>().pipe(
@@ -1143,15 +1115,15 @@ export const symbol = Predicate.isSymbol;
  *   Match.orElse(() => "Not a date-related value")
  * )
  *
- * console.log(processDateValue(new Date("2024-01-01"))) // "Date: 2024-01-01"
- * console.log(processDateValue(new Date("invalid"))) // "Invalid date"
- * console.log(processDateValue("2024-01-01")) // "Date string: 2024-01-01"
- * console.log(processDateValue(1704067200000)) // "Not a date-related value"
+ * processDateValue(new Date("2024-01-01")) // => "Date: 2024-01-01"
+ * processDateValue(new Date("invalid")) // => "Invalid date"
+ * processDateValue("2024-01-01") // => "Date string: 2024-01-01"
+ * processDateValue(1704067200000) // => "Not a date-related value"
  * ```
  *
  * @see {@link instanceOf} for matching instances of any constructor
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const date = Predicate.isDate;
@@ -1171,7 +1143,7 @@ export const date = Predicate.isDate;
  *
  * **Example** (Matching record objects)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const analyzeValue = Match.type<unknown>().pipe(
@@ -1187,15 +1159,15 @@ export const date = Predicate.isDate;
  *   Match.orElse(() => "Not an object")
  * )
  *
- * console.log(analyzeValue({ name: "Alice", age: 30 })) // "Object with 2 properties: [name, age]"
- * console.log(analyzeValue([1, 2, 3])) // "Array with 3 items"
- * console.log(analyzeValue(null)) // "Not an object"
- * console.log(analyzeValue("hello")) // "Not an object"
+ * analyzeValue({ name: "Alice", age: 30 }) // => "Object with 2 properties: [name, age]"
+ * analyzeValue([1, 2, 3]) // => "Array with 3 items"
+ * analyzeValue(null) // => "Not an object"
+ * analyzeValue("hello") // => "Not an object"
  * ```
  *
  * @see {@link instanceOf} for matching a specific constructor
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const record = Predicate.isObject;
@@ -1214,7 +1186,7 @@ export const record = Predicate.isObject;
  *
  * **Example** (Matching class instances)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * class CustomError extends Error {
@@ -1244,16 +1216,16 @@ export const record = Predicate.isObject;
  *     Match.orElse((value) => `Other: ${typeof value}`)
  *   )
  *
- * console.log(handleValue(new CustomError("Failed", 404))) // "Custom error: Failed (code: 404)"
- * console.log(handleValue(new Error("Generic error"))) // "Standard error: Generic error"
- * console.log(handleValue([1, 2, 3])) // "Array with 3 items"
- * console.log(handleValue(new Map([["count", 1]]))) // "Map with 1 entries"
+ * handleValue(new CustomError("Failed", 404)) // => "Custom error: Failed (code: 404)"
+ * handleValue(new Error("Generic error")) // => "Standard error: Generic error"
+ * handleValue([1, 2, 3]) // => "Array with 3 items"
+ * handleValue(new Map([["count", 1]])) // => "Map with 1 entries"
  * ```
  *
  * @see {@link instanceOfUnsafe} for constructor matching without the same type-safety guarantee
  * @see {@link record} for matching broad non-null, non-array objects
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const instanceOf = internal.instanceOf;
@@ -1272,7 +1244,7 @@ export const instanceOf = internal.instanceOf;
  *
  * **Example** (Matching class instances unsafely)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * class CustomError extends Error {
@@ -1290,11 +1262,12 @@ export const instanceOf = internal.instanceOf;
  *   }),
  *   Match.orElse(() => "Not a CustomError")
  * )
+ * handleError(new CustomError("failed", 500)) // => "Custom error 500: failed"
  * ```
  *
  * @see {@link instanceOf} for type-safe constructor matching
  *
- * @category predicates
+ * @category guards
  * @since 4.0.0
  */
 export const instanceOfUnsafe = internal.instanceOf;
@@ -1314,7 +1287,7 @@ export const instanceOfUnsafe = internal.instanceOf;
  *
  * **Example** (Providing a default value when no patterns match)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * // Create a matcher for string or number values
@@ -1325,11 +1298,9 @@ export const instanceOfUnsafe = internal.instanceOf;
  *   Match.orElse(() => "fallback")
  * )
  *
- * console.log(match("a"))
- * // Output: "ok"
+ * match("a") // => "ok"
  *
- * console.log(match("b"))
- * // Output: "fallback"
+ * match("b") // => "fallback"
  * ```
  *
  * @see {@link option} for finalizing unmatched input as `Option.none`
@@ -1361,7 +1332,7 @@ export const orElse = internal.orElse;
  *
  * **Example** (Throwing on unmatched input)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * const strictMatcher = Match.type<"a" | "b">().pipe(
@@ -1371,8 +1342,8 @@ export const orElse = internal.orElse;
  *   Match.orElseAbsurd
  * )
  *
- * console.log(strictMatcher("a")) // "Found A"
- * console.log(strictMatcher("b")) // "Found B"
+ * strictMatcher("a") // => "Found A"
+ * strictMatcher("b") // => "Found B"
  *
  * // This would throw an error at runtime:
  * // strictMatcher("c" as any) // throws
@@ -1402,7 +1373,7 @@ export const orElseAbsurd = internal.orElseAbsurd;
  *
  * **Example** (Extracting a user role with `Match.result`)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type User = { readonly role: "admin" | "editor" | "viewer" }
@@ -1414,11 +1385,9 @@ export const orElseAbsurd = internal.orElseAbsurd;
  *   Match.result // Wrap the result in an Result
  * )
  *
- * console.log(getRole({ role: "admin" }))
- * // Output: { _id: 'Result', _tag: 'Ok', ok: 'Has full access' }
+ * getRole({ role: "admin" })._tag // => "Success"
  *
- * console.log(getRole({ role: "viewer" }))
- * // Output: { _id: 'Result', _tag: 'Err', err: { role: 'viewer' } }
+ * getRole({ role: "viewer" })._tag // => "Failure"
  * ```
  *
  * @category completion
@@ -1445,7 +1414,7 @@ export const result = internal.result;
  *
  * **Example** (Extracting a user role with `Match.option`)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * type User = { readonly role: "admin" | "editor" | "viewer" }
@@ -1457,11 +1426,9 @@ export const result = internal.result;
  *   Match.option // Wrap the result in an Option
  * )
  *
- * console.log(getRole({ role: "admin" }))
- * // Output: { _id: 'Option', _tag: 'Some', value: 'Has full access' }
+ * getRole({ role: "admin" })._tag // => "Some"
  *
- * console.log(getRole({ role: "viewer" }))
- * // Output: { _id: 'Option', _tag: 'None' }
+ * getRole({ role: "viewer" })._tag // => "None"
  * ```
  *
  * @see {@link result} for preserving unmatched input as a `Result` failure
@@ -1486,7 +1453,7 @@ export const option = internal.option;
  *
  * **Example** (Ensuring all cases are covered)
  *
- * ```ts
+ * ```ts import.meta.vitest
  * import { Match } from "effect"
  *
  * // Create a matcher for string or number values