libinput-rs 0.2.2

Fail-open Rust touchpad companion and drop-in libinput ABI replacement
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

module ResourceLifecycle where

data Backend : Set where
  path udev : Backend

data Restricted : Set where
  fdOpen fdClosed : Restricted

data Device : Restricted -> Set where
  acquired : Device fdOpen
  finished : Device fdClosed

reject : Device fdOpen -> Device fdClosed
reject acquired = finished

remove : Device fdOpen -> Device fdClosed
remove acquired = finished

data CanHotplug : Backend -> Set where
  udevHotplug : CanHotplug udev

data Empty : Set where

noPathHotplug : CanHotplug path -> Empty
noPathHotplug ()