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