improve: TaggedUnion .is is now S.is, isA, is the old is

effect-app · Nov 29, 2024 · fe7783b · fe7783b
1 parent 8f14c99
commit fe7783b
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/.changeset/loud-queens-fail.md b/.changeset/loud-queens-fail.md
@@ -0,0 +1,5 @@
+---
+"effect-app": minor
+---
+
+improve: TaggedUnion .is is now S.is, isA, is the old is
diff --git a/packages/effect-app/src/Schema.ts b/packages/effect-app/src/Schema.ts
@@ -151,15 +151,23 @@ export const tags = <
   >
 export const ExtendTaggedUnion = <A extends { _tag: string }, I, R>(
   schema: S.Schema<A, I, R>
-) => extendM(schema, (_) => ({ is: makeIs(_), isAnyOf: makeIsAnyOf(_) /*, map: taggedUnionMap(a) */ }))
+) =>
+  extendM(schema, (_) => ({ is: S.is(schema), isA: makeIs(_), isAnyOf: makeIsAnyOf(_) /*, map: taggedUnionMap(a) */ }))
 
 export const TaggedUnion = <
   // eslint-disable-next-line @typescript-eslint/no-explicit-any
   Members extends SchemaAST.Members<S.Schema.Any & { fields: { _tag: S.tag<any> } }>
 >(...a: Members) =>
   pipe(
     S.Union(...a),
-    (_) => extendM(_, (_) => ({ is: makeIs(_), isAnyOf: makeIsAnyOf(_), tagMap: taggedUnionMap(a), tags: tags(a) }))
+    (_) =>
+      extendM(_, (_) => ({
+        is: S.is(_),
+        isA: makeIs(_),
+        isAnyOf: makeIsAnyOf(_),
+        tagMap: taggedUnionMap(a),
+        tags: tags(a)
+      }))
   )
 
 export type PhoneNumber = PhoneNumberT