Dependent If Type

Author: sinclairzx81

example/index.ts

@@ -1,27 +1,70 @@
+import Compile from 'typebox/compile'
+import System from 'typebox/system'
+import Guard from 'typebox/guard'
+import Format from 'typebox/format'
+import Schema from 'typebox/schema'
+import Value from 'typebox/value'
 import Type from 'typebox'
 
-const { A } = Type.Script(`
-  type A = {
-    x: number
-    y: number
-  } & if { x: 1 } then { y: 2 } else
-      if { x: 2 } then { y: 3 } else
-      never
-`)
+// ------------------------------------------------------------------
+// Settings
+// ------------------------------------------------------------------
 
+System.Settings.Set({ enumerableKind: false })
 
-type A = Type.Static<typeof A> 
+// ------------------------------------------------------------------
+// Guard
+// ------------------------------------------------------------------
 
-function test(value: Type.Static<typeof A>) {}
+const A = Guard.GraphemeCount('type-📦')      // 6
+const B = Guard.HasPropertyKey({ x: 1 }, 'x') // true
 
-test({ x: 1, y: 2 })  // ok
-test({ x: 2, y: 3 })  // ok
+// ------------------------------------------------------------------
+// Type
+// ------------------------------------------------------------------
 
-test({ x: 1, y: -1 }) // error: Type '-1' is not assignable to type '2 | 3'
-test({ x: 2, y: -1 }) // error: Type '-1' is not assignable to type '2 | 3'
+const T = Type.Object({
+  x: Type.Number(),
+  y: Type.Number(),
+  z: Type.Number()
+})
 
+// ------------------------------------------------------------------
+// Script
+// ------------------------------------------------------------------
 
+const S = Type.Script({ T }, `{
+  [K in keyof T]: T[K] | null
+}`)
 
-console.dir(A)
+// ------------------------------------------------------------------
+// Infer
+// ------------------------------------------------------------------
 
+type T = Type.Static<typeof T>
+type S = Type.Static<typeof S>
 
+// ------------------------------------------------------------------
+// Parse
+// ------------------------------------------------------------------
+
+const R = Value.Parse(T, { x: 1, y: 2, z: 3 })
+
+// ------------------------------------------------------------------
+// Compile
+// ------------------------------------------------------------------
+const C = Compile(S)
+
+const X = C.Parse({ x: 1, y: 2, z: 3 })
+
+// ------------------------------------------------------------------
+// Format
+// ------------------------------------------------------------------
+
+const E = Format.IsEmail('user@domain.com')
+
+// ------------------------------------------------------------------
+// Schema
+// ------------------------------------------------------------------
+
+const D = Schema.Parse({ const: 'hello' }, 'hello')