libinput-rs 0.3.1

100% drop-in Rust replacement for the libinput 1.31.3 C ABI and tools
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

module ResourceLifecycle

%default total

data Backend = Path | Udev
data Restricted = Open | Closed

data Device : Restricted -> Type where
  Acquired : Device Open
  Finished : Device Closed

reject : Device Open -> Device Closed
reject Acquired = Finished

remove : Device Open -> Device Closed
remove Acquired = Finished

data CanHotplug : Backend -> Type where
  UdevHotplug : CanHotplug Udev

noPathHotplug : CanHotplug Path -> Void
noPathHotplug UdevHotplug impossible