@effect/match - npm Package Compare versions

Comparing version 0.24.1 to 0.24.2

index.d.ts

@@ -335,3 +335,3 @@ /**
 export declare const exhaustive: <I, F, A, Pr>(self: Matcher<I, F, never, A, Pr>) => [Pr] extends [never] ? (u: I) => Unify<A> : Unify<A>;
-type WhenMatch<R, P> = P extends SafeSchema<infer SP, never> ? SP : P extends Refinement<infer _R, infer RP> ? RP : P extends PredicateA<infer PP> ? PP : ExtractMatch<R, PForMatch<P>>;
+type WhenMatch<R, P> = P extends SafeSchema<infer SP, never> ? SP : P extends Refinement<infer _R, infer RP> ? [Extract<R, RP>] extends [infer X] ? X : never : P extends PredicateA<infer PP> ? PP : ExtractMatch<R, PForMatch<P>>;
 type NotMatch<R, P> = Exclude<R, ExtractMatch<R, PForExclude<P>>>;
@@ -338,0 +338,0 @@ type PForMatch<P> = SafeSchemaP<ResolvePred<P>>;

package.json

 {
   "name": "@effect/match",
-  "version": "0.24.1",
+  "version": "0.24.2",
   "license": "MIT",
@@ -5,0 +5,0 @@ "repository": {

src/index.ts

@@ -731,3 +731,5 @@ /**
   : P extends Refinement<infer _R, infer RP>
-  ? RP
+  ? [Extract<R, RP>] extends [infer X]
+    ? X
+    : never
   : P extends PredicateA<infer PP>
@@ -734,0 +736,0 @@ ? PP

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

Improved metrics

Total package byte prevSize

138472

increased by0.13%

Lines of code

2793

increased by0.07%

No dependency changes