import Wayland.Display
import Wayland.Protocols.RiverLayerShellV1.Interface
import Wayland.Protocols.RiverWindowManagementV1.Interface
import Wayland.Protocols.Wayland.Interface

namespace Wayland.Protocols

instance instResolvedInterfaceRiverLayerShellV1 : ResolvedInterface RiverLayerShellV1.name where
  referencedInterfaces := #[
    ⟨RiverLayerShellOutputV1.name, inferInstance⟩,
    ⟨RiverLayerShellSeatV1.name, inferInstance⟩,
    ⟨RiverLayerShellV1.name, inferInstance⟩,
    ⟨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 instResolvedInterfaceRiverLayerShellOutputV1 : ResolvedInterface RiverLayerShellOutputV1.name where
  referencedInterfaces := #[
    ⟨RiverLayerShellOutputV1.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverLayerShellSeatV1 : ResolvedInterface RiverLayerShellSeatV1.name where
  referencedInterfaces := #[
    ⟨RiverLayerShellSeatV1.name, inferInstance⟩,
  ]


end Wayland.Protocols