import Wayland.Display
import Wayland.Protocols.RiverInputManagementV1.Interface
import Wayland.Protocols.RiverXkbConfigV1.Interface
import Wayland.Protocols.Wayland.Interface

namespace Wayland.Protocols

instance instResolvedInterfaceRiverXkbConfigV1 : ResolvedInterface RiverXkbConfigV1.name where
  referencedInterfaces := #[
    ⟨RiverInputDeviceV1.name, inferInstance⟩,
    ⟨RiverXkbConfigV1.name, inferInstance⟩,
    ⟨RiverXkbKeyboardV1.name, inferInstance⟩,
    ⟨RiverXkbKeymapV1.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverXkbKeymapV1 : ResolvedInterface RiverXkbKeymapV1.name where
  referencedInterfaces := #[
    ⟨RiverXkbKeymapV1.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverXkbKeyboardV1 : ResolvedInterface RiverXkbKeyboardV1.name where
  referencedInterfaces := #[
    ⟨RiverInputDeviceV1.name, inferInstance⟩,
    ⟨RiverXkbKeyboardV1.name, inferInstance⟩,
    ⟨RiverXkbKeymapV1.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
  ]


end Wayland.Protocols