libinput-rs 0.3.5

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

module FailOpen

%default total

data Sink = Absent | Ready
data Grab = Released | Grabbed

data Runtime : Sink -> Grab -> Type where
  Boot : Runtime Absent Released
  Prepared : Runtime Ready Released
  Active : Runtime Ready Grabbed

prepare : Runtime Absent Released -> Runtime Ready Released
prepare Boot = Prepared

grab : Runtime Ready Released -> Runtime Ready Grabbed
grab Prepared = Active

release : Runtime Ready Grabbed -> Runtime Ready Released
release Active = Prepared

forwardFailure : Runtime Ready Grabbed -> Runtime Ready Released
forwardFailure = release

data CanGrab : Sink -> Type where
  SinkReady : CanGrab Ready

noGrabWithoutSink : CanGrab Absent -> Void
noGrabWithoutSink SinkReady impossible