1 files changed, 83 insertions, 0 deletions
diff --git a/lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean b/lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean
new file mode 100644
index 0000000..0022cb6
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean
@@ -0,0 +1,83 @@
+import Wayland.Display
+import Wayland.Protocols.RiverWindowManagementV1.Interface
+import Wayland.Protocols.Wayland.Interface
+
+namespace Wayland.Protocols
+
+instance instResolvedInterfaceRiverWindowManagerV1 : ResolvedInterface RiverWindowManagerV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowManagerV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverWindowV1 : ResolvedInterface RiverWindowV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverDecorationV1 : ResolvedInterface RiverDecorationV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverShellSurfaceV1 : ResolvedInterface RiverShellSurfaceV1.name where
+  referencedInterfaces := #[
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverNodeV1 : ResolvedInterface RiverNodeV1.name where
+  referencedInterfaces := #[
+    ⟨RiverNodeV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverOutputV1 : ResolvedInterface RiverOutputV1.name where
+  referencedInterfaces := #[
+    ⟨RiverOutputV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverSeatV1 : ResolvedInterface RiverSeatV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverPointerBindingV1 : ResolvedInterface RiverPointerBindingV1.name where
+  referencedInterfaces := #[
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+  ]
+
+
+end Wayland.Protocols
+\ No newline at end of file