feat: void type

src/arbitrary.ts

@@ -8,6 +8,7 @@ export type ArbitraryNamespace = {
 export type Arbitrary = BaseArbitrary &
   (
     | NullArbitrary
+    | UndefinedArbitrary
     | BooleanArbitrary
     | NumberArbitrary
     | BigIntArbitrary
@@ -28,6 +29,10 @@ export type NullArbitrary = {
   type: `null`
 }
 
+export type UndefinedArbitrary = {
+  type: `undefined`
+}
+
 export type BooleanArbitrary = {
   type: `boolean`
 }

src/components.ts

@@ -140,6 +140,8 @@ const ArbitraryDefinition = ({
   switch (arbitrary.type) {
     case `null`:
       return NullArbitrary()
+    case `undefined`:
+      return UndefinedArbitrary()
     case `boolean`:
       return BooleanArbitrary()
     case `number`:
@@ -165,6 +167,8 @@ const ArbitraryDefinition = ({
 
 const NullArbitrary = (): Child => code`fc.constant(null)`
 
+const UndefinedArbitrary = (): Child => code`fc.constant(undefined)`
+
 const BooleanArbitrary = (): Child => code`fc.boolean()`
 
 const NumberArbitrary = ({

src/convert.ts

@@ -117,8 +117,9 @@ const convertIntrinsic = (intrinsic: IntrinsicType): Arbitrary => {
   switch (intrinsic.name) {
     case `null`:
       return convertNull(intrinsic)
-    case `ErrorType`:
     case `void`:
+      return convertVoid(intrinsic)
+    case `ErrorType`:
     case `never`:
     case `unknown`:
       throw new Error(`Unhandled Intrinsic: ${intrinsic.name}`)
@@ -128,6 +129,9 @@ const convertIntrinsic = (intrinsic: IntrinsicType): Arbitrary => {
 const convertNull = ($null: IntrinsicType): Arbitrary =>
   memoize({ type: `null`, name: $null.name })
 
+const convertVoid = ($void: IntrinsicType): Arbitrary =>
+  memoize({ type: `undefined`, name: $void.name })
+
 const convertScalar = (
   program: Program,
   scalar: Scalar,
@@ -300,6 +304,8 @@ const getArbitraryKey = (arbitrary: Arbitrary): ArbitraryKey => {
   switch (arbitrary.type) {
     case `null`:
       return keyalesce([arbitrary.type, arbitrary.name])
+    case `undefined`:
+      return keyalesce([arbitrary.type, arbitrary.name])
     case `boolean`:
       return keyalesce([arbitrary.type, arbitrary.name])
     case `number`:
@@ -416,22 +422,23 @@ const getDirectArbitraryDependencies = (
   arbitrary: Arbitrary,
 ): Set<Arbitrary> => {
   switch (arbitrary.type) {
-    case `record`:
-      return new Set(values(arbitrary.properties))
-    case `dictionary`:
-      return new Set([arbitrary.key, arbitrary.value])
-    case `array`:
-      return new Set([arbitrary.value])
-    case `union`:
-      return new Set(arbitrary.variants)
-    case `enum`:
+    case `null`:
+    case `undefined`:
+    case `boolean`:
     case `number`:
     case `bigint`:
-    case `bytes`:
     case `string`:
-    case `boolean`:
-    case `null`:
+    case `bytes`:
+    case `enum`:
       return new Set()
+    case `array`:
+      return new Set([arbitrary.value])
+    case `dictionary`:
+      return new Set([arbitrary.key, arbitrary.value])
+    case `union`:
+      return new Set(arbitrary.variants)
+    case `record`:
+      return new Set(values(arbitrary.properties))
   }
 }
 

test/index.ts

@@ -70,6 +70,14 @@ test.each([
       }
     `,
   },
+  {
+    name: `void`,
+    code: `
+      model M {
+        property: void
+      }
+    `,
+  },
   {
     name: `boolean`,
     code: `

test/snapshots/void.js

@@ -0,0 +1,5 @@
+import * as fc from 'fast-check'
+
+export const M = fc.record({
+  property: fc.constant(undefined),
+});