Skip to content

Commit 453eae8

Browse files
mrazauskasmrazauskas
committed
chore: update tstyche to v5.0.0-beta.1
1 parent ec8a769 commit 453eae8

File tree

11 files changed

+79
-80
lines changed

11 files changed

+79
-80
lines changed

‎package.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@
6969
"playwright": "^1.52.0",
7070
"prettier": "^3.5.3",
7171
"rimraf": "^6.0.1",
72-
"tstyche": "^4.1.0",
72+
"tstyche": "^5.0.0-beta.1",
7373
"tsx": "^4.19.4",
7474
"typescript": "^5.8.3",
7575
"vite": "^6.1.1",

‎packages/effect/dtslint/Either.tst.ts‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -220,10 +220,11 @@ describe("Either", () => {
220220
)
221221
).type.toBe<Either.Either<readonly [string, ...Array<string>], "b" | Error>>()
222222

223-
// TODO: this doesn't work but it should
224-
expect.fail(
223+
// @tstyche fixme -- This doesn't work but it should
224+
expect(
225225
Either.filterOrLeft(literal$Error, Predicate.isString, (a) => {
226-
expect.fail(a).type.toBe<"a">()
226+
// @tstyche fixme -- This doesn't work but it should
227+
expect(a).type.toBe<"a">()
227228
return "b" as const
228229
})
229230
).type.toBe<Either.Either<"a", "b" | Error>>()
@@ -237,8 +238,8 @@ describe("Either", () => {
237238
)
238239
).type.toBe<Either.Either<"a", "b" | Error>>()
239240

240-
// TODO: this doesn't work but it should
241-
expect.fail(
241+
// @tstyche fixme -- This doesn't work but it should
242+
expect(
242243
Either.filterOrLeft(literal$Error, Predicate.isString, (_s: string) => "b" as const)
243244
).type.toBe<Either.Either<"a", "b" | Error>>()
244245
expect(

‎packages/effect/dtslint/Exit.tst.ts‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,10 @@ describe("Exit", () => {
1111
if (Exit.exists(stringOrNumber$string, Predicate.isString)) {
1212
expect(stringOrNumber$string).type.toBe<Exit.Exit<string, never>>()
1313
}
14-
// TODO
15-
// if (pipe(stringOrNumber$string, Exit.exists(Predicate.isString))) {
16-
// expect(stringOrNumber$string).type.toBe<Exit.Exit<string, never>>()
17-
// }
14+
if (pipe(stringOrNumber$string, Exit.exists(Predicate.isString))) {
15+
// @tstyche fixme -- This doesn't work but it should
16+
expect(stringOrNumber$string).type.toBe<Exit.Exit<string, never>>()
17+
}
1818
if (Exit.exists(Predicate.isString)(stringOrNumber$string)) {
1919
expect(stringOrNumber$string).type.toBe<Exit.Exit<string, never>>()
2020
}

‎packages/effect/dtslint/HashSet.tst.ts‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,10 @@ describe("HashSet", () => {
1111
if (HashSet.every(numberOrString, Predicate.isString)) {
1212
expect(numberOrString).type.toBe<HashSet.HashSet<string>>()
1313
}
14-
// TODO
15-
// if (pipe(numberOrString, HashSet.every(Predicate.isString))) {
16-
// expect(numberOrString).type.toBe<HashSet.HashSet<string>>()
17-
// }
14+
if (pipe(numberOrString, HashSet.every(Predicate.isString))) {
15+
// @tstyche fixme -- This doesn't work but it should
16+
expect(numberOrString).type.toBe<HashSet.HashSet<string>>()
17+
}
1818
if (HashSet.every(Predicate.isString)(numberOrString)) {
1919
expect(numberOrString).type.toBe<HashSet.HashSet<string>>()
2020
}

‎packages/effect/dtslint/List.tst.ts‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -14,10 +14,10 @@ describe("List", () => {
1414
if (List.every(numberOrString, Predicate.isString)) {
1515
expect(numberOrString).type.toBe<List.List<string>>()
1616
}
17-
// TODO
18-
// if (pipe(numberOrString, List.every(Predicate.isString))) {
19-
// expect(numberOrString).type.toBe<List.List<string>>()
20-
// }
17+
if (pipe(numberOrString, List.every(Predicate.isString))) {
18+
// @tstyche fixme -- This doesn't work but it should
19+
expect(numberOrString).type.toBe<List.List<string>>()
20+
}
2121
if (List.every(Predicate.isString)(numberOrString)) {
2222
expect(numberOrString).type.toBe<List.List<string>>()
2323
}
@@ -41,10 +41,10 @@ describe("List", () => {
4141
if (List.some(numberOrString, Predicate.isString)) {
4242
expect(numberOrString).type.toBe<List.Cons<string | number>>()
4343
}
44-
// TODO
45-
// if (pipe(numberOrString, List.some(Predicate.isString))) {
46-
// expect(numberOrString).type.toBe<List.Cons<string | number>>()
47-
// }
44+
if (pipe(numberOrString, List.some(Predicate.isString))) {
45+
// @tstyche fixme -- This doesn't work but it should
46+
expect(numberOrString).type.toBe<List.Cons<string | number>>()
47+
}
4848
if (List.some(Predicate.isString)(numberOrString)) {
4949
expect(numberOrString).type.toBe<List.Cons<string | number>>()
5050
}

‎packages/effect/dtslint/Match.tst.ts‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -237,23 +237,23 @@ describe("Match", () => {
237237
const match = pipe(
238238
Match.type<Uint8Array | Uint16Array>(),
239239
Match.when(Match.instanceOf(Uint8Array), (v) => {
240-
// @tstyche if { target: [">=5.7"] } -- Before TypeScript 5.7, 'Uint8Array' was not generic
240+
// @tstyche if { target: ">=5.7" } -- Before TypeScript 5.7, 'Uint8Array' was not generic
241241
expect(v).type.toBe<Uint8Array<ArrayBuffer>>()
242-
// @tstyche if { target: ["<5.7"] }
242+
// @tstyche if { target: "<5.7" }
243243
expect(v).type.toBe<Uint8Array>()
244244
return "uint8"
245245
}),
246246
Match.when(Match.instanceOf(Uint16Array), (v) => {
247-
// @tstyche if { target: [">=5.7"] } -- Before TypeScript 5.7, 'Uint16Array' was not generic
247+
// @tstyche if { target: ">=5.7" } -- Before TypeScript 5.7, 'Uint16Array' was not generic
248248
expect(v).type.toBe<Uint16Array<ArrayBuffer>>()
249-
// @tstyche if { target: ["<5.7"] }
249+
// @tstyche if { target: "<5.7" }
250250
expect(v).type.toBe<Uint16Array>()
251251
return "uint16"
252252
}),
253253
Match.orElse((v) => {
254-
// @tstyche if { target: [">=5.7"] } -- Before TypeScript 5.7, 'Uint8Array' and 'Uint16Array' were not generic
254+
// @tstyche if { target: ">=5.7" } -- Before TypeScript 5.7, 'Uint8Array' and 'Uint16Array' were not generic
255255
expect(v).type.toBe<Uint8Array<ArrayBufferLike> | Uint16Array<ArrayBufferLike>>()
256-
// @tstyche if { target: ["<5.7"] }
256+
// @tstyche if { target: "<5.7" }
257257
expect(v).type.toBe<Uint8Array | Uint16Array>()
258258
return "a"
259259
})

‎packages/effect/dtslint/Number.tst.ts‎

Lines changed: 40 additions & 40 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ describe("Number", () => {
1919
const numOrString: number | string = 123
2020
if (Number.isNumber(numOrString)) {
2121
expect(numOrString).type.toBe<number>()
22-
expect(numOrString).type.not.toBeAssignableWith<string>()
22+
expect(numOrString).type.not.toBeAssignableFrom<string>()
2323
}
2424
})
2525

@@ -29,8 +29,8 @@ describe("Number", () => {
2929
type DataFirst = typeof Number.sum
3030

3131
// test the input type
32-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
33-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
32+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
33+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
3434

3535
// test the output type
3636
expect(Number.sum(a, b)).type.toBe<number>()
@@ -43,8 +43,8 @@ describe("Number", () => {
4343
type DataFirst = typeof Number.subtract
4444

4545
// test the input type
46-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
47-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
46+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
47+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
4848

4949
// test the output type
5050
expect(Number.subtract(a, b)).type.toBe<number>()
@@ -57,9 +57,9 @@ describe("Number", () => {
5757
type DataFirst = typeof Number.multiply
5858

5959
// test the input type
60-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
60+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
6161

62-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
62+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
6363

6464
// test the output type
6565
expect(Number.multiply(a, b)).type.toBe<number>()
@@ -72,9 +72,9 @@ describe("Number", () => {
7272
type DataFirst = typeof Number.divide
7373

7474
// test the input type
75-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
75+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
7676

77-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
77+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
7878

7979
// test the output type
8080
expect(Number.divide(a, b)).type.toBe<Option.Option<number>>()
@@ -87,9 +87,9 @@ describe("Number", () => {
8787
type DataFirst = typeof Number.unsafeDivide
8888

8989
// test the input type
90-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
90+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
9191

92-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
92+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
9393

9494
// test the output type
9595
expect(Number.unsafeDivide(a, b)).type.toBe<number>()
@@ -100,7 +100,7 @@ describe("Number", () => {
100100
type DataFirst = typeof Number.increment
101101

102102
// test the input type
103-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number]>()
103+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number]>()
104104

105105
// test the output type
106106
expect(Number.increment(a)).type.toBe<number>()
@@ -111,7 +111,7 @@ describe("Number", () => {
111111
type DataFirst = typeof Number.decrement
112112

113113
// test the input type
114-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number]>()
114+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number]>()
115115

116116
// test the output type
117117
expect(Number.decrement(a)).type.toBe<number>()
@@ -122,7 +122,7 @@ describe("Number", () => {
122122
type DataFirst = typeof Number.Equivalence
123123

124124
// test the input type
125-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
125+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
126126

127127
// test the output type
128128
expect(Number.Equivalence(a, b)).type.toBe<boolean>()
@@ -132,7 +132,7 @@ describe("Number", () => {
132132
type DataFirst = typeof Number.Order
133133

134134
// test the input type
135-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
135+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
136136

137137
// test the output type
138138
expect(Number.Order(a, b)).type.toBe<-1 | 0 | 1>()
@@ -144,8 +144,8 @@ describe("Number", () => {
144144
type DataFirst = typeof Number.lessThan
145145

146146
// test the input type
147-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
148-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
147+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
148+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
149149

150150
// test the output type
151151
expect(Number.lessThan(a, b)).type.toBe<boolean>()
@@ -158,9 +158,9 @@ describe("Number", () => {
158158
type DataFirst = typeof Number.lessThanOrEqualTo
159159

160160
// test the input type
161-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
161+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
162162

163-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
163+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
164164

165165
// test the output type
166166
expect(Number.lessThanOrEqualTo(a, b)).type.toBe<boolean>()
@@ -173,9 +173,9 @@ describe("Number", () => {
173173
type DataFirst = typeof Number.greaterThan
174174

175175
// test the input type
176-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
176+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
177177

178-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
178+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
179179

180180
// test the output type
181181
expect(Number.greaterThan(a, b)).type.toBe<boolean>()
@@ -188,9 +188,9 @@ describe("Number", () => {
188188
type DataFirst = typeof Number.greaterThanOrEqualTo
189189

190190
// test the input type
191-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
191+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
192192

193-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
193+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
194194

195195
// test the output type
196196
expect(Number.greaterThanOrEqualTo(a, b)).type.toBe<boolean>()
@@ -205,11 +205,11 @@ describe("Number", () => {
205205
type DataFirst = typeof Number.between
206206

207207
// test the input type
208-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<
208+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<
209209
[number, { minimum: number; maximum: number }]
210210
>()
211211

212-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
212+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
213213

214214
// test the output type
215215
expect(Number.between(a, options)).type.toBe<boolean>()
@@ -224,11 +224,11 @@ describe("Number", () => {
224224
type DataFirst = typeof Number.clamp
225225

226226
// test the input type
227-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<
227+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<
228228
[number, { minimum: number; maximum: number }]
229229
>()
230230

231-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
231+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
232232

233233
// test the output type
234234
expect(Number.clamp(a, options)).type.toBe<number>()
@@ -241,9 +241,9 @@ describe("Number", () => {
241241
type DataFirst = typeof Number.min
242242

243243
// test the input type
244-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
244+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
245245

246-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
246+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
247247

248248
// test the output type
249249
expect(Number.min(a, b)).type.toBe<number>()
@@ -256,9 +256,9 @@ describe("Number", () => {
256256
type DataFirst = typeof Number.max
257257

258258
// test the input type
259-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
259+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
260260

261-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
261+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
262262

263263
// test the output type
264264
expect(Number.max(a, b)).type.toBe<number>()
@@ -269,7 +269,7 @@ describe("Number", () => {
269269
type DataFirst = typeof Number.sign
270270

271271
// test the input type
272-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number]>()
272+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number]>()
273273

274274
// test the output type
275275
expect(Number.sign(a)).type.toBe<-1 | 0 | 1>()
@@ -279,7 +279,7 @@ describe("Number", () => {
279279
type DataFirst = typeof Number.sumAll
280280

281281
// test the input type
282-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<
282+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<
283283
[Iterable<number>]
284284
>()
285285

@@ -292,7 +292,7 @@ describe("Number", () => {
292292
type DataFirst = typeof Number.multiplyAll
293293

294294
// test the input type
295-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<
295+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<
296296
[Iterable<number>]
297297
>()
298298

@@ -309,9 +309,9 @@ describe("Number", () => {
309309
type DataFirst = typeof Number.remainder
310310

311311
// test the input type
312-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
312+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
313313

314-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
314+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
315315

316316
// test the output type
317317
expect(Number.remainder(a, b)).type.toBe<number>()
@@ -322,7 +322,7 @@ describe("Number", () => {
322322
type DataFirst = typeof Number.nextPow2
323323

324324
// test the input type
325-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number]>()
325+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number]>()
326326

327327
// test the output type
328328
expect(Number.nextPow2(a)).type.toBe<number>()
@@ -332,7 +332,7 @@ describe("Number", () => {
332332
type DataFirst = typeof Number.parse
333333

334334
// test the input type
335-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[string]>()
335+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[string]>()
336336

337337
// test the output type
338338
expect(Number.parse("123")).type.toBe<Option.Option<number>>()
@@ -344,9 +344,9 @@ describe("Number", () => {
344344
type DataFirst = typeof Number.round
345345

346346
// test the input type
347-
expect<Parameters<DataFirst>>().type.toBeAssignableWith<[number, number]>()
347+
expect<Parameters<DataFirst>>().type.toBeAssignableFrom<[number, number]>()
348348

349-
expect<Parameters<DataLast>>().type.toBeAssignableWith<[number]>()
349+
expect<Parameters<DataLast>>().type.toBeAssignableFrom<[number]>()
350350

351351
// test the output type
352352
expect(Number.round(a, 2)).type.toBe<number>()

0 commit comments

Comments
 (0)