libinput-rs 0.3.2

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
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

module RestrictedDiscovery where

data DirectAccess : Set where
  denied allowed : DirectAccess

data DirectoryEntry : Set where
  absent eventNode : DirectoryEntry

data ScanResult : Set where
  missing candidate : ScanResult

data RestrictedAccess : Set where
  refused granted : RestrictedAccess

data OpenResult : Set where
  closed opened : OpenResult

scanByDirectOpen : DirectAccess -> ScanResult
scanByDirectOpen denied = missing
scanByDirectOpen allowed = candidate

scanByName : DirectoryEntry -> ScanResult
scanByName absent = missing
scanByName eventNode = candidate

openRestricted : ScanResult -> RestrictedAccess -> OpenResult
openRestricted candidate granted = opened
openRestricted _ _ = closed

data _≡_ {A : Set} (x : A) : A -> Set where
  refl : x ≡ x

permissionIndependentDiscovery :
  (access : DirectAccess) -> scanByName eventNode ≡ candidate
permissionIndependentDiscovery _ = refl

legacyDropsRestrictedNode : scanByDirectOpen denied ≡ missing
legacyDropsRestrictedNode = refl

restrictedCallbackOpensCandidate :
  openRestricted (scanByName eventNode) granted ≡ opened
restrictedCallbackOpensCandidate = refl

restrictedCallbackDenialFailsOpen :
  openRestricted (scanByName eventNode) refused ≡ closed
restrictedCallbackDenialFailsOpen = refl