effect 3.14.0 → 3.14.2

package/src/Context.ts

@@ -410,7 +410,7 @@ export const get: {
    * @since 2.0.0
    * @category getters
    */
-  <Services, T extends ValidTagsById<Services>>(tag: T): (self: Context<Services>) => Tag.Service<T>
+  <Services, I extends Services, S>(tag: Tag<I, S>): (self: Context<Services>) => S
   /**
    * Get a service from the context that corresponds to the given tag.
    *
@@ -456,7 +456,7 @@ export const get: {
    * @since 2.0.0
    * @category getters
    */
-  <Services, T extends ValidTagsById<Services>>(self: Context<Services>, tag: T): Tag.Service<T>
+  <Services, I extends Services, S>(self: Context<Services>, tag: Tag<I, S>): S
 } = internal.get
 
 /**
@@ -751,17 +751,16 @@ export const mergeAll: <T extends Array<unknown>>(
  *
  * @since 2.0.0
  */
-export const pick: <Services, S extends Array<ValidTagsById<Services>>>(
-  ...tags: S
-) => (self: Context<Services>) => Context<{ [k in keyof S]: Tag.Identifier<S[k]> }[number]> = internal.pick
+export const pick: <Tags extends ReadonlyArray<Tag<any, any>>>(
+  ...tags: Tags
+) => <Services>(self: Context<Services>) => Context<Services & Tag.Identifier<Tags[number]>> = internal.pick
 
 /**
  * @since 2.0.0
  */
-export const omit: <Services, S extends Array<ValidTagsById<Services>>>(
-  ...tags: S
-) => (self: Context<Services>) => Context<Exclude<Services, { [k in keyof S]: Tag.Identifier<S[k]> }[keyof S]>> =
-  internal.omit
+export const omit: <Tags extends ReadonlyArray<Tag<any, any>>>(
+  ...tags: Tags
+) => <Services>(self: Context<Services>) => Context<Exclude<Services, Tag.Identifier<Tags[number]>>> = internal.omit
 
 /**
  * @example

package/src/Schema.ts

@@ -195,10 +195,10 @@ const makeStandardFailureFromParseIssue = (
 export const standardSchemaV1 = <A, I>(
   schema: Schema<A, I, never>,
   overrideOptions?: AST.ParseOptions
-): StandardSchemaV1<I, A> => {
+): StandardSchemaV1<I, A> & SchemaClass<A, I, never> => {
   const decodeUnknown = ParseResult.decodeUnknown(schema, { errors: "all" })
-  return {
-    "~standard": {
+  return class StandardSchemaV1Class extends make<A, I, never>(schema.ast) {
+    static "~standard" = {
       version: 1,
       vendor: "effect",
       validate(value) {
@@ -4583,6 +4583,7 @@ export declare namespace Annotations {
     readonly equivalence?: (..._: any) => Equivalence.Equivalence<A>
   }
 
+  // TODO(4.0): replace `readonly [P]` with `readonly []`
   /**
    * @since 3.10.0
    */

package/src/SchemaAST.ts

@@ -339,6 +339,12 @@ export const getAnnotation: {
  */
 export const getBrandAnnotation = getAnnotation<BrandAnnotation>(BrandAnnotationId)
 
+/**
+ * @category annotations
+ * @since 3.14.2
+ */
+export const getSchemaIdAnnotation = getAnnotation<SchemaIdAnnotation>(SchemaIdAnnotationId)
+
 /**
  * @category annotations
  * @since 3.10.0

package/src/index.ts

@@ -408,6 +408,7 @@ export * as Layer from "./Layer.js"
 
 /**
  * @since 3.14.0
+ * @experimental
  */
 export * as LayerMap from "./LayerMap.js"
 

package/src/internal/context.ts

@@ -256,9 +256,9 @@ export const unsafeGet = dual<
 /** @internal */
 export const get: {
   <I, S>(tag: C.Reference<I, S>): <Services>(self: C.Context<Services>) => S
-  <Services, T extends C.ValidTagsById<Services>>(tag: T): (self: C.Context<Services>) => C.Tag.Service<T>
+  <Services, I extends Services, S>(tag: C.Tag<I, S>): (self: C.Context<Services>) => S
   <Services, I, S>(self: C.Context<Services>, tag: C.Reference<I, S>): S
-  <Services, T extends C.ValidTagsById<Services>>(self: C.Context<Services>, tag: T): C.Tag.Service<T>
+  <Services, I extends Services, S>(self: C.Context<Services>, tag: C.Tag<I, S>): S
 } = unsafeGet as any
 
 /** @internal */
@@ -310,9 +310,9 @@ export const mergeAll = <T extends Array<unknown>>(
 
 /** @internal */
 export const pick =
-  <Services, S extends Array<C.ValidTagsById<Services>>>(...tags: S) =>
-  (self: C.Context<Services>): C.Context<
-    { [k in keyof S]: C.Tag.Identifier<S[k]> }[number]
+  <Tags extends ReadonlyArray<C.Tag<any, any>>>(...tags: Tags) =>
+  <Services>(self: C.Context<Services>): C.Context<
+    Services & C.Tag.Identifier<Tags[number]>
   > => {
     const tagSet = new Set<string>(tags.map((_) => _.key))
     const newEnv = new Map()
@@ -321,14 +321,14 @@ export const pick =
         newEnv.set(tag, s)
       }
     }
-    return makeContext<{ [k in keyof S]: C.Tag.Identifier<S[k]> }[number]>(newEnv)
+    return makeContext(newEnv)
   }
 
 /** @internal */
 export const omit =
-  <Services, S extends Array<C.ValidTagsById<Services>>>(...tags: S) =>
-  (self: C.Context<Services>): C.Context<
-    Exclude<Services, { [k in keyof S]: C.Tag.Identifier<S[k]> }[keyof S]>
+  <Tags extends ReadonlyArray<C.Tag<any, any>>>(...tags: Tags) =>
+  <Services>(self: C.Context<Services>): C.Context<
+    Exclude<Services, C.Tag.Identifier<Tags[number]>>
   > => {
     const newEnv = new Map(self.unsafeMap)
     for (const tag of tags) {

package/src/internal/version.ts

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