import Wayland.Display
import Wayland.Protocols.RiverWindowManagementV1.Interface
import Wayland.Protocols.RiverXkbBindingsV1.Interface
import Wayland.Protocols.Wayland.Interface

namespace Wayland.Protocols

instance instResolvedInterfaceRiverXkbBindingsV1 : ResolvedInterface RiverXkbBindingsV1.name where
  referencedInterfaces := #[
    ⟨RiverDecorationV1.name, inferInstance⟩,
    ⟨RiverNodeV1.name, inferInstance⟩,
    ⟨RiverOutputV1.name, inferInstance⟩,
    ⟨RiverPointerBindingV1.name, inferInstance⟩,
    ⟨RiverSeatV1.name, inferInstance⟩,
    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
    ⟨RiverWindowV1.name, inferInstance⟩,
    ⟨RiverXkbBindingV1.name, inferInstance⟩,
    ⟨RiverXkbBindingsSeatV1.name, inferInstance⟩,
    ⟨RiverXkbBindingsV1.name, inferInstance⟩,
    ⟨WlBuffer.name, inferInstance⟩,
    ⟨WlCallback.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
    ⟨WlRegion.name, inferInstance⟩,
    ⟨WlSurface.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverXkbBindingV1 : ResolvedInterface RiverXkbBindingV1.name where
  referencedInterfaces := #[
    ⟨RiverXkbBindingV1.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverXkbBindingsSeatV1 : ResolvedInterface RiverXkbBindingsSeatV1.name where
  referencedInterfaces := #[
    ⟨RiverXkbBindingsSeatV1.name, inferInstance⟩,
  ]


end Wayland.Protocols