@strictly/define 0.0.6 → 0.0.8

package/types/specs/flattened_values_of_type.tests.ts

@@ -12,12 +12,12 @@ describe('FlattenedValuesOfType', function () {
     const builder = record<typeof numberType, string>(numberType)
     type V = FlattenedValuesOfType<typeof builder.narrow>
 
-    let v: {
+    type C = {
       readonly $: Record<string, number>,
       readonly [_: `$.${string}`]: number,
     }
     it('equals expected type', function () {
-      expectTypeOf(v).toEqualTypeOf<V>()
+      expectTypeOf<C>().toEqualTypeOf<V>()
     })
   })
 
@@ -25,7 +25,7 @@ describe('FlattenedValuesOfType', function () {
     const builder = object().optionalField('a', stringType)
     type V = FlattenedValuesOfType<typeof builder>
 
-    let v: {
+    type C = {
       readonly $: {
         a?: string | undefined,
       },
@@ -33,7 +33,7 @@ describe('FlattenedValuesOfType', function () {
     }
 
     it('equals expected type', function () {
-      expectTypeOf(v).toEqualTypeOf<V>()
+      expectTypeOf<C>().toEqualTypeOf<V>()
     })
   })
 })

package/types/specs/partial_type_of_type.tests.ts

@@ -14,7 +14,7 @@ describe('PartialTypeDefOf', function () {
   describe('literal', function () {
     type T = PartialTypeOfType<typeof numberType._type>
 
-    let t: {
+    type C = {
       readonly typeDef: {
         readonly type: TypeDefType.Union,
         readonly discriminator: null,
@@ -32,7 +32,7 @@ describe('PartialTypeDefOf', function () {
     }
 
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -40,7 +40,7 @@ describe('PartialTypeDefOf', function () {
     const builder = list(numberType)
     type T = PartialTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly typeDef: {
         readonly type: TypeDefType.Union,
         readonly discriminator: null,
@@ -70,7 +70,7 @@ describe('PartialTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -78,7 +78,7 @@ describe('PartialTypeDefOf', function () {
     const builder = record<typeof numberType, 'a' | 'b'>(numberType)
     type T = SimplifyDeep<PartialTypeOfType<typeof builder._type>>
 
-    let t: {
+    type C = {
       readonly typeDef: {
         readonly type: TypeDefType.Union,
         readonly discriminator: null,
@@ -110,7 +110,7 @@ describe('PartialTypeDefOf', function () {
     }
 
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -120,7 +120,7 @@ describe('PartialTypeDefOf', function () {
       .readonlyField('b', stringType)
     type T = PartialTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly typeDef: {
         readonly type: TypeDefType.Union,
         readonly discriminator: null,
@@ -167,7 +167,7 @@ describe('PartialTypeDefOf', function () {
     }
 
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -178,7 +178,7 @@ describe('PartialTypeDefOf', function () {
         .or('2', stringType)
       type T = PartialTypeOfType<typeof builder._type>
 
-      let t: {
+      type C = {
         readonly typeDef: {
           readonly type: TypeDefType.Union,
           readonly discriminator: null,
@@ -206,7 +206,7 @@ describe('PartialTypeDefOf', function () {
       }
 
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
   })
@@ -215,7 +215,7 @@ describe('PartialTypeDefOf', function () {
     const builder = list(numberType).readonly()
     type T = PartialTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly typeDef: {
         readonly type: TypeDefType.Union,
         readonly discriminator: null,
@@ -245,7 +245,7 @@ describe('PartialTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 })

package/types/specs/paths_of_type.tests.ts

@@ -12,13 +12,13 @@ import { type PathsOfType } from 'types/paths_of_type'
 
 describe('PathsOfType', function () {
   describe('literal', function () {
-    let path: '$'
+    type P = '$'
 
     describe('regular', function () {
       type T = PathsOfType<typeof stringType>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -27,20 +27,20 @@ describe('PathsOfType', function () {
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
   })
 
   describe('list', function () {
-    let path: '$' | `$.${number}`
+    type P = '$' | `$.${number}`
 
     describe('mutable', function () {
       const builder = list(stringType)
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -49,7 +49,7 @@ describe('PathsOfType', function () {
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -58,7 +58,7 @@ describe('PathsOfType', function () {
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -66,22 +66,22 @@ describe('PathsOfType', function () {
       const builder = list(stringType)
       type T = PathsOfType<typeof builder, 'o'>
 
-      let path: '$' | `$.o`
+      type P = '$' | `$.o`
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
   })
 
   describe('record', function () {
-    let path: '$' | `$.${string}` | `$.${number}`
+    type P = '$' | `$.${string}` | `$.${number}`
 
     describe('mutable', function () {
       const builder = record(stringType)
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -89,9 +89,9 @@ describe('PathsOfType', function () {
       const builder = record<typeof stringType, 'a' | 'b'>(stringType)
       type T = PathsOfType<typeof builder>
 
-      let path: '$' | '$.a' | '$.b'
+      type P = '$' | '$.a' | '$.b'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -99,9 +99,9 @@ describe('PathsOfType', function () {
       const builder = record<typeof stringType, 1 | 2 | 3>(stringType)
       type T = PathsOfType<typeof builder>
 
-      let path: '$' | '$.1' | '$.2' | '$.3'
+      type P = '$' | '$.1' | '$.2' | '$.3'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -110,7 +110,7 @@ describe('PathsOfType', function () {
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -119,7 +119,7 @@ describe('PathsOfType', function () {
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -128,7 +128,7 @@ describe('PathsOfType', function () {
       type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -136,9 +136,9 @@ describe('PathsOfType', function () {
       const builder = record(stringType)
       type T = PathsOfType<typeof builder, 'x'>
 
-      let path: '$' | '$.x'
+      type P = '$' | '$.x'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
   })
@@ -151,9 +151,9 @@ describe('PathsOfType', function () {
         .field('s', stringType)
       type T = PathsOfType<typeof builder>
 
-      let path: '$' | '$.n' | '$.b' | '$.s'
+      type P = '$' | '$.n' | '$.b' | '$.s'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
 
       it('can be used in a record', function () {
@@ -171,7 +171,7 @@ describe('PathsOfType', function () {
 
       it('ignores override', function () {
         type T = PathsOfType<typeof builder, 'y'>
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -181,9 +181,9 @@ describe('PathsOfType', function () {
         .field('s2', object().field('a2', stringType))
       type T = PathsOfType<typeof builder>
 
-      let path: '$' | '$.s1' | '$.s1.a1' | '$.s2' | '$.s2.a2'
+      type P = '$' | '$.s1' | '$.s1.a1' | '$.s2' | '$.s2.a2'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -194,18 +194,18 @@ describe('PathsOfType', function () {
       describe('no override', function () {
         type T = PathsOfType<typeof builder>
 
-        let path: '$' | '$.l' | `$.l.${number}`
+        type P = '$' | '$.l' | `$.l.${number}`
         it('equals expected type', function () {
-          expectTypeOf(path).toEqualTypeOf<T>()
+          expectTypeOf<P>().toEqualTypeOf<T>()
         })
       })
 
       describe('passes override', function () {
         type T = PathsOfType<typeof builder, 'o'>
 
-        let path: '$' | '$.l' | '$.l.o'
+        type P = '$' | '$.l' | '$.l.o'
         it('equals expected type', function () {
-          expectTypeOf(path).toEqualTypeOf<T>()
+          expectTypeOf<P>().toEqualTypeOf<T>()
         })
       })
     })
@@ -218,9 +218,9 @@ describe('PathsOfType', function () {
         .or('2', stringType)
       type T = PathsOfType<typeof builder>
 
-      let path: '$'
+      type P = '$'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -231,9 +231,9 @@ describe('PathsOfType', function () {
         .or('3', object().field('c', stringType).field('a', stringType))
       type T = PathsOfType<typeof builder>
 
-      let path: '$' | '$.a' | '$.b' | '$.c'
+      type P = '$' | '$.a' | '$.b' | '$.c'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
 
@@ -249,9 +249,9 @@ describe('PathsOfType', function () {
         ))
       type T = PathsOfType<typeof builder>
 
-      let path: '$' | '$.a' | '$.a.aa' | '$.b' | '$.b.bb'
+      type P = '$' | '$.a' | '$.a.aa' | '$.b' | '$.b.bb'
       it('equals expected type', function () {
-        expectTypeOf(path).toEqualTypeOf<T>()
+        expectTypeOf<P>().toEqualTypeOf<T>()
       })
     })
   })
@@ -263,10 +263,10 @@ describe('PathsOfType', function () {
 
     type T = PathsOfType<typeof builder>
 
-    let path: '$' | '$.1:a' | '$.2:b'
+    type P = '$' | '$.1:a' | '$.2:b'
 
     it('equals expected type', function () {
-      expectTypeOf(path).toEqualTypeOf<T>()
+      expectTypeOf<P>().toEqualTypeOf<T>()
     })
   })
 
@@ -283,10 +283,10 @@ describe('PathsOfType', function () {
 
     type T = PathsOfType<typeof builder>
 
-    let path: '$' | '$.1:p:a' | '$.2:q:b'
+    type P = '$' | '$.1:p:a' | '$.2:q:b'
 
     it('equals expected type', function () {
-      expectTypeOf(path).toEqualTypeOf<T>()
+      expectTypeOf<P>().toEqualTypeOf<T>()
     })
   })
 

package/types/specs/readonly_type_of_type.tests.ts

@@ -13,14 +13,14 @@ describe('ReadonlyTypeDefOf', function () {
   describe('literal', function () {
     type T = ReadonlyTypeOfType<typeof numberType._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Literal,
         readonly valuePrototype: [number],
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -28,7 +28,7 @@ describe('ReadonlyTypeDefOf', function () {
     const builder = list(numberType)
     type T = ReadonlyTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.List,
         readonly elements: {
@@ -38,7 +38,7 @@ describe('ReadonlyTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -46,7 +46,7 @@ describe('ReadonlyTypeDefOf', function () {
     const builder = record<typeof numberType, 'a' | 'b'>(numberType)
     type T = ReadonlyTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Record,
         readonly keyPrototype: 'a' | 'b',
@@ -57,7 +57,7 @@ describe('ReadonlyTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -67,7 +67,7 @@ describe('ReadonlyTypeDefOf', function () {
       .optionalField('b', stringType)
     type T = ReadonlyTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Object,
         readonly fields: {
@@ -83,7 +83,7 @@ describe('ReadonlyTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -93,7 +93,7 @@ describe('ReadonlyTypeDefOf', function () {
       .or('2', stringType)
     type T = ReadonlyTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Union,
         readonly discriminator: null,
@@ -114,7 +114,7 @@ describe('ReadonlyTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -122,7 +122,7 @@ describe('ReadonlyTypeDefOf', function () {
     const builder = record<typeof numberType, 'a'>(numberType).partialKeys()
     type T = ReadonlyTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Record,
         readonly keyPrototype: 'a',
@@ -133,7 +133,7 @@ describe('ReadonlyTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -141,7 +141,7 @@ describe('ReadonlyTypeDefOf', function () {
     const builder = record<typeof numberType, 'a'>(numberType).readonlyKeys()
     type T = ReadonlyTypeOfType<typeof builder._type>
 
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Record,
         readonly keyPrototype: 'a',
@@ -152,7 +152,7 @@ describe('ReadonlyTypeDefOf', function () {
       },
     }
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 })

package/types/specs/strict_definitions.tests.ts

@@ -151,11 +151,11 @@ describe('Strict Definitions', function () {
           },
         },
       }
-      type C = StrictUnionTypeDef<null, U>
+      type S = StrictUnionTypeDef<null, U>
 
-      let t: UnionTypeDef<null, U>
+      type C = UnionTypeDef<null, U>
       it('equals type', function () {
-        expectTypeOf(t).toEqualTypeOf<C>()
+        expectTypeOf<S>().toEqualTypeOf<C>()
       })
     })
   })
@@ -174,11 +174,11 @@ describe('Strict Definitions', function () {
         },
       },
     }
-    type C = StrictUnionTypeDef<null, U>
+    type S = StrictUnionTypeDef<null, U>
 
-    let t: UnionTypeDef<null, U>
+    type C = UnionTypeDef<null, U>
     it('equals type', function () {
-      expectTypeOf<C>().not.toMatchTypeOf(t)
+      expectTypeOf<C>().not.toMatchTypeOf<S>()
     })
   })
 })

package/types/specs/type_of_type.tests.ts

@@ -9,7 +9,7 @@ describe('TypeOfType', function () {
   describe('literal', function () {
     const literalType = numberType
     type T = TypeOfType<typeof literalType>
-    let t: {
+    type C = {
       readonly definition: {
         readonly type: TypeDefType.Literal,
         readonly valuePrototype: [number],
@@ -17,7 +17,7 @@ describe('TypeOfType', function () {
     }
 
     it('equals expected type', function () {
-      expectTypeOf<T>().toEqualTypeOf(t)
+      expectTypeOf<T>().toEqualTypeOf<C>()
     })
   })
 
@@ -25,7 +25,7 @@ describe('TypeOfType', function () {
     describe('mutable', function () {
       const listType = list(numberType)
       type T = TypeOfType<typeof listType>
-      let t: {
+      type C = {
         readonly definition: {
           readonly type: TypeDefType.List,
           elements: {
@@ -35,13 +35,13 @@ describe('TypeOfType', function () {
         },
       }
       it('equals expected type', function () {
-        expectTypeOf<T>().toEqualTypeOf(t)
+        expectTypeOf<T>().toEqualTypeOf<C>()
       })
     })
     describe('readonly', function () {
       const listType = list(numberType).readonlyElements()
       type T = TypeOfType<typeof listType>
-      let t: {
+      type C = {
         readonly definition: {
           readonly type: TypeDefType.List,
           readonly elements: {
@@ -51,7 +51,7 @@ describe('TypeOfType', function () {
         },
       }
       it('equals expected type', function () {
-        expectTypeOf<T>().toEqualTypeOf(t)
+        expectTypeOf<T>().toEqualTypeOf<C>()
       })
     })
   })