effect 3.9.0 → 3.9.2

package/src/internal/cause.ts

@@ -8,7 +8,7 @@ import { constFalse, constTrue, dual, identity, pipe } from "../Function.js"
 import { globalValue } from "../GlobalValue.js"
 import * as Hash from "../Hash.js"
 import * as HashSet from "../HashSet.js"
-import { DenoInspectSymbol, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import * as Option from "../Option.js"
 import { pipeArguments } from "../Pipeable.js"
 import type { Predicate, Refinement } from "../Predicate.js"
@@ -69,9 +69,6 @@ const proto = {
   toString<E>(this: Cause.Cause<E>) {
     return pretty(this)
   },
-  [DenoInspectSymbol]<E>(this: Cause.Cause<E>) {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]<E>(this: Cause.Cause<E>) {
     return this.toJSON()
   }

package/src/internal/context.ts

@@ -3,7 +3,7 @@ import * as Equal from "../Equal.js"
 import type { LazyArg } from "../Function.js"
 import { dual } from "../Function.js"
 import * as Hash from "../Hash.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import type * as O from "../Option.js"
 import { pipeArguments } from "../Pipeable.js"
 import { hasProperty } from "../Predicate.js"
@@ -41,9 +41,6 @@ export const TagProto: any = {
       stack: this.stack
     }
   },
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]() {
     return this.toJSON()
   },
@@ -128,9 +125,6 @@ export const ContextProto: Omit<C.Context<unknown>, "unsafeMap"> = {
       services: Array.from(this.unsafeMap).map(toJSON)
     }
   },
-  [DenoInspectSymbol]() {
-    return (this as any).toJSON()
-  },
   [NodeInspectSymbol]() {
     return (this as any).toJSON()
   }

package/src/internal/core-effect.ts

@@ -375,14 +375,14 @@ export const Do: Effect.Effect<{}> = core.succeed({})
 export const bind: {
   <N extends string, A extends object, B, E2, R2>(
     name: Exclude<N, keyof A>,
-    f: (a: A) => Effect.Effect<B, E2, R2>
+    f: (a: NoInfer<A>) => Effect.Effect<B, E2, R2>
   ): <E1, R1>(
     self: Effect.Effect<A, E1, R1>
   ) => Effect.Effect<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E2 | E1, R2 | R1>
   <A extends object, N extends string, E1, R1, B, E2, R2>(
     self: Effect.Effect<A, E1, R1>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => Effect.Effect<B, E2, R2>
+    f: (a: NoInfer<A>) => Effect.Effect<B, E2, R2>
   ): Effect.Effect<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E1 | E2, R1 | R2>
 } = doNotation.bind<Effect.EffectTypeLambda>(core.map, core.flatMap)
 
@@ -396,14 +396,14 @@ export const bindTo: {
 export const let_: {
   <N extends string, A extends object, B>(
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): <E, R>(
     self: Effect.Effect<A, E, R>
   ) => Effect.Effect<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E, R>
   <A extends object, N extends string, E, R, B>(
     self: Effect.Effect<A, E, R>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): Effect.Effect<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E, R>
 } = doNotation.let_<Effect.EffectTypeLambda>(core.map)
 

package/src/internal/core.ts

@@ -21,7 +21,7 @@ import { globalValue } from "../GlobalValue.js"
 import * as Hash from "../Hash.js"
 import * as HashMap from "../HashMap.js"
 import type * as HashSet from "../HashSet.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import * as List from "../List.js"
 import type * as LogLevel from "../LogLevel.js"
 import type * as LogSpan from "../LogSpan.js"
@@ -177,9 +177,6 @@ class EffectPrimitive {
   toString() {
     return format(this.toJSON())
   }
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  }
   [NodeInspectSymbol]() {
     return this.toJSON()
   }
@@ -229,9 +226,6 @@ class EffectPrimitiveFailure {
   toString() {
     return format(this.toJSON())
   }
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  }
   [NodeInspectSymbol]() {
     return this.toJSON()
   }
@@ -281,9 +275,6 @@ class EffectPrimitiveSuccess {
   toString() {
     return format(this.toJSON())
   }
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  }
   [NodeInspectSymbol]() {
     return this.toJSON()
   }
@@ -2203,9 +2194,6 @@ export const YieldableError: new(message?: string, options?: ErrorOptions) => Ca
     toJSON() {
       return { ...this }
     }
-    [DenoInspectSymbol]() {
-      return this[NodeInspectSymbol]()
-    }
     [NodeInspectSymbol]() {
       if (this.toString !== globalThis.Error.prototype.toString) {
         return this.stack ? `${this.toString()}\n${this.stack.split("\n").slice(1).join("\n")}` : this.toString()

package/src/internal/doNotation.ts

@@ -1,3 +1,4 @@
+import type { NoInfer } from "effect/Types"
 import { dual } from "../Function.js"
 import type { Kind, TypeLambda } from "../HKT.js"
 
@@ -22,20 +23,20 @@ export const let_ = <F extends TypeLambda>(
 ): {
   <N extends string, A extends object, B>(
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): <R, O, E>(
     self: Kind<F, R, O, E, A>
   ) => Kind<F, R, O, E, { [K in keyof A | N]: K extends keyof A ? A[K] : B }>
   <R, O, E, A extends object, N extends string, B>(
     self: Kind<F, R, O, E, A>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): Kind<F, R, O, E, { [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 } =>
   dual(3, <R, O, E, A extends object, N extends string, B>(
     self: Kind<F, R, O, E, A>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): Kind<F, R, O, E, { [K in keyof A | N]: K extends keyof A ? A[K] : B }> =>
     map(self, (a) => Object.assign({}, a, { [name]: f(a) }) as any))
 
@@ -58,20 +59,20 @@ export const bindTo = <F extends TypeLambda>(map: Map<F>): {
 export const bind = <F extends TypeLambda>(map: Map<F>, flatMap: FlatMap<F>): {
   <N extends string, A extends object, R2, O2, E2, B>(
     name: Exclude<N, keyof A>,
-    f: (a: A) => Kind<F, R2, O2, E2, B>
+    f: (a: NoInfer<A>) => Kind<F, R2, O2, E2, B>
   ): <R1, O1, E1>(
     self: Kind<F, R1, O1, E1, A>
   ) => Kind<F, R1 & R2, O1 | O2, E1 | E2, { [K in keyof A | N]: K extends keyof A ? A[K] : B }>
   <R1, O1, E1, A extends object, N extends string, R2, O2, E2, B>(
     self: Kind<F, R1, O1, E1, A>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => Kind<F, R2, O2, E2, B>
+    f: (a: NoInfer<A>) => Kind<F, R2, O2, E2, B>
   ): Kind<F, R1 & R2, O1 | O2, E1 | E2, { [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 } =>
   dual(3, <R1, O1, E1, A, N extends string, R2, O2, E2, B>(
     self: Kind<F, R1, O1, E1, A>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => Kind<F, R2, O2, E2, B>
+    f: (a: NoInfer<A>) => Kind<F, R2, O2, E2, B>
   ): Kind<F, R1 & R2, O1 | O2, E1 | E2, { [K in keyof A | N]: K extends keyof A ? A[K] : B }> =>
     flatMap(self, (a) =>
       map(f(a), (b) => Object.assign({}, a, { [name]: b }) as { [K in keyof A | N]: K extends keyof A ? A[K] : B })))

package/src/internal/fiberId.ts

@@ -4,7 +4,7 @@ import { dual, pipe } from "../Function.js"
 import { globalValue } from "../GlobalValue.js"
 import * as Hash from "../Hash.js"
 import * as HashSet from "../HashSet.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import * as MutableRef from "../MutableRef.js"
 import * as Option from "../Option.js"
 import { hasProperty } from "../Predicate.js"
@@ -58,9 +58,6 @@ class None implements FiberId.None {
       _tag: this._tag
     }
   }
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  }
   [NodeInspectSymbol]() {
     return this.toJSON()
   }
@@ -94,9 +91,6 @@ class Runtime implements FiberId.Runtime {
       startTimeMillis: this.startTimeMillis
     }
   }
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  }
   [NodeInspectSymbol]() {
     return this.toJSON()
   }
@@ -137,9 +131,6 @@ class Composite implements FiberId.Composite {
       right: toJSON(this.right)
     }
   }
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  }
   [NodeInspectSymbol]() {
     return this.toJSON()
   }

package/src/internal/groupBy.ts

@@ -277,7 +277,7 @@ export const mapEffectOptions = dual<
 export const bindEffect = dual<
   <N extends string, A, B, E2, R2>(
     tag: Exclude<N, keyof A>,
-    f: (_: A) => Effect.Effect<B, E2, R2>,
+    f: (_: NoInfer<A>) => Effect.Effect<B, E2, R2>,
     options?: {
       readonly concurrency?: number | "unbounded" | undefined
       readonly bufferSize?: number | undefined
@@ -290,7 +290,7 @@ export const bindEffect = dual<
   <A, E, R, N extends string, B, E2, R2>(
     self: Stream.Stream<A, E, R>,
     tag: Exclude<N, keyof A>,
-    f: (_: A) => Effect.Effect<B, E2, R2>,
+    f: (_: NoInfer<A>) => Effect.Effect<B, E2, R2>,
     options?: {
       readonly concurrency?: number | "unbounded" | undefined
       readonly unordered?: boolean | undefined

package/src/internal/hashMap.ts

@@ -3,7 +3,7 @@ import * as Dual from "../Function.js"
 import { identity, pipe } from "../Function.js"
 import * as Hash from "../Hash.js"
 import type * as HM from "../HashMap.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import * as Option from "../Option.js"
 import { pipeArguments } from "../Pipeable.js"
 import { hasProperty } from "../Predicate.js"
@@ -85,9 +85,6 @@ const HashMapProto: HM.HashMap<unknown, unknown> = {
       values: Array.from(this).map(toJSON)
     }
   },
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]() {
     return this.toJSON()
   },

package/src/internal/hashSet.ts

@@ -3,7 +3,7 @@ import { dual } from "../Function.js"
 import * as Hash from "../Hash.js"
 import type { HashMap } from "../HashMap.js"
 import type * as HS from "../HashSet.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import { pipeArguments } from "../Pipeable.js"
 import type { Predicate, Refinement } from "../Predicate.js"
 import { hasProperty } from "../Predicate.js"
@@ -49,9 +49,6 @@ const HashSetProto: Omit<HashSetImpl<unknown>, "_keyMap"> = {
       values: Array.from(this).map(toJSON)
     }
   },
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]() {
     return this.toJSON()
   },

package/src/internal/mailbox.ts

@@ -287,9 +287,6 @@ class MailboxImpl<A, E> extends Effectable.Class<readonly [messages: Chunk.Chunk
   toString(): string {
     return Inspectable.format(this)
   }
-  [Inspectable.DenoInspectSymbol]() {
-    return Inspectable.format(this)
-  }
   [Inspectable.NodeInspectSymbol]() {
     return Inspectable.format(this)
   }

package/src/internal/option.ts

@@ -4,7 +4,7 @@
 
 import * as Equal from "../Equal.js"
 import * as Hash from "../Hash.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import type * as Option from "../Option.js"
 import { hasProperty } from "../Predicate.js"
 import { EffectPrototype } from "./effectable.js"
@@ -16,9 +16,6 @@ const CommonProto = {
   [TypeId]: {
     _A: (_: never) => _
   },
-  [DenoInspectSymbol]<A>(this: Option.Option<A>) {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]<A>(this: Option.Option<A>) {
     return this.toJSON()
   },

package/src/internal/redBlackTree.ts

@@ -2,7 +2,7 @@ import * as Chunk from "../Chunk.js"
 import * as Equal from "../Equal.js"
 import { dual, pipe } from "../Function.js"
 import * as Hash from "../Hash.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import * as Option from "../Option.js"
 import type * as Order from "../Order.js"
 import type * as Ordering from "../Ordering.js"
@@ -71,9 +71,6 @@ const RedBlackTreeProto: RBT.RedBlackTree<unknown, unknown> = {
       values: Array.from(this).map(toJSON)
     }
   },
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]() {
     return this.toJSON()
   },

package/src/internal/runtime.ts

@@ -195,9 +195,6 @@ class FiberFailureImpl extends Error implements Runtime.FiberFailure {
   toString(): string {
     return "(FiberFailure) " + (this.stack ?? this.message)
   }
-  [Inspectable.DenoInspectSymbol](): unknown {
-    return this.toString()
-  }
   [Inspectable.NodeInspectSymbol](): unknown {
     return this.toString()
   }

package/src/internal/stream.ts

@@ -8409,7 +8409,7 @@ export const Do: Stream.Stream<{}> = succeed({})
 export const bind = dual<
   <N extends string, A, B, E2, R2>(
     tag: Exclude<N, keyof A>,
-    f: (_: A) => Stream.Stream<B, E2, R2>,
+    f: (_: NoInfer<A>) => Stream.Stream<B, E2, R2>,
     options?: {
       readonly concurrency?: number | "unbounded" | undefined
       readonly bufferSize?: number | undefined
@@ -8422,7 +8422,7 @@ export const bind = dual<
   <A, E, R, N extends string, B, E2, R2>(
     self: Stream.Stream<A, E, R>,
     tag: Exclude<N, keyof A>,
-    f: (_: A) => Stream.Stream<B, E2, R2>,
+    f: (_: NoInfer<A>) => Stream.Stream<B, E2, R2>,
     options?: {
       readonly concurrency?: number | "unbounded" | undefined
       readonly bufferSize?: number | undefined
@@ -8457,14 +8457,14 @@ export const bindTo: {
 export const let_: {
   <N extends string, A extends object, B>(
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): <E, R>(
     self: Stream.Stream<A, E, R>
   ) => Stream.Stream<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E, R>
   <A extends object, E, R, N extends string, B>(
     self: Stream.Stream<A, E, R>,
     name: Exclude<N, keyof A>,
-    f: (a: A) => B
+    f: (a: NoInfer<A>) => B
   ): Stream.Stream<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E, R>
 } = doNotation.let_<Stream.StreamTypeLambda>(map)
 

package/src/internal/trie.ts

@@ -1,7 +1,7 @@
 import * as Equal from "../Equal.js"
 import { dual, identity, pipe } from "../Function.js"
 import * as Hash from "../Hash.js"
-import { DenoInspectSymbol, format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
 import * as Option from "../Option.js"
 import type * as Ordering from "../Ordering.js"
 import { pipeArguments } from "../Pipeable.js"
@@ -60,9 +60,6 @@ const TrieProto: TR.Trie<unknown> = {
       values: Array.from(this).map(toJSON)
     }
   },
-  [DenoInspectSymbol]() {
-    return this.toJSON()
-  },
   [NodeInspectSymbol]() {
     return this.toJSON()
   },

package/src/internal/version.ts

@@ -1,4 +1,4 @@
-let moduleVersion = "3.9.0"
+let moduleVersion = "3.9.2"
 
 export const getCurrentVersion = () => moduleVersion