@deessejs/type-testing 0.1.0 → 0.1.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +12 -0
- package/README.md +1 -0
- package/dist/api/assert.d.ts.map +1 -1
- package/dist/api/assert.js.map +1 -1
- package/dist/api/check.d.ts.map +1 -1
- package/dist/api/check.js.map +1 -1
- package/dist/api/expect.d.ts.map +1 -1
- package/dist/api/expect.js.map +1 -1
- package/dist/utils.d.ts.map +1 -1
- package/package.json +1 -1
- package/.eslintrc.json +0 -7
- package/.turbo/turbo-lint.log +0 -24
- package/.turbo/turbo-test.log +0 -23
- package/.turbo/turbo-typecheck.log +0 -4
- package/coverage/base.css +0 -224
- package/coverage/block-navigation.js +0 -87
- package/coverage/coverage-final.json +0 -15
- package/coverage/favicon.png +0 -0
- package/coverage/index.html +0 -146
- package/coverage/prettify.css +0 -1
- package/coverage/prettify.js +0 -2
- package/coverage/sort-arrow-sprite.png +0 -0
- package/coverage/sorter.js +0 -210
- package/coverage/src/api/assert.ts.html +0 -229
- package/coverage/src/api/check.ts.html +0 -586
- package/coverage/src/api/expect.ts.html +0 -220
- package/coverage/src/api/index.html +0 -161
- package/coverage/src/api/index.ts.html +0 -106
- package/coverage/src/index.html +0 -131
- package/coverage/src/index.ts.html +0 -127
- package/coverage/src/types/equality.ts.html +0 -190
- package/coverage/src/types/function.ts.html +0 -139
- package/coverage/src/types/index.html +0 -221
- package/coverage/src/types/index.ts.html +0 -121
- package/coverage/src/types/inhabitation.ts.html +0 -160
- package/coverage/src/types/length.ts.html +0 -109
- package/coverage/src/types/property.ts.html +0 -124
- package/coverage/src/types/special.ts.html +0 -274
- package/coverage/src/types/union.ts.html +0 -193
- package/coverage/src/utils.ts.html +0 -136
- package/src/api/assert.ts +0 -48
- package/src/api/check.ts +0 -167
- package/src/api/expect.ts +0 -45
- package/src/api/index.ts +0 -7
- package/src/index.ts +0 -14
- package/src/types/equality.ts +0 -35
- package/src/types/function.ts +0 -18
- package/src/types/index.ts +0 -12
- package/src/types/inhabitation.ts +0 -25
- package/src/types/length.ts +0 -8
- package/src/types/property.ts +0 -13
- package/src/types/special.ts +0 -63
- package/src/types/union.ts +0 -36
- package/src/utils.ts +0 -17
- package/tests/api.test.ts +0 -40
- package/tests/equality.test.ts +0 -57
- package/tests/function.test.ts +0 -32
- package/tests/inhabitation.test.ts +0 -40
- package/tests/length.test.ts +0 -18
- package/tests/property.test.ts +0 -35
- package/tests/special.test.ts +0 -132
- package/tests/union.test.ts +0 -58
- package/tests/utils.test.ts +0 -20
- package/tsconfig.tsbuildinfo +0 -1
package/tests/api.test.ts
DELETED
|
@@ -1,40 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* API tests.
|
|
3
|
-
*
|
|
4
|
-
* These tests verify that the type-checking APIs compile correctly.
|
|
5
|
-
* The actual type tests are done at compile time.
|
|
6
|
-
*/
|
|
7
|
-
|
|
8
|
-
import { describe, it, expect } from 'vitest'
|
|
9
|
-
import { check, assert, expect as expectFn, expectFalse } from '../src'
|
|
10
|
-
|
|
11
|
-
describe('check() API', () => {
|
|
12
|
-
it('should create check interface', () => {
|
|
13
|
-
const c = check<string>()
|
|
14
|
-
// Functions return undefined at runtime, but types are checked at compile time
|
|
15
|
-
expect(c).toBeUndefined()
|
|
16
|
-
})
|
|
17
|
-
})
|
|
18
|
-
|
|
19
|
-
describe('assert() API', () => {
|
|
20
|
-
it('should create assert interface', () => {
|
|
21
|
-
const a = assert<string>()
|
|
22
|
-
expect(a).toBeUndefined()
|
|
23
|
-
})
|
|
24
|
-
})
|
|
25
|
-
|
|
26
|
-
describe('expect() API', () => {
|
|
27
|
-
it('should create expect interface', () => {
|
|
28
|
-
const e = expectFn<string, string>()
|
|
29
|
-
expect(e).toBeUndefined()
|
|
30
|
-
})
|
|
31
|
-
})
|
|
32
|
-
|
|
33
|
-
describe('expectFalse', () => {
|
|
34
|
-
it('should compile for false', () => {
|
|
35
|
-
// If this compiles, expectFalse works at compile time
|
|
36
|
-
expectFalse<false>()
|
|
37
|
-
// Function returns void at runtime
|
|
38
|
-
expect(expectFalse<false>()).toBeUndefined()
|
|
39
|
-
})
|
|
40
|
-
})
|
package/tests/equality.test.ts
DELETED
|
@@ -1,57 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Type equality tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { Equal, NotEqual, SimpleEqual } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('Equal', () => {
|
|
9
|
-
it('should detect equal types', () => {
|
|
10
|
-
type Test = Equal<string, string>
|
|
11
|
-
const _test: Test = true
|
|
12
|
-
})
|
|
13
|
-
|
|
14
|
-
it('should detect unequal types', () => {
|
|
15
|
-
type Test = Equal<string, number>
|
|
16
|
-
const _test: Test = false
|
|
17
|
-
})
|
|
18
|
-
|
|
19
|
-
it('should handle any', () => {
|
|
20
|
-
type Test = Equal<any, any>
|
|
21
|
-
const _test: Test = true
|
|
22
|
-
})
|
|
23
|
-
|
|
24
|
-
it('should handle never', () => {
|
|
25
|
-
type Test = Equal<never, never>
|
|
26
|
-
const _test: Test = true
|
|
27
|
-
})
|
|
28
|
-
|
|
29
|
-
it('should handle object types', () => {
|
|
30
|
-
type Test = Equal<{ a: string }, { a: string }>
|
|
31
|
-
const _test: Test = true
|
|
32
|
-
})
|
|
33
|
-
})
|
|
34
|
-
|
|
35
|
-
describe('NotEqual', () => {
|
|
36
|
-
it('should detect unequal types', () => {
|
|
37
|
-
type Test = NotEqual<string, number>
|
|
38
|
-
const _test: Test = true
|
|
39
|
-
})
|
|
40
|
-
|
|
41
|
-
it('should detect equal types', () => {
|
|
42
|
-
type Test = NotEqual<string, string>
|
|
43
|
-
const _test: Test = false
|
|
44
|
-
})
|
|
45
|
-
})
|
|
46
|
-
|
|
47
|
-
describe('SimpleEqual', () => {
|
|
48
|
-
it('should detect equal types', () => {
|
|
49
|
-
type Test = SimpleEqual<string, string>
|
|
50
|
-
const _test: Test = true
|
|
51
|
-
})
|
|
52
|
-
|
|
53
|
-
it('should detect unequal types', () => {
|
|
54
|
-
type Test = SimpleEqual<string, number>
|
|
55
|
-
const _test: Test = false
|
|
56
|
-
})
|
|
57
|
-
})
|
package/tests/function.test.ts
DELETED
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Function type tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { Parameters, ReturnType, Parameter } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('Parameters', () => {
|
|
9
|
-
it('should get function parameters', () => {
|
|
10
|
-
type Test = Parameters<(a: string, b: number) => void>
|
|
11
|
-
const _test: Test = ['hello', 42]
|
|
12
|
-
})
|
|
13
|
-
})
|
|
14
|
-
|
|
15
|
-
describe('ReturnType', () => {
|
|
16
|
-
it('should get function return type', () => {
|
|
17
|
-
type Test = ReturnType<(a: string) => number>
|
|
18
|
-
const _test: Test = 42
|
|
19
|
-
})
|
|
20
|
-
})
|
|
21
|
-
|
|
22
|
-
describe('Parameter', () => {
|
|
23
|
-
it('should get parameter at index 0', () => {
|
|
24
|
-
type Test = Parameter<(a: string, b: number) => void, 0>
|
|
25
|
-
const _test: Test = 'hello'
|
|
26
|
-
})
|
|
27
|
-
|
|
28
|
-
it('should get parameter at index 1', () => {
|
|
29
|
-
type Test = Parameter<(a: string, b: number) => void, 1>
|
|
30
|
-
const _test: Test = 42
|
|
31
|
-
})
|
|
32
|
-
})
|
|
@@ -1,40 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Type inhabitation tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { IsInhabited, IsUninhabited } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('IsInhabited', () => {
|
|
9
|
-
it('should detect inhabited types', () => {
|
|
10
|
-
type Test = IsInhabited<string>
|
|
11
|
-
const _test: Test = true
|
|
12
|
-
})
|
|
13
|
-
|
|
14
|
-
it('should detect object types as inhabited', () => {
|
|
15
|
-
type Test = IsInhabited<{ a: string }>
|
|
16
|
-
const _test: Test = true
|
|
17
|
-
})
|
|
18
|
-
|
|
19
|
-
it('should not detect never as inhabited', () => {
|
|
20
|
-
type Test = IsInhabited<never>
|
|
21
|
-
const _test: Test = false
|
|
22
|
-
})
|
|
23
|
-
})
|
|
24
|
-
|
|
25
|
-
describe('IsUninhabited', () => {
|
|
26
|
-
it('should detect uninhabited types', () => {
|
|
27
|
-
type Test = IsUninhabited<never>
|
|
28
|
-
const _test: Test = true
|
|
29
|
-
})
|
|
30
|
-
|
|
31
|
-
it('should not detect string as uninhabited', () => {
|
|
32
|
-
type Test = IsUninhabited<string>
|
|
33
|
-
const _test: Test = false
|
|
34
|
-
})
|
|
35
|
-
|
|
36
|
-
it('should not detect any as uninhabited', () => {
|
|
37
|
-
type Test = IsUninhabited<any>
|
|
38
|
-
const _test: Test = false
|
|
39
|
-
})
|
|
40
|
-
})
|
package/tests/length.test.ts
DELETED
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Length utility tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { Length } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('Length', () => {
|
|
9
|
-
it('should get array length', () => {
|
|
10
|
-
type Test = Length<['a', 'b', 'c']>
|
|
11
|
-
const _test: Test = 3
|
|
12
|
-
})
|
|
13
|
-
|
|
14
|
-
it('should get empty array length', () => {
|
|
15
|
-
type Test = Length<[]>
|
|
16
|
-
const _test: Test = 0
|
|
17
|
-
})
|
|
18
|
-
})
|
package/tests/property.test.ts
DELETED
|
@@ -1,35 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Property testing tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { HasProperty, PropertyType } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('HasProperty', () => {
|
|
9
|
-
it('should detect existing property', () => {
|
|
10
|
-
type Test = HasProperty<{ a: string }, 'a'>
|
|
11
|
-
const _test: Test = true
|
|
12
|
-
})
|
|
13
|
-
|
|
14
|
-
it('should detect multiple properties', () => {
|
|
15
|
-
type Test = HasProperty<{ a: string; b: number }, 'b'>
|
|
16
|
-
const _test: Test = true
|
|
17
|
-
})
|
|
18
|
-
|
|
19
|
-
it('should not detect missing property', () => {
|
|
20
|
-
type Test = HasProperty<{ a: string }, 'b'>
|
|
21
|
-
const _test: Test = false
|
|
22
|
-
})
|
|
23
|
-
|
|
24
|
-
it('should work with optional properties', () => {
|
|
25
|
-
type Test = HasProperty<{ a?: string }, 'a'>
|
|
26
|
-
const _test: Test = true
|
|
27
|
-
})
|
|
28
|
-
})
|
|
29
|
-
|
|
30
|
-
describe('PropertyType', () => {
|
|
31
|
-
it('should get property type', () => {
|
|
32
|
-
type Test = PropertyType<{ a: string }, 'a'>
|
|
33
|
-
const _test: Test = 'hello'
|
|
34
|
-
})
|
|
35
|
-
})
|
package/tests/special.test.ts
DELETED
|
@@ -1,132 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Special type detection tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { IsAny, IsNever, IsUnknown, IsVoid, IsUndefined, IsNull, IsNullable, IsOptional } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('IsAny', () => {
|
|
9
|
-
it('should detect any', () => {
|
|
10
|
-
type Test = IsAny<any>
|
|
11
|
-
const _test: Test = true
|
|
12
|
-
})
|
|
13
|
-
|
|
14
|
-
it('should not detect string as any', () => {
|
|
15
|
-
type Test = IsAny<string>
|
|
16
|
-
const _test: Test = false
|
|
17
|
-
})
|
|
18
|
-
|
|
19
|
-
it('should not detect never as any', () => {
|
|
20
|
-
type Test = IsAny<never>
|
|
21
|
-
const _test: Test = false
|
|
22
|
-
})
|
|
23
|
-
|
|
24
|
-
it('should not detect unknown as any', () => {
|
|
25
|
-
type Test = IsAny<unknown>
|
|
26
|
-
const _test: Test = false
|
|
27
|
-
})
|
|
28
|
-
})
|
|
29
|
-
|
|
30
|
-
describe('IsNever', () => {
|
|
31
|
-
it('should detect never', () => {
|
|
32
|
-
type Test = IsNever<never>
|
|
33
|
-
const _test: Test = true
|
|
34
|
-
})
|
|
35
|
-
|
|
36
|
-
it('should not detect string as never', () => {
|
|
37
|
-
type Test = IsNever<string>
|
|
38
|
-
const _test: Test = false
|
|
39
|
-
})
|
|
40
|
-
|
|
41
|
-
it('should not detect any as never', () => {
|
|
42
|
-
type Test = IsNever<any>
|
|
43
|
-
const _test: Test = false
|
|
44
|
-
})
|
|
45
|
-
})
|
|
46
|
-
|
|
47
|
-
describe('IsUnknown', () => {
|
|
48
|
-
it('should detect unknown', () => {
|
|
49
|
-
type Test = IsUnknown<unknown>
|
|
50
|
-
const _test: Test = true
|
|
51
|
-
})
|
|
52
|
-
|
|
53
|
-
it('should not detect string as unknown', () => {
|
|
54
|
-
type Test = IsUnknown<string>
|
|
55
|
-
const _test: Test = false
|
|
56
|
-
})
|
|
57
|
-
})
|
|
58
|
-
|
|
59
|
-
describe('IsVoid', () => {
|
|
60
|
-
it('should detect void', () => {
|
|
61
|
-
type Test = IsVoid<void>
|
|
62
|
-
const _test: Test = true
|
|
63
|
-
})
|
|
64
|
-
|
|
65
|
-
it('should not detect string as void', () => {
|
|
66
|
-
type Test = IsVoid<string>
|
|
67
|
-
const _test: Test = false
|
|
68
|
-
})
|
|
69
|
-
})
|
|
70
|
-
|
|
71
|
-
describe('IsUndefined', () => {
|
|
72
|
-
it('should detect undefined', () => {
|
|
73
|
-
type Test = IsUndefined<undefined>
|
|
74
|
-
const _test: Test = true
|
|
75
|
-
})
|
|
76
|
-
|
|
77
|
-
it('should not detect string as undefined', () => {
|
|
78
|
-
type Test = IsUndefined<string>
|
|
79
|
-
const _test: Test = false
|
|
80
|
-
})
|
|
81
|
-
})
|
|
82
|
-
|
|
83
|
-
describe('IsNull', () => {
|
|
84
|
-
it('should detect null', () => {
|
|
85
|
-
type Test = IsNull<null>
|
|
86
|
-
const _test: Test = true
|
|
87
|
-
})
|
|
88
|
-
|
|
89
|
-
it('should not detect string as null', () => {
|
|
90
|
-
type Test = IsNull<string>
|
|
91
|
-
const _test: Test = false
|
|
92
|
-
})
|
|
93
|
-
})
|
|
94
|
-
|
|
95
|
-
describe('IsNullable', () => {
|
|
96
|
-
it('should detect nullable types with null', () => {
|
|
97
|
-
type Test = IsNullable<string | null>
|
|
98
|
-
const _test: Test = true
|
|
99
|
-
})
|
|
100
|
-
|
|
101
|
-
it('should detect nullable types with undefined', () => {
|
|
102
|
-
type Test = IsNullable<string | undefined>
|
|
103
|
-
const _test: Test = true
|
|
104
|
-
})
|
|
105
|
-
|
|
106
|
-
it('should detect fully nullable', () => {
|
|
107
|
-
type Test = IsNullable<string | null | undefined>
|
|
108
|
-
const _test: Test = true
|
|
109
|
-
})
|
|
110
|
-
|
|
111
|
-
it('should not detect non-nullable', () => {
|
|
112
|
-
type Test = IsNullable<string>
|
|
113
|
-
const _test: Test = false
|
|
114
|
-
})
|
|
115
|
-
|
|
116
|
-
it('should detect null as nullable', () => {
|
|
117
|
-
type Test = IsNullable<null>
|
|
118
|
-
const _test: Test = true
|
|
119
|
-
})
|
|
120
|
-
})
|
|
121
|
-
|
|
122
|
-
describe('IsOptional', () => {
|
|
123
|
-
it('should detect optional types', () => {
|
|
124
|
-
type Test = IsOptional<string | undefined>
|
|
125
|
-
const _test: Test = true
|
|
126
|
-
})
|
|
127
|
-
|
|
128
|
-
it('should detect required types as not optional', () => {
|
|
129
|
-
type Test = IsOptional<string>
|
|
130
|
-
const _test: Test = false
|
|
131
|
-
})
|
|
132
|
-
})
|
package/tests/union.test.ts
DELETED
|
@@ -1,58 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Union and tuple detection tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { IsUnion, IsTuple, IsArray } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('IsUnion', () => {
|
|
9
|
-
it('should detect unions', () => {
|
|
10
|
-
type Test = IsUnion<'a' | 'b'>
|
|
11
|
-
const _test: Test = true
|
|
12
|
-
})
|
|
13
|
-
|
|
14
|
-
it('should detect union with never', () => {
|
|
15
|
-
// Note: string | never simplifies to string in TypeScript (never is bottom type)
|
|
16
|
-
type Test = IsUnion<string | never>
|
|
17
|
-
const _test: Test = false
|
|
18
|
-
})
|
|
19
|
-
|
|
20
|
-
it('should not detect single type as union', () => {
|
|
21
|
-
type Test = IsUnion<'a'>
|
|
22
|
-
const _test: Test = false
|
|
23
|
-
})
|
|
24
|
-
|
|
25
|
-
it('should not detect primitives as union', () => {
|
|
26
|
-
type Test = IsUnion<string>
|
|
27
|
-
const _test: Test = false
|
|
28
|
-
})
|
|
29
|
-
})
|
|
30
|
-
|
|
31
|
-
describe('IsTuple', () => {
|
|
32
|
-
it('should detect tuples', () => {
|
|
33
|
-
type Test = IsTuple<[string, number]>
|
|
34
|
-
const _test: Test = true
|
|
35
|
-
})
|
|
36
|
-
|
|
37
|
-
it('should detect empty tuple', () => {
|
|
38
|
-
type Test = IsTuple<[]>
|
|
39
|
-
const _test: Test = true
|
|
40
|
-
})
|
|
41
|
-
|
|
42
|
-
it('should not detect arrays as tuples', () => {
|
|
43
|
-
type Test = IsTuple<string[]>
|
|
44
|
-
const _test: Test = false
|
|
45
|
-
})
|
|
46
|
-
})
|
|
47
|
-
|
|
48
|
-
describe('IsArray', () => {
|
|
49
|
-
it('should detect arrays', () => {
|
|
50
|
-
type Test = IsArray<string[]>
|
|
51
|
-
const _test: Test = true
|
|
52
|
-
})
|
|
53
|
-
|
|
54
|
-
it('should not detect tuples as arrays', () => {
|
|
55
|
-
type Test = IsArray<[string]>
|
|
56
|
-
const _test: Test = false
|
|
57
|
-
})
|
|
58
|
-
})
|
package/tests/utils.test.ts
DELETED
|
@@ -1,20 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Utility tests.
|
|
3
|
-
*/
|
|
4
|
-
|
|
5
|
-
import { describe, it } from 'vitest'
|
|
6
|
-
import { ExpectTrue, ExpectEqual } from '../src'
|
|
7
|
-
|
|
8
|
-
describe('ExpectTrue', () => {
|
|
9
|
-
it('should pass for true', () => {
|
|
10
|
-
type Test = ExpectTrue<true>
|
|
11
|
-
const _test: Test = true
|
|
12
|
-
})
|
|
13
|
-
})
|
|
14
|
-
|
|
15
|
-
describe('ExpectEqual', () => {
|
|
16
|
-
it('should work with equal types', () => {
|
|
17
|
-
type Test = ExpectEqual<string, string>
|
|
18
|
-
const _test: string = {} as Test
|
|
19
|
-
})
|
|
20
|
-
})
|
package/tsconfig.tsbuildinfo
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"fileNames":["../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es5.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2016.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2018.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2019.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2021.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.core.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.collection.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.generator.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.iterable.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.promise.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.proxy.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.reflect.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.symbol.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2015.symbol.wellknown.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2016.array.include.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2016.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.arraybuffer.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.date.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.object.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.sharedmemory.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.string.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2017.typedarrays.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2018.asyncgenerator.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2018.asynciterable.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2018.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2018.promise.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2018.regexp.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2019.array.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2019.object.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2019.string.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2019.symbol.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2019.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.bigint.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.date.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.promise.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.sharedmemory.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.string.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.symbol.wellknown.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2020.number.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2021.promise.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2021.string.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2021.weakref.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2021.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.array.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.error.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.intl.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.object.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.string.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.es2022.regexp.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.decorators.d.ts","../../node_modules/.pnpm/typescript@5.9.3/node_modules/typescript/lib/lib.decorators.legacy.d.ts","./src/types/equality.ts","./src/types/special.ts","./src/types/union.ts","./src/types/inhabitation.ts","./src/types/property.ts","./src/types/function.ts","./src/types/length.ts","./src/types/index.ts","./src/api/check.ts","./src/api/assert.ts","./src/api/expect.ts","./src/api/index.ts","./src/utils.ts","./src/index.ts"],"fileIdsList":[[58,59,60,61,62,66],[58,59,60,61,62,63,64],[58],[66,67,68],[65,69,70]],"fileInfos":[{"version":"c430d44666289dae81f30fa7b2edebf186ecc91a2d4c71266ea6ae76388792e1","affectsGlobalScope":true,"impliedFormat":1},{"version":"45b7ab580deca34ae9729e97c13cfd999df04416a79116c3bfb483804f85ded4","impliedFormat":1},{"version":"3facaf05f0c5fc569c5649dd359892c98a85557e3e0c847964caeb67076f4d75","impliedFormat":1},{"version":"e44bb8bbac7f10ecc786703fe0a6a4b952189f908707980ba8f3c8975a760962","impliedFormat":1},{"version":"5e1c4c362065a6b95ff952c0eab010f04dcd2c3494e813b493ecfd4fcb9fc0d8","impliedFormat":1},{"version":"68d73b4a11549f9c0b7d352d10e91e5dca8faa3322bfb77b661839c42b1ddec7","impliedFormat":1},{"version":"5efce4fc3c29ea84e8928f97adec086e3dc876365e0982cc8479a07954a3efd4","impliedFormat":1},{"version":"feecb1be483ed332fad555aff858affd90a48ab19ba7272ee084704eb7167569","impliedFormat":1},{"version":"ee7bad0c15b58988daa84371e0b89d313b762ab83cb5b31b8a2d1162e8eb41c2","impliedFormat":1},{"version":"c57796738e7f83dbc4b8e65132f11a377649c00dd3eee333f672b8f0a6bea671","affectsGlobalScope":true,"impliedFormat":1},{"version":"dc2df20b1bcdc8c2d34af4926e2c3ab15ffe1160a63e58b7e09833f616efff44","affectsGlobalScope":true,"impliedFormat":1},{"version":"515d0b7b9bea2e31ea4ec968e9edd2c39d3eebf4a2d5cbd04e88639819ae3b71","affectsGlobalScope":true,"impliedFormat":1},{"version":"0559b1f683ac7505ae451f9a96ce4c3c92bdc71411651ca6ddb0e88baaaad6a3","affectsGlobalScope":true,"impliedFormat":1},{"version":"0dc1e7ceda9b8b9b455c3a2d67b0412feab00bd2f66656cd8850e8831b08b537","affectsGlobalScope":true,"impliedFormat":1},{"version":"ce691fb9e5c64efb9547083e4a34091bcbe5bdb41027e310ebba8f7d96a98671","affectsGlobalScope":true,"impliedFormat":1},{"version":"8d697a2a929a5fcb38b7a65594020fcef05ec1630804a33748829c5ff53640d0","affectsGlobalScope":true,"impliedFormat":1},{"version":"4ff2a353abf8a80ee399af572debb8faab2d33ad38c4b4474cff7f26e7653b8d","affectsGlobalScope":true,"impliedFormat":1},{"version":"fb0f136d372979348d59b3f5020b4cdb81b5504192b1cacff5d1fbba29378aa1","affectsGlobalScope":true,"impliedFormat":1},{"version":"d15bea3d62cbbdb9797079416b8ac375ae99162a7fba5de2c6c505446486ac0a","affectsGlobalScope":true,"impliedFormat":1},{"version":"68d18b664c9d32a7336a70235958b8997ebc1c3b8505f4f1ae2b7e7753b87618","affectsGlobalScope":true,"impliedFormat":1},{"version":"eb3d66c8327153d8fa7dd03f9c58d351107fe824c79e9b56b462935176cdf12a","affectsGlobalScope":true,"impliedFormat":1},{"version":"38f0219c9e23c915ef9790ab1d680440d95419ad264816fa15009a8851e79119","affectsGlobalScope":true,"impliedFormat":1},{"version":"69ab18c3b76cd9b1be3d188eaf8bba06112ebbe2f47f6c322b5105a6fbc45a2e","affectsGlobalScope":true,"impliedFormat":1},{"version":"a680117f487a4d2f30ea46f1b4b7f58bef1480456e18ba53ee85c2746eeca012","affectsGlobalScope":true,"impliedFormat":1},{"version":"2f11ff796926e0832f9ae148008138ad583bd181899ab7dd768a2666700b1893","affectsGlobalScope":true,"impliedFormat":1},{"version":"4de680d5bb41c17f7f68e0419412ca23c98d5749dcaaea1896172f06435891fc","affectsGlobalScope":true,"impliedFormat":1},{"version":"954296b30da6d508a104a3a0b5d96b76495c709785c1d11610908e63481ee667","affectsGlobalScope":true,"impliedFormat":1},{"version":"ac9538681b19688c8eae65811b329d3744af679e0bdfa5d842d0e32524c73e1c","affectsGlobalScope":true,"impliedFormat":1},{"version":"0a969edff4bd52585473d24995c5ef223f6652d6ef46193309b3921d65dd4376","affectsGlobalScope":true,"impliedFormat":1},{"version":"9e9fbd7030c440b33d021da145d3232984c8bb7916f277e8ffd3dc2e3eae2bdb","affectsGlobalScope":true,"impliedFormat":1},{"version":"811ec78f7fefcabbda4bfa93b3eb67d9ae166ef95f9bff989d964061cbf81a0c","affectsGlobalScope":true,"impliedFormat":1},{"version":"717937616a17072082152a2ef351cb51f98802fb4b2fdabd32399843875974ca","affectsGlobalScope":true,"impliedFormat":1},{"version":"d7e7d9b7b50e5f22c915b525acc5a49a7a6584cf8f62d0569e557c5cfc4b2ac2","affectsGlobalScope":true,"impliedFormat":1},{"version":"71c37f4c9543f31dfced6c7840e068c5a5aacb7b89111a4364b1d5276b852557","affectsGlobalScope":true,"impliedFormat":1},{"version":"576711e016cf4f1804676043e6a0a5414252560eb57de9faceee34d79798c850","affectsGlobalScope":true,"impliedFormat":1},{"version":"89c1b1281ba7b8a96efc676b11b264de7a8374c5ea1e6617f11880a13fc56dc6","affectsGlobalScope":true,"impliedFormat":1},{"version":"74f7fa2d027d5b33eb0471c8e82a6c87216223181ec31247c357a3e8e2fddc5b","affectsGlobalScope":true,"impliedFormat":1},{"version":"d6d7ae4d1f1f3772e2a3cde568ed08991a8ae34a080ff1151af28b7f798e22ca","affectsGlobalScope":true,"impliedFormat":1},{"version":"063600664504610fe3e99b717a1223f8b1900087fab0b4cad1496a114744f8df","affectsGlobalScope":true,"impliedFormat":1},{"version":"934019d7e3c81950f9a8426d093458b65d5aff2c7c1511233c0fd5b941e608ab","affectsGlobalScope":true,"impliedFormat":1},{"version":"52ada8e0b6e0482b728070b7639ee42e83a9b1c22d205992756fe020fd9f4a47","affectsGlobalScope":true,"impliedFormat":1},{"version":"3bdefe1bfd4d6dee0e26f928f93ccc128f1b64d5d501ff4a8cf3c6371200e5e6","affectsGlobalScope":true,"impliedFormat":1},{"version":"59fb2c069260b4ba00b5643b907ef5d5341b167e7d1dbf58dfd895658bda2867","affectsGlobalScope":true,"impliedFormat":1},{"version":"639e512c0dfc3fad96a84caad71b8834d66329a1f28dc95e3946c9b58176c73a","affectsGlobalScope":true,"impliedFormat":1},{"version":"368af93f74c9c932edd84c58883e736c9e3d53cec1fe24c0b0ff451f529ceab1","affectsGlobalScope":true,"impliedFormat":1},{"version":"af3dd424cf267428f30ccfc376f47a2c0114546b55c44d8c0f1d57d841e28d74","affectsGlobalScope":true,"impliedFormat":1},{"version":"995c005ab91a498455ea8dfb63aa9f83fa2ea793c3d8aa344be4a1678d06d399","affectsGlobalScope":true,"impliedFormat":1},{"version":"959d36cddf5e7d572a65045b876f2956c973a586da58e5d26cde519184fd9b8a","affectsGlobalScope":true,"impliedFormat":1},{"version":"965f36eae237dd74e6cca203a43e9ca801ce38824ead814728a2807b1910117d","affectsGlobalScope":true,"impliedFormat":1},{"version":"3925a6c820dcb1a06506c90b1577db1fdbf7705d65b62b99dce4be75c637e26b","affectsGlobalScope":true,"impliedFormat":1},{"version":"0a3d63ef2b853447ec4f749d3f368ce642264246e02911fcb1590d8c161b8005","affectsGlobalScope":true,"impliedFormat":1},{"version":"8cdf8847677ac7d20486e54dd3fcf09eda95812ac8ace44b4418da1bbbab6eb8","affectsGlobalScope":true,"impliedFormat":1},{"version":"8444af78980e3b20b49324f4a16ba35024fef3ee069a0eb67616ea6ca821c47a","affectsGlobalScope":true,"impliedFormat":1},{"version":"3287d9d085fbd618c3971944b65b4be57859f5415f495b33a6adc994edd2f004","affectsGlobalScope":true,"impliedFormat":1},{"version":"b4b67b1a91182421f5df999988c690f14d813b9850b40acd06ed44691f6727ad","affectsGlobalScope":true,"impliedFormat":1},{"version":"8e7f8264d0fb4c5339605a15daadb037bf238c10b654bb3eee14208f860a32ea","affectsGlobalScope":true,"impliedFormat":1},{"version":"782dec38049b92d4e85c1585fbea5474a219c6984a35b004963b00beb1aab538","affectsGlobalScope":true,"impliedFormat":1},{"version":"f69dde5d20a1115a4839df1f403d1acf886df6ef805f38bba745dcc12e7a8de1","signature":"00423be16de39feae2b5cf5b5289abdbb0e7a4d031dcd72939ed2cfe5ee55d9a"},{"version":"e9a6e5b111706d3f80cba260e6e73d85446bab8e5a37887e949799fb40020e6f","signature":"f74c0c6303fe6d13e627656ba50102b4a14f4ec673fb2f849731996accaf664f"},{"version":"1fabc25980fac2dac5d8acd20f3a0a6814bbefd8f9737f6448175aef1f56d594","signature":"30d8b1b909032513bc606577cdcc89861b031b32003e0e2db2fd3b03b6486035"},{"version":"0bec569e660e096ded7027a67d3f30d3133a8b1d6b9739945d01a82314e84211","signature":"841d40ad9edf5a1eefcc388690de635c7afedefde0550a958d15b53a716eff8d"},{"version":"13c1e19be8ad61a378909c3ff20fcd31da3d4b5bb8ef4c881c96ab9f99d35f10","signature":"fd20d2b61ee462488672a239c89605a46e48da6afc0a7f13aad6d40a86f0c176"},{"version":"21e5d02b8b4267b0dc1b07e63fd95847bf213b3928baceb89bddd4ff85d5fe75","signature":"29aa893514eaddfc3251802585b704edbaa173d56b3c8dd3217e25e3f942a9c5"},{"version":"3706da0afa7a2cbf50224d08cd7b8ed7286e379335e147b3838eb75ea778c472","signature":"6e7af0a71d3b4e286e96117ee438b98ce562e2a8f1b19954809638b59e6ed1f2"},{"version":"b5004c55eaa8a034ef1d5ef01e135de7945011d478def988ab1023378c005eaf","signature":"d144806ed152c70cd354def7421a59dcfe71a15d09419201d90b7f726cc4fb6c"},{"version":"6a18408aa8dc25a3d5578f1837b9b8b3c6fe3021eb1d588cf828f3962582f770","signature":"5f063004680effc31936fca41e412c91a3f2411b9fff9c696a2ac5969115cd6d"},{"version":"6b9a3e99a3d2e4fc272d6b038cb2924b7d3c33153351fcfd6b56fad6aa3c4ae8","signature":"6ded6d236fe5952ff97b804d2d29ad1552ac1c723aebd92e2d4eeb5a6e1325eb"},{"version":"9e7bb35ef6a84a9c9ac74c23a438aa1fc0101f17f33c6469d52b50d288c5831e","signature":"75012c2f2d772e804ec2c4ecc86935042c575eb1a9b90f39bce99642d1dd8468"},{"version":"6916a035ea8741ffce29c21f4de2ed43bc00d087ed9ce314e9bbb78dbd0bd307","signature":"fd0ede1cd56a0ed2fc1c77705b392c466f07bc583073e681c65627dab8371352"},{"version":"1af4bcc3cf8c10b01c927f91facf420e62ba98031411f436916cbd734aaa83ad","signature":"352b2ecbe9949773b8a1e200ff90de9c8152bc139a6ee089f86a933517289320"},{"version":"fa14f81cb4627e15d124315924c56535aef5139433d2f1d9636135cfa2ac42e0","signature":"e82769f221c89eaccf795384c25dff589f5efdb6edd7b438e1ad6577271bace3"}],"root":[[58,71]],"options":{"composite":true,"declaration":true,"declarationMap":true,"esModuleInterop":true,"module":99,"noUncheckedIndexedAccess":true,"outDir":"./dist","rootDir":"./src","skipLibCheck":true,"sourceMap":true,"strict":true,"target":9},"referencedMap":[[67,1],[66,2],[68,3],[69,4],[71,5],[65,2],[59,3],[70,3]],"latestChangedDtsFile":"./dist/utils.d.ts","version":"5.9.3"}
|