improve hole props

lib/components/hole.ts

@@ -0,0 +1,25 @@
+import type { z } from "zod"
+import { distance, type Distance } from "lib/common/distance"
+import { pcbLayoutProps, type PcbLayoutProps } from "lib/common/layout"
+import { expectTypesMatch } from "lib/typecheck"
+
+export interface HoleProps extends Omit<PcbLayoutProps, "pcbRotation"> {
+  diameter?: Distance
+  radius?: Distance
+}
+
+export const holeProps = pcbLayoutProps
+  .omit({ pcbRotation: true })
+  .extend({
+    diameter: distance.optional(),
+    radius: distance.optional(),
+  })
+  .transform((d) => ({
+    ...d,
+    diameter: d.diameter ?? 2 * d.radius!,
+    radius: d.radius ?? d.diameter! / 2,
+  }))
+
+export type InferredHoleProps = z.input<typeof holeProps>
+
+expectTypesMatch<HoleProps, InferredHoleProps>(true)

lib/index.ts

@@ -56,6 +56,7 @@ export * from "./components/net"
 export * from "./components/constrainedlayout"
 export * from "./components/constraint"
 export * from "./components/smtpad"
+export * from "./components/hole"
 
 export const inductorProps = commonComponentProps.extend({
   inductance,
@@ -151,11 +152,6 @@ export const pcbKeepoutProps = z.union([
 ])
 export type PcbKeepoutProps = z.input<typeof pcbKeepoutProps>
 
-export const holeProps = pcbLayoutProps.omit({ pcbRotation: true }).extend({
-  holeDiameter: distance,
-})
-export type HoleProps = z.input<typeof holeProps>
-
 export const schematicBoxProps = z.object({
   schX: distance,
   schY: distance,