@effect/match - npm Package Compare versions

Comparing version 0.9.0 to 0.10.0

index.d.ts

@@ -7,3 +7,2 @@ /**
 import type { Predicate, Refinement } from "@effect/data/Predicate";
-import type { ExtractMatch } from "@effect/match/internal/ExtractMatch";
 import * as S from "@effect/schema/Schema";
@@ -252,2 +251,3 @@ /**
 type PForExclude<P> = RemoveInvalidPatterns<SafeSchemaR<PredToSchema<P>>>;
+type ExtractMatch<I, P> = [P] extends [infer EI] ? Extract<EI, P> & I : never;
 type PredicateA<A> = Predicate<A> | Refinement<A, A>;
@@ -275,5 +275,5 @@ type Narrow<A> = NarrowRaw<A>;
 type RemoveInvalidPatterns<P> = ValidPattern<P> extends true ? P : never;
-type ValidPattern<P> = P extends SafeSchema<any> ? false : P extends Record<string, any> ? [
+type ValidPattern<P, Checked = never> = P extends SafeSchema<any> ? false : P extends Array<infer R> ? [R] extends [Checked] ? true : ValidPattern<R, Checked | R> : P extends Record<string, any> ? [
     {
-        [K in keyof P]: ValidPattern<P[K]>;
+        [K in keyof P]: [P[K]] extends [Checked] ? true : ValidPattern<P[K], Checked | P[K]>;
     } extends infer R ? Extract<R[keyof R], false> : never
@@ -280,0 +280,0 @@ ] extends [never] ? true : false : true;

package.json

 {
   "name": "@effect/match",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "license": "MIT",
@@ -10,3 +10,3 @@ "repository": {
   "dependencies": {
-    "@effect/data": "^0.9.1",
+    "@effect/data": "^0.10.2",
     "@effect/schema": "~0.9.0"
@@ -13,0 +13,0 @@ },

src/index.ts

@@ -9,3 +9,2 @@ /**
 import * as RA from "@effect/data/ReadonlyArray"
-import type { ExtractMatch } from "@effect/match/internal/ExtractMatch"
 import type { ParseOptions } from "@effect/schema/AST"
@@ -523,2 +522,4 @@ import * as S from "@effect/schema/Schema"
 // utilities
+type ExtractMatch<I, P> = [P] extends [infer EI] ? Extract<EI, P> & I : never
+
 type PredicateA<A> = Predicate<A> | Refinement<A, A>
@@ -586,7 +587,15 @@
 
-type ValidPattern<P> = P extends SafeSchema<any>
+type ValidPattern<P, Checked = never> = P extends SafeSchema<any>
   ? false
+  : P extends Array<infer R>
+  ? [R] extends [Checked]
+    ? true
+    : ValidPattern<R, Checked | R>
   : P extends Record<string, any>
   ? [
-      { [K in keyof P]: ValidPattern<P[K]> } extends infer R
+      {
+        [K in keyof P]: [P[K]] extends [Checked]
+          ? true
+          : ValidPattern<P[K], Checked | P[K]>
+      } extends infer R
         ? Extract<R[keyof R], false>
@@ -593,0 +602,0 @@ : never,

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Worsened metrics

Total package byte prevSize

101359

decreased by-6.37%

Number of package files

23

decreased by-23.33%

Lines of code

1915

decreased by-4.96%

Dependency changes

• + Added@effect/data@0.10.3(transitive)

• Updated@effect/data@^0.10.2