@fieldia/core 0.19.1 → 0.21.0

package/src/lib/format/layout.types.d.mts

@@ -1,7 +1,8 @@
 import type * as z from 'zod';
 import type { Page } from './page.mjs';
 import type { PageSchema } from './page.mjs';
-import type { FieldNode, FieldNodeSchema, ButtonNode, ButtonNodeSchema, SheetNode, SheetNodeSchema, StepNode, StepNodeSchema, TabNode, TabNodeSchema, LayoutNode, LayoutNodeSchema, RootLayout, RootLayoutSchema, FormNode, FormNodeSchema } from './layout.mjs';
+import type { FieldNode, FieldNodeSchema, ButtonNode, ButtonNodeSchema, SheetNode, SheetNodeSchema, StepNode, StepNodeSchema, TabNode, TabNodeSchema, LayoutNode, LayoutNodeSchema, RootLayout, RootLayoutSchema, FormNode, FormNodeSchema, SheetHead, SheetHeadSchema, HeadLink, HeadLinkSchema, TabsNode, TabsNodeSchema } from './layout.mjs';
+import type { ListCell, ListCellSchema, ListNode, ListNodeSchema } from './layout.mjs';
 /**
  * Compile-time proof that the hand-written interfaces (the public types, with
  * their docs) and the schemas (what validation actually checks) describe the
@@ -15,9 +16,14 @@ export type Checks = [
     Assert<Same<z.infer<typeof TabNodeSchema>, TabNode>>,
     Assert<Same<z.infer<typeof StepNodeSchema>, StepNode>>,
     Assert<Same<z.infer<typeof SheetNodeSchema>, SheetNode>>,
+    Assert<Same<z.infer<typeof SheetHeadSchema>, SheetHead>>,
+    Assert<Same<z.infer<typeof HeadLinkSchema>, HeadLink>>,
+    Assert<Same<z.infer<typeof TabsNodeSchema>, TabsNode>>,
     Assert<Same<z.infer<typeof FormNodeSchema>, FormNode>>,
     Assert<Same<z.infer<typeof LayoutNodeSchema>, LayoutNode>>,
     Assert<Same<z.infer<typeof RootLayoutSchema>, RootLayout>>,
     Assert<Same<z.infer<typeof PageSchema>, Page>>
 ];
+/** A list's own parts, proven the same way. */
+export type ListChecks = [Assert<Same<z.infer<typeof ListNodeSchema>, ListNode>>, Assert<Same<z.infer<typeof ListCellSchema>, ListCell>>];
 export {};

package/src/lib/format/layout.types.d.ts

@@ -1,7 +1,8 @@
 import type * as z from 'zod';
 import type { Page } from './page';
 import type { PageSchema } from './page';
-import type { FieldNode, FieldNodeSchema, ButtonNode, ButtonNodeSchema, SheetNode, SheetNodeSchema, StepNode, StepNodeSchema, TabNode, TabNodeSchema, LayoutNode, LayoutNodeSchema, RootLayout, RootLayoutSchema, FormNode, FormNodeSchema } from './layout';
+import type { FieldNode, FieldNodeSchema, ButtonNode, ButtonNodeSchema, SheetNode, SheetNodeSchema, StepNode, StepNodeSchema, TabNode, TabNodeSchema, LayoutNode, LayoutNodeSchema, RootLayout, RootLayoutSchema, FormNode, FormNodeSchema, SheetHead, SheetHeadSchema, HeadLink, HeadLinkSchema, TabsNode, TabsNodeSchema } from './layout';
+import type { ListCell, ListCellSchema, ListNode, ListNodeSchema } from './layout';
 /**
  * Compile-time proof that the hand-written interfaces (the public types, with
  * their docs) and the schemas (what validation actually checks) describe the
@@ -15,9 +16,14 @@ export type Checks = [
     Assert<Same<z.infer<typeof TabNodeSchema>, TabNode>>,
     Assert<Same<z.infer<typeof StepNodeSchema>, StepNode>>,
     Assert<Same<z.infer<typeof SheetNodeSchema>, SheetNode>>,
+    Assert<Same<z.infer<typeof SheetHeadSchema>, SheetHead>>,
+    Assert<Same<z.infer<typeof HeadLinkSchema>, HeadLink>>,
+    Assert<Same<z.infer<typeof TabsNodeSchema>, TabsNode>>,
     Assert<Same<z.infer<typeof FormNodeSchema>, FormNode>>,
     Assert<Same<z.infer<typeof LayoutNodeSchema>, LayoutNode>>,
     Assert<Same<z.infer<typeof RootLayoutSchema>, RootLayout>>,
     Assert<Same<z.infer<typeof PageSchema>, Page>>
 ];
+/** A list's own parts, proven the same way. */
+export type ListChecks = [Assert<Same<z.infer<typeof ListNodeSchema>, ListNode>>, Assert<Same<z.infer<typeof ListCellSchema>, ListCell>>];
 export {};