import Wayland.Display
import Wayland.Protocols.RiverInputManagementV1.Interface
import Wayland.Protocols.RiverLibinputConfigV1.Interface
import Wayland.Protocols.Wayland.Interface

namespace Wayland.Protocols

instance instResolvedInterfaceRiverLibinputConfigV1 : ResolvedInterface RiverLibinputConfigV1.name where
  referencedInterfaces := #[
    ⟨RiverInputDeviceV1.name, inferInstance⟩,
    ⟨RiverLibinputAccelConfigV1.name, inferInstance⟩,
    ⟨RiverLibinputConfigV1.name, inferInstance⟩,
    ⟨RiverLibinputDeviceV1.name, inferInstance⟩,
    ⟨RiverLibinputResultV1.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverLibinputDeviceV1 : ResolvedInterface RiverLibinputDeviceV1.name where
  referencedInterfaces := #[
    ⟨RiverInputDeviceV1.name, inferInstance⟩,
    ⟨RiverLibinputAccelConfigV1.name, inferInstance⟩,
    ⟨RiverLibinputDeviceV1.name, inferInstance⟩,
    ⟨RiverLibinputResultV1.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverLibinputAccelConfigV1 : ResolvedInterface RiverLibinputAccelConfigV1.name where
  referencedInterfaces := #[
    ⟨RiverLibinputAccelConfigV1.name, inferInstance⟩,
    ⟨RiverLibinputResultV1.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverLibinputResultV1 : ResolvedInterface RiverLibinputResultV1.name where
  referencedInterfaces := #[
    ⟨RiverLibinputResultV1.name, inferInstance⟩,
  ]


end Wayland.Protocols