ensure isTupleOf works with ReadonlyArray (#2883)

Effect-TS · Jun 6, 2024 · 64565db · 64565db
1 parent 67f160a
commit 64565db
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 13 deletions.
diff --git a/packages/effect/dtslint/Predicate.ts b/packages/effect/dtslint/Predicate.ts
@@ -2,11 +2,11 @@ import { pipe } from "effect/Function"
 import * as Predicate from "effect/Predicate"
 
 declare const u: unknown
-declare const anys: Array<any>
-declare const unknowns: Array<unknown>
-declare const numberOrNull: Array<number | null>
-declare const numberOrUndefined: Array<number | undefined>
-declare const numberOrNullOrUndefined: Array<number | null | undefined>
+declare const anys: ReadonlyArray<any>
+declare const unknowns: ReadonlyArray<unknown>
+declare const numberOrNull: ReadonlyArray<number | null>
+declare const numberOrUndefined: ReadonlyArray<number | undefined>
+declare const numberOrNullOrUndefined: ReadonlyArray<number | null | undefined>
 
 // -------------------------------------------------------------------------------------
 // isString
@@ -180,7 +180,7 @@ unknowns.filter(Predicate.isReadonlyRecord)
 // isTupleOf
 // -------------------------------------------------------------------------------------
 
-if (Predicate.isTupleOf(3)(unknowns)) {
+if (Predicate.isTupleOf(unknowns, 3)) {
   // $ExpectType [unknown, unknown, unknown]
   unknowns
 }
@@ -189,7 +189,7 @@ if (Predicate.isTupleOf(3)(unknowns)) {
 // isTupleOfAtLeast
 // -------------------------------------------------------------------------------------
 
-if (Predicate.isTupleOfAtLeast(3)(unknowns)) {
+if (Predicate.isTupleOfAtLeast(unknowns, 3)) {
   // $ExpectType [unknown, unknown, unknown, ...unknown[]]
   unknowns
 }

diff --git a/packages/effect/src/Predicate.ts b/packages/effect/src/Predicate.ts
@@ -78,9 +78,9 @@ export const mapInput: {
  * @since 3.3.0
  */
 export const isTupleOf: {
-  <N extends number>(n: N): <T>(self: Array<T>) => self is TupleOf<N, T>
-  <T, N extends number>(self: Array<T>, n: N): self is TupleOf<N, T>
-} = dual(2, <T, N extends number>(self: Array<T>, n: N): self is TupleOf<N, T> => self.length === n)
+  <N extends number>(n: N): <T>(self: ReadonlyArray<T>) => self is TupleOf<N, T>
+  <T, N extends number>(self: ReadonlyArray<T>, n: N): self is TupleOf<N, T>
+} = dual(2, <T, N extends number>(self: ReadonlyArray<T>, n: N): self is TupleOf<N, T> => self.length === n)
 
 /**
  * Determine if an `Array` is a tuple with at least `N` elements, narrowing down the type to `TupleOfAtLeast`.
@@ -107,9 +107,9 @@ export const isTupleOf: {
  * @since 3.3.0
  */
 export const isTupleOfAtLeast: {
-  <N extends number>(n: N): <T>(self: Array<T>) => self is TupleOfAtLeast<N, T>
-  <T, N extends number>(self: Array<T>, n: N): self is TupleOfAtLeast<N, T>
-} = dual(2, <T, N extends number>(self: Array<T>, n: N): self is TupleOfAtLeast<N, T> => self.length >= n)
+  <N extends number>(n: N): <T>(self: ReadonlyArray<T>) => self is TupleOfAtLeast<N, T>
+  <T, N extends number>(self: ReadonlyArray<T>, n: N): self is TupleOfAtLeast<N, T>
+} = dual(2, <T, N extends number>(self: ReadonlyArray<T>, n: N): self is TupleOfAtLeast<N, T> => self.length >= n)
 
 /**
  * Tests if a value is `truthy`.