diff options
Diffstat (limited to 'lib/Wayland/Helpers.lean')
| -rw-r--r-- | lib/Wayland/Helpers.lean | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/Wayland/Helpers.lean b/lib/Wayland/Helpers.lean new file mode 100644 index 0000000..7230fc2 --- /dev/null +++ b/lib/Wayland/Helpers.lean @@ -0,0 +1,15 @@ +import Wayland.Display +import Wayland.Protocols + +-- Helpers that depend on the protocols and can thus not be included in `Display.lean`. + +namespace Wayland + +open Protocols + +variable {σ : Type} + +/-- Get the `wl_display` instance within the display monad. -/ +def DisplayM.getDisplay : DisplayM σ WlDisplay := getDisplay' + +end Wayland |