@strictly/define 0.0.1 → 0.0.3

package/types/specs/flattened_validators_of_validating_type.tests.ts

@@ -0,0 +1,47 @@
+import { type Reverse } from '@strictly/base'
+import {
+  list,
+  numberType,
+} from 'types/builders'
+import { type FlattenedValidatorsOfValidatingType } from 'types/flattened_validators_of_validating_type'
+import { type ValueToTypePathsOfType } from 'types/value_to_type_paths_of_type'
+import { type Validator } from 'validation/validator'
+
+describe('FlattenedValidatorsOfValidatingType', function () {
+  describe('literal', function () {
+    const literalType = numberType.enforce(function (): 'a' {
+      return 'a'
+    })
+    type T = FlattenedValidatorsOfValidatingType<
+      typeof literalType,
+      Reverse<ValueToTypePathsOfType<typeof literalType>>
+    >
+
+    let t: {
+      readonly $: Validator<number, 'a', '$', number>,
+    }
+
+    it('equals expected type', function () {
+      expectTypeOf<T>().toEqualTypeOf(t)
+    })
+  })
+
+  describe('list', function () {
+    const literalType = numberType.enforce(function (): 'x' {
+      return 'x'
+    })
+    const listType = list(literalType.narrow).enforce(function (): 'y' {
+      return 'y'
+    })
+    type T = FlattenedValidatorsOfValidatingType<typeof listType, Reverse<ValueToTypePathsOfType<typeof listType>>>
+
+    let t: {
+      readonly $: Validator<readonly number[], 'y', '$', readonly number[]>,
+      readonly '$.*': Validator<number, 'x', `$.${number}`, readonly number[]>,
+    }
+
+    it('equals expected type', function () {
+      expectTypeOf<T>().toEqualTypeOf(t)
+    })
+  })
+})

package/types/specs/flattened_values_of_type.tests.ts

@@ -0,0 +1,39 @@
+import {
+  numberType,
+  object,
+  record,
+  stringType,
+} from 'types/builders'
+import { type FlattenedValuesOfType } from 'types/flattened_values_of_type'
+
+describe('FlattenedValuesOfType', function () {
+  // note we only test a small example since most of the work is done in flatten
+  describe('record', function () {
+    const builder = record<typeof numberType, string>(numberType)
+    type V = FlattenedValuesOfType<typeof builder.narrow>
+
+    let v: {
+      readonly $: Record<string, number>,
+      readonly [_: `$.${string}`]: number,
+    }
+    it('equals expected type', function () {
+      expectTypeOf(v).toEqualTypeOf<V>()
+    })
+  })
+
+  describe('object', function () {
+    const builder = object().optionalField('a', stringType)
+    type V = FlattenedValuesOfType<typeof builder>
+
+    let v: {
+      readonly $: {
+        a?: string | undefined,
+      },
+      readonly '$.a': string | undefined,
+    }
+
+    it('equals expected type', function () {
+      expectTypeOf(v).toEqualTypeOf<V>()
+    })
+  })
+})

package/types/specs/{partial_type_def_of.tests.ts → partial_type_of_type.tests.ts}

@@ -8,11 +8,11 @@ import {
   union,
 } from 'types/builders'
 import { type TypeDefType } from 'types/definitions'
-import { type PartialTypeDefOf } from 'types/partial_type_def_of'
+import { type PartialTypeOfType } from 'types/partial_type_of_type'
 
 describe('PartialTypeDefOf', function () {
   describe('literal', function () {
-    type T = PartialTypeDefOf<typeof numberType>
+    type T = PartialTypeOfType<typeof numberType._type>
 
     let t: {
       readonly typeDef: {
@@ -38,7 +38,7 @@ describe('PartialTypeDefOf', function () {
 
   describe('list', function () {
     const builder = list(numberType)
-    type T = PartialTypeDefOf<typeof builder>
+    type T = PartialTypeOfType<typeof builder._type>
 
     let t: {
       readonly typeDef: {
@@ -76,7 +76,7 @@ describe('PartialTypeDefOf', function () {
 
   describe('record', function () {
     const builder = record<typeof numberType, 'a' | 'b'>(numberType)
-    type T = SimplifyDeep<PartialTypeDefOf<typeof builder>>
+    type T = SimplifyDeep<PartialTypeOfType<typeof builder._type>>
 
     let t: {
       readonly typeDef: {
@@ -116,9 +116,9 @@ describe('PartialTypeDefOf', function () {
 
   describe('object', function () {
     const builder = object()
-      .set('a', numberType)
-      .setReadonly('b', stringType)
-    type T = PartialTypeDefOf<typeof builder>
+      .field('a', numberType)
+      .readonlyField('b', stringType)
+    type T = PartialTypeOfType<typeof builder._type>
 
     let t: {
       readonly typeDef: {
@@ -174,9 +174,9 @@ describe('PartialTypeDefOf', function () {
   describe('union', function () {
     describe('simple', function () {
       const builder = union()
-        .add('1', numberType)
-        .add('2', stringType)
-      type T = PartialTypeDefOf<typeof builder>
+        .or('1', numberType)
+        .or('2', stringType)
+      type T = PartialTypeOfType<typeof builder._type>
 
       let t: {
         readonly typeDef: {
@@ -213,7 +213,7 @@ describe('PartialTypeDefOf', function () {
 
   describe('readonly', function () {
     const builder = list(numberType).readonly()
-    type T = PartialTypeDefOf<typeof builder>
+    type T = PartialTypeOfType<typeof builder._type>
 
     let t: {
       readonly typeDef: {

package/types/specs/{json_paths_of.tests.ts → paths_of_type.tests.ts}

@@ -8,14 +8,14 @@ import {
   stringType,
   union,
 } from 'types/builders'
-import { type JsonPathsOf } from 'types/json_paths_of'
+import { type PathsOfType } from 'types/paths_of_type'
 
-describe('JsonPathsOf', function () {
+describe('PathsOfType', function () {
   describe('literal', function () {
     let path: '$'
 
     describe('regular', function () {
-      type T = JsonPathsOf<typeof stringType>
+      type T = PathsOfType<typeof stringType>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -24,7 +24,7 @@ describe('JsonPathsOf', function () {
 
     describe('nullable', function () {
       const builder = nullable(stringType)
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -37,7 +37,7 @@ describe('JsonPathsOf', function () {
 
     describe('mutable', function () {
       const builder = list(stringType)
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -46,7 +46,7 @@ describe('JsonPathsOf', function () {
 
     describe('readonly', function () {
       const builder = list(stringType).readonly()
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -55,7 +55,7 @@ describe('JsonPathsOf', function () {
 
     describe('nullable', function () {
       const builder = nullable(list(stringType))
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -64,7 +64,7 @@ describe('JsonPathsOf', function () {
 
     describe('override', function () {
       const builder = list(stringType)
-      type T = JsonPathsOf<typeof builder, 'o'>
+      type T = PathsOfType<typeof builder, 'o'>
 
       let path: '$' | `$.o`
       it('equals expected type', function () {
@@ -78,7 +78,7 @@ describe('JsonPathsOf', function () {
 
     describe('mutable', function () {
       const builder = record(stringType)
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -87,7 +87,7 @@ describe('JsonPathsOf', function () {
 
     describe('mutable with exact keys', function () {
       const builder = record<typeof stringType, 'a' | 'b'>(stringType)
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       let path: '$' | '$.a' | '$.b'
       it('equals expected type', function () {
@@ -97,7 +97,7 @@ describe('JsonPathsOf', function () {
 
     describe('mutable with numeric keys', function () {
       const builder = record<typeof stringType, 1 | 2 | 3>(stringType)
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       let path: '$' | '$.1' | '$.2' | '$.3'
       it('equals expected type', function () {
@@ -107,7 +107,7 @@ describe('JsonPathsOf', function () {
 
     describe('readonly', function () {
       const builder = record(stringType).readonly()
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -115,8 +115,8 @@ describe('JsonPathsOf', function () {
     })
 
     describe('partial', function () {
-      const builder = record(stringType).partial()
-      type T = JsonPathsOf<typeof builder>
+      const builder = record(stringType).partialKeys()
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -125,7 +125,7 @@ describe('JsonPathsOf', function () {
 
     describe('nullable', function () {
       const builder = nullable(record(stringType))
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       it('equals expected type', function () {
         expectTypeOf(path).toEqualTypeOf<T>()
@@ -134,7 +134,7 @@ describe('JsonPathsOf', function () {
 
     describe('override', function () {
       const builder = record(stringType)
-      type T = JsonPathsOf<typeof builder, 'x'>
+      type T = PathsOfType<typeof builder, 'x'>
 
       let path: '$' | '$.x'
       it('equals expected type', function () {
@@ -146,10 +146,10 @@ describe('JsonPathsOf', function () {
   describe('object', function () {
     describe('simple', function () {
       const builder = object()
-        .set('n', numberType)
-        .set('b', booleanType)
-        .set('s', stringType)
-      type T = JsonPathsOf<typeof builder>
+        .field('n', numberType)
+        .field('b', booleanType)
+        .field('s', stringType)
+      type T = PathsOfType<typeof builder>
 
       let path: '$' | '$.n' | '$.b' | '$.s'
       it('equals expected type', function () {
@@ -170,16 +170,16 @@ describe('JsonPathsOf', function () {
       })
 
       it('ignores override', function () {
-        type T = JsonPathsOf<typeof builder, 'y'>
+        type T = PathsOfType<typeof builder, 'y'>
         expectTypeOf(path).toEqualTypeOf<T>()
       })
     })
 
     describe('nested', function () {
       const builder = object()
-        .set('s1', object().set('a1', booleanType))
-        .set('s2', object().set('a2', stringType))
-      type T = JsonPathsOf<typeof builder>
+        .field('s1', object().field('a1', booleanType))
+        .field('s2', object().field('a2', stringType))
+      type T = PathsOfType<typeof builder>
 
       let path: '$' | '$.s1' | '$.s1.a1' | '$.s2' | '$.s2.a2'
       it('equals expected type', function () {
@@ -189,10 +189,10 @@ describe('JsonPathsOf', function () {
 
     describe('object of list', function () {
       const builder = object()
-        .set('l', list(numberType))
+        .field('l', list(numberType))
 
       describe('no override', function () {
-        type T = JsonPathsOf<typeof builder>
+        type T = PathsOfType<typeof builder>
 
         let path: '$' | '$.l' | `$.l.${number}`
         it('equals expected type', function () {
@@ -201,7 +201,7 @@ describe('JsonPathsOf', function () {
       })
 
       describe('passes override', function () {
-        type T = JsonPathsOf<typeof builder, 'o'>
+        type T = PathsOfType<typeof builder, 'o'>
 
         let path: '$' | '$.l' | '$.l.o'
         it('equals expected type', function () {
@@ -214,9 +214,9 @@ describe('JsonPathsOf', function () {
   describe('union', function () {
     describe('with primitives', function () {
       const builder = union()
-        .add('1', numberType)
-        .add('2', stringType)
-      type T = JsonPathsOf<typeof builder>
+        .or('1', numberType)
+        .or('2', stringType)
+      type T = PathsOfType<typeof builder>
 
       let path: '$'
       it('equals expected type', function () {
@@ -226,10 +226,10 @@ describe('JsonPathsOf', function () {
 
     describe('with overlapping record', function () {
       const builder = union()
-        .add('1', object().set('a', numberType).set('b', stringType))
-        .add('2', object().set('b', stringType).set('c', stringType))
-        .add('3', object().set('c', stringType).set('a', stringType))
-      type T = JsonPathsOf<typeof builder>
+        .or('1', object().field('a', numberType).field('b', stringType))
+        .or('2', object().field('b', stringType).field('c', stringType))
+        .or('3', object().field('c', stringType).field('a', stringType))
+      type T = PathsOfType<typeof builder>
 
       let path: '$' | '$.a' | '$.b' | '$.c'
       it('equals expected type', function () {
@@ -239,15 +239,15 @@ describe('JsonPathsOf', function () {
 
     describe('nested', function () {
       const builder = union()
-        .add('1', object().set(
+        .or('1', object().field(
           'a',
-          union().add('x', object().set('aa', stringType)),
+          union().or('x', object().field('aa', stringType)),
         ))
-        .add('2', object().set(
+        .or('2', object().field(
           'b',
-          union().add('y', object().set('bb', stringType)),
+          union().or('y', object().field('bb', stringType)),
         ))
-      type T = JsonPathsOf<typeof builder>
+      type T = PathsOfType<typeof builder>
 
       let path: '$' | '$.a' | '$.a.aa' | '$.b' | '$.b.bb'
       it('equals expected type', function () {
@@ -258,10 +258,10 @@ describe('JsonPathsOf', function () {
 
   describe('with discriminator', function () {
     const builder = union('x')
-      .add('1', object().set('a', booleanType))
-      .add('2', object().set('b', numberType))
+      .or('1', object().field('a', booleanType))
+      .or('2', object().field('b', numberType))
 
-    type T = JsonPathsOf<typeof builder>
+    type T = PathsOfType<typeof builder>
 
     let path: '$' | '$.1:a' | '$.2:b'
 
@@ -272,16 +272,16 @@ describe('JsonPathsOf', function () {
 
   describe('with nested discriminator', function () {
     const builder = union('x')
-      .add(
+      .or(
         '1',
-        union('y').add('p', object().set('a', booleanType)),
+        union('y').or('p', object().field('a', booleanType)),
       )
-      .add(
+      .or(
         '2',
-        union('z').add('q', object().set('b', numberType)),
+        union('z').or('q', object().field('b', numberType)),
       )
 
-    type T = JsonPathsOf<typeof builder>
+    type T = PathsOfType<typeof builder>
 
     let path: '$' | '$.1:p:a' | '$.2:q:b'
 

package/types/specs/{readonly_type_def_of.tests.ts → readonly_type_of_type.tests.ts}

@@ -7,11 +7,11 @@ import {
   union,
 } from 'types/builders'
 import { type TypeDefType } from 'types/definitions'
-import { type ReadonlyTypeDefOf } from 'types/readonly_type_def_of'
+import { type ReadonlyTypeOfType } from 'types/readonly_type_of_type'
 
 describe('ReadonlyTypeDefOf', function () {
   describe('literal', function () {
-    type T = ReadonlyTypeDefOf<typeof numberType>
+    type T = ReadonlyTypeOfType<typeof numberType._type>
 
     let t: {
       readonly definition: {
@@ -26,7 +26,7 @@ describe('ReadonlyTypeDefOf', function () {
 
   describe('list', function () {
     const builder = list(numberType)
-    type T = ReadonlyTypeDefOf<typeof builder>
+    type T = ReadonlyTypeOfType<typeof builder._type>
 
     let t: {
       readonly definition: {
@@ -44,7 +44,7 @@ describe('ReadonlyTypeDefOf', function () {
 
   describe('record', function () {
     const builder = record<typeof numberType, 'a' | 'b'>(numberType)
-    type T = ReadonlyTypeDefOf<typeof builder>
+    type T = ReadonlyTypeOfType<typeof builder._type>
 
     let t: {
       readonly definition: {
@@ -63,9 +63,9 @@ describe('ReadonlyTypeDefOf', function () {
 
   describe('object', function () {
     const builder = object()
-      .set('a', numberType)
-      .setOptional('b', stringType)
-    type T = ReadonlyTypeDefOf<typeof builder>
+      .field('a', numberType)
+      .optionalField('b', stringType)
+    type T = ReadonlyTypeOfType<typeof builder._type>
 
     let t: {
       readonly definition: {
@@ -89,9 +89,9 @@ describe('ReadonlyTypeDefOf', function () {
 
   describe('union', function () {
     const builder = union()
-      .add('1', record<typeof numberType, 'a'>(numberType))
-      .add('2', stringType)
-    type T = ReadonlyTypeDefOf<typeof builder>
+      .or('1', record<typeof numberType, 'a'>(numberType))
+      .or('2', stringType)
+    type T = ReadonlyTypeOfType<typeof builder._type>
 
     let t: {
       readonly definition: {
@@ -119,8 +119,8 @@ describe('ReadonlyTypeDefOf', function () {
   })
 
   describe('partial', function () {
-    const builder = record<typeof numberType, 'a'>(numberType).partial()
-    type T = ReadonlyTypeDefOf<typeof builder>
+    const builder = record<typeof numberType, 'a'>(numberType).partialKeys()
+    type T = ReadonlyTypeOfType<typeof builder._type>
 
     let t: {
       readonly definition: {
@@ -138,8 +138,8 @@ describe('ReadonlyTypeDefOf', function () {
   })
 
   describe('readonly', function () {
-    const builder = record<typeof numberType, 'a'>(numberType).readonly()
-    type T = ReadonlyTypeDefOf<typeof builder>
+    const builder = record<typeof numberType, 'a'>(numberType).readonlyKeys()
+    type T = ReadonlyTypeOfType<typeof builder._type>
 
     let t: {
       readonly definition: {

package/types/specs/type_of_type.tests.ts

@@ -0,0 +1,60 @@
+import {
+  list,
+  numberType,
+} from 'types/builders'
+import { type TypeDefType } from 'types/definitions'
+import { type TypeOfType } from 'types/type_of_type'
+
+describe('TypeOfType', function () {
+  describe('literal', function () {
+    const literalType = numberType
+    type T = TypeOfType<typeof literalType>
+    let t: {
+      readonly definition: {
+        readonly type: TypeDefType.Literal,
+        readonly valuePrototype: [number],
+      },
+    }
+
+    it('equals expected type', function () {
+      expectTypeOf<T>().toEqualTypeOf(t)
+    })
+  })
+
+  describe('list', function () {
+    describe('mutable', function () {
+      const listType = list(numberType)
+      type T = TypeOfType<typeof listType>
+      let t: {
+        readonly definition: {
+          readonly type: TypeDefType.List,
+          elements: {
+            readonly type: TypeDefType.Literal,
+            readonly valuePrototype: [number],
+          },
+        },
+      }
+      it('equals expected type', function () {
+        expectTypeOf<T>().toEqualTypeOf(t)
+      })
+    })
+    describe('readonly', function () {
+      const listType = list(numberType).readonlyElements()
+      type T = TypeOfType<typeof listType>
+      let t: {
+        readonly definition: {
+          readonly type: TypeDefType.List,
+          readonly elements: {
+            readonly type: TypeDefType.Literal,
+            readonly valuePrototype: [number],
+          },
+        },
+      }
+      it('equals expected type', function () {
+        expectTypeOf<T>().toEqualTypeOf(t)
+      })
+    })
+  })
+
+  // TODO other types
+})

package/types/specs/{value_type_of.tests.ts → value_of_type.tests.ts}

@@ -2,15 +2,15 @@ import { type SimplifyDeep } from 'type-fest'
 import {
   type TypeDefType,
 } from 'types/definitions'
-import { type ValueTypeOf } from 'types/value_type_of'
+import { type ValueOfType } from 'types/value_of_type'
 
-describe('ValueTypeOf', function () {
+describe('ValueOfType', function () {
   describe('literal', function () {
     type TypeD = {
       readonly type: TypeDefType.Literal,
       readonly valuePrototype: ['a' | 'b' | 'c'],
     }
-    type T = ValueTypeOf<{ definition: TypeD }>
+    type T = ValueOfType<{ definition: TypeD }>
 
     let t: 'a' | 'b' | 'c'
     it('equals expected type', function () {
@@ -27,7 +27,7 @@ describe('ValueTypeOf', function () {
           readonly valuePrototype: ['a' | 'b' | 'c'],
         },
       }
-      type T = ValueTypeOf<{ definition: TypeD }>
+      type T = ValueOfType<{ definition: TypeD }>
       describe('mutable', function () {
         let a: ('a' | 'b' | 'c')[]
         it('equals expected type', function () {
@@ -36,7 +36,7 @@ describe('ValueTypeOf', function () {
       })
 
       describe('readonly', function () {
-        type R = ValueTypeOf<{
+        type R = ValueOfType<{
           definition: {
             readonly type: TypeDefType.List,
             readonly elements: {
@@ -63,7 +63,7 @@ describe('ValueTypeOf', function () {
         readonly valuePrototype: ['a' | 'b' | 'c'],
       },
     }
-    type T = ValueTypeOf<{ definition: TypeD }>
+    type T = ValueOfType<{ definition: TypeD }>
 
     describe('mutable', function () {
       let t: Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>
@@ -73,7 +73,7 @@ describe('ValueTypeOf', function () {
     })
 
     describe('readonly', function () {
-      type R = ValueTypeOf<{
+      type R = ValueOfType<{
         readonly definition: {
           readonly type: TypeDefType.Record,
           readonly keyPrototype: 'x' | 'y' | 'z',
@@ -99,7 +99,7 @@ describe('ValueTypeOf', function () {
           readonly valuePrototype: ['a' | 'b' | 'c'],
         } | undefined,
       }
-      type T = ValueTypeOf<{ definition: TypeD }>
+      type T = ValueOfType<{ definition: TypeD }>
 
       let t: Partial<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>
       it('equals expected type', function () {
@@ -116,7 +116,7 @@ describe('ValueTypeOf', function () {
           readonly valuePrototype: ['a' | 'b' | 'c'],
         } | undefined,
       }
-      type T = ValueTypeOf<{ definition: TypeD }>
+      type T = ValueOfType<{ definition: TypeD }>
 
       let t: Partial<Readonly<Record<'x' | 'y' | 'z', 'a' | 'b' | 'c'>>>
       it('equals expected type', function () {
@@ -139,7 +139,7 @@ describe('ValueTypeOf', function () {
         },
       },
     }
-    type T = ValueTypeOf<{ definition: TypeD }>
+    type T = ValueOfType<{ definition: TypeD }>
 
     describe('mutable', function () {
       let value: {
@@ -166,7 +166,7 @@ describe('ValueTypeOf', function () {
           },
         },
       }
-      type T = ValueTypeOf<{ definition: TypeD }>
+      type T = ValueOfType<{ definition: TypeD }>
 
       let value: {
         readonly a: 'a' | 'b',
@@ -191,7 +191,7 @@ describe('ValueTypeOf', function () {
           },
         },
       }
-      type T = ValueTypeOf<{ definition: TypeD }>
+      type T = ValueOfType<{ definition: TypeD }>
 
       let v: {
         a?: 'a' | 'b',
@@ -206,7 +206,7 @@ describe('ValueTypeOf', function () {
 
   describe('union', function () {
     describe('non-discriminated', function () {
-      type T = ValueTypeOf<{
+      type T = ValueOfType<{
         definition: {
           readonly type: TypeDefType.Union,
           readonly discriminator: null,
@@ -235,7 +235,7 @@ describe('ValueTypeOf', function () {
     })
 
     describe('implicitly discriminated', function () {
-      type T = ValueTypeOf<{
+      type T = ValueOfType<{
         definition: {
           readonly type: TypeDefType.Union,
           readonly discriminator: null,
@@ -285,7 +285,7 @@ describe('ValueTypeOf', function () {
 
     describe('explicitly discriminated', function () {
       type T = SimplifyDeep<
-        ValueTypeOf<{
+        ValueOfType<{
           definition: {
             readonly type: TypeDefType.Union,
             readonly discriminator: 'd',