@strictly/define 0.0.5 → 0.0.7

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>()
       })
     })
   })

package/types/specs/value_of_type.tests.ts

@@ -12,9 +12,9 @@ describe('ValueOfType', function () {
     }
     type T = ValueOfType<{ definition: TypeD }>
 
-    let t: 'a' | 'b' | 'c'
+    type C = 'a' | 'b' | 'c'
     it('equals expected type', function () {
-      expectTypeOf(t).toEqualTypeOf<T>()
+      expectTypeOf<C>().toEqualTypeOf<T>()
     })
   })
 
@@ -29,9 +29,9 @@ describe('ValueOfType', function () {
       }
       type T = ValueOfType<{ definition: TypeD }>
       describe('mutable', function () {
-        let a: ('a' | 'b' | 'c')[]
+        type C = ('a' | 'b' | 'c')[]
         it('equals expected type', function () {
-          expectTypeOf(a).toEqualTypeOf<T>()
+          expectTypeOf<C>().toEqualTypeOf<T>()
         })
       })
 
@@ -46,9 +46,9 @@ describe('ValueOfType', function () {
           },
         }>
 
-        let a: readonly ('a' | 'b' | 'c')[]
+        type C = readonly ('a' | 'b' | 'c')[]
         it('equals expected type', function () {
-          expectTypeOf(a).toEqualTypeOf<R>()
+          expectTypeOf<C>().toEqualTypeOf<R>()
         })
       })
     })
@@ -66,9 +66,9 @@ describe('ValueOfType', function () {
     type T = ValueOfType<{ definition: TypeD }>
 
     describe('mutable', function () {
-      let t: Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>
+      type C = Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
 
@@ -83,10 +83,10 @@ describe('ValueOfType', function () {
           },
         },
       }>
-      let r: Readonly<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>
+      type C = Readonly<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>
 
       it('equals expected type', function () {
-        expectTypeOf(r).toEqualTypeOf<R>()
+        expectTypeOf<C>().toEqualTypeOf<R>()
       })
     })
 
@@ -101,9 +101,9 @@ describe('ValueOfType', function () {
       }
       type T = ValueOfType<{ definition: TypeD }>
 
-      let t: Partial<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>
+      type C = Partial<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
 
@@ -118,9 +118,9 @@ describe('ValueOfType', function () {
       }
       type T = ValueOfType<{ definition: TypeD }>
 
-      let t: Partial<Readonly<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>>
+      type C = Partial<Readonly<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>>
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
   })
@@ -142,13 +142,13 @@ describe('ValueOfType', function () {
     type T = ValueOfType<{ definition: TypeD }>
 
     describe('mutable', function () {
-      let value: {
+      type C = {
         a: 'a' | 'b',
         b: number,
       }
 
       it('equals expected type', function () {
-        expectTypeOf(value).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
 
@@ -168,12 +168,12 @@ describe('ValueOfType', function () {
       }
       type T = ValueOfType<{ definition: TypeD }>
 
-      let value: {
+      type C = {
         readonly a: 'a' | 'b',
         readonly b: number,
       }
       it('equals expected type', function () {
-        expectTypeOf(value).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
 
@@ -193,13 +193,13 @@ describe('ValueOfType', function () {
       }
       type T = ValueOfType<{ definition: TypeD }>
 
-      let v: {
+      type C = {
         a?: 'a' | 'b',
         b?: number,
       }
 
       it('equals expected type', function () {
-        expectTypeOf(v).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
   })
@@ -227,10 +227,10 @@ describe('ValueOfType', function () {
         },
       }>
 
-      let t: null | number | string
+      type C = null | number | string
 
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
 
@@ -270,7 +270,7 @@ describe('ValueOfType', function () {
         },
       }>
 
-      let t: {
+      type C = {
         readonly d: 1,
         b: string,
       } | {
@@ -279,7 +279,7 @@ describe('ValueOfType', function () {
       }
 
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
 
@@ -313,7 +313,7 @@ describe('ValueOfType', function () {
         }>
       >
 
-      let t: {
+      type C = {
         readonly d: 1,
         b: string,
       } | {
@@ -322,7 +322,7 @@ describe('ValueOfType', function () {
       }
 
       it('equals expected type', function () {
-        expectTypeOf(t).toEqualTypeOf<T>()
+        expectTypeOf<C>().toEqualTypeOf<T>()
       })
     })
   })