libinput-rs 0.3.4

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

module FailOpen where

data Sink : Set where
  absent ready : Sink

data Grab : Set where
  released grabbed : Grab

data Runtime : Sink -> Grab -> Set 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 -> Set where
  sinkReady : CanGrab ready

noGrabWithoutSink : CanGrab absent -> Runtime absent released
noGrabWithoutSink ()