{-# OPTIONS_GHC -fno-state-hack #-}
module Evdev (
Device,
newDevice,
nextEvent,
evdevDir,
deviceName,
devicePath,
deviceProperties,
deviceEventTypes,
deviceHasEvent,
deviceFd,
devicePhys,
deviceUniq,
deviceProduct,
deviceVendor,
deviceBustype,
deviceVersion,
grabDevice,
ungrabDevice,
Event(..),
EventData(..),
KeyEvent(..),
EventCode(..),
EventValue(..),
newDeviceFromFd,
nextEventMay,
LL.CEvent(..),
toCEvent,
fromCEvent,
toCEventData,
fromCEventData,
LL.CTimeVal(..),
toCTimeVal,
fromCTimeVal,
) where
import Control.Arrow ((&&&))
import Control.Monad (filterM, join)
import Data.ByteString.Char8 (ByteString, pack)
import Data.Int (Int32)
import Data.List.Extra (enumerate)
import Data.Map ((!?), Map)
import qualified Data.Map as Map
import Data.Maybe (fromMaybe)
import Data.Ratio ((%))
import Data.Set (Set)
import qualified Data.Set as Set
import Data.Time.Clock (DiffTime)
import Data.Tuple.Extra (uncurry3)
import Data.Word (Word16)
import Foreign ((.|.))
import Foreign.C (CUInt)
import System.Posix.Process (getProcessID)
import System.Posix.Files (readSymbolicLink)
import System.Posix.ByteString (Fd, RawFilePath)
import System.Posix.IO.ByteString (OpenMode (ReadOnly), defaultFileFlags, openFd)
import qualified Evdev.LowLevel as LL
import Evdev.Codes
import Util
data Device = Device { Device -> Device
cDevice :: LL.Device, Device -> ByteString
devicePath :: ByteString }
instance Show Device where
show :: Device -> String
show = ByteString -> String
forall a. Show a => a -> String
show (ByteString -> String)
-> (Device -> ByteString) -> Device -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> ByteString
devicePath
data Event = Event
{ Event -> EventData
eventData :: EventData
, Event -> DiffTime
eventTime :: DiffTime
}
deriving (Event -> Event -> Bool
(Event -> Event -> Bool) -> (Event -> Event -> Bool) -> Eq Event
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Event -> Event -> Bool
$c/= :: Event -> Event -> Bool
== :: Event -> Event -> Bool
$c== :: Event -> Event -> Bool
Eq, Eq Event
Eq Event
-> (Event -> Event -> Ordering)
-> (Event -> Event -> Bool)
-> (Event -> Event -> Bool)
-> (Event -> Event -> Bool)
-> (Event -> Event -> Bool)
-> (Event -> Event -> Event)
-> (Event -> Event -> Event)
-> Ord Event
Event -> Event -> Bool
Event -> Event -> Ordering
Event -> Event -> Event
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Event -> Event -> Event
$cmin :: Event -> Event -> Event
max :: Event -> Event -> Event
$cmax :: Event -> Event -> Event
>= :: Event -> Event -> Bool
$c>= :: Event -> Event -> Bool
> :: Event -> Event -> Bool
$c> :: Event -> Event -> Bool
<= :: Event -> Event -> Bool
$c<= :: Event -> Event -> Bool
< :: Event -> Event -> Bool
$c< :: Event -> Event -> Bool
compare :: Event -> Event -> Ordering
$ccompare :: Event -> Event -> Ordering
$cp1Ord :: Eq Event
Ord, Int -> Event -> ShowS
[Event] -> ShowS
Event -> String
(Int -> Event -> ShowS)
-> (Event -> String) -> ([Event] -> ShowS) -> Show Event
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Event] -> ShowS
$cshowList :: [Event] -> ShowS
show :: Event -> String
$cshow :: Event -> String
showsPrec :: Int -> Event -> ShowS
$cshowsPrec :: Int -> Event -> ShowS
Show)
data EventData
= SyncEvent SyncEvent
| KeyEvent Key KeyEvent
| RelativeEvent RelativeAxis EventValue
| AbsoluteEvent AbsoluteAxis EventValue
| MiscEvent MiscEvent EventValue
| SwitchEvent SwitchEvent EventValue
| LEDEvent LEDEvent EventValue
| SoundEvent SoundEvent EventValue
| RepeatEvent RepeatEvent EventValue
| ForceFeedbackEvent EventCode EventValue
| PowerEvent EventCode EventValue
| ForceFeedbackStatusEvent EventCode EventValue
| UnknownEvent Word16 EventCode EventValue
deriving (EventData -> EventData -> Bool
(EventData -> EventData -> Bool)
-> (EventData -> EventData -> Bool) -> Eq EventData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EventData -> EventData -> Bool
$c/= :: EventData -> EventData -> Bool
== :: EventData -> EventData -> Bool
$c== :: EventData -> EventData -> Bool
Eq, Eq EventData
Eq EventData
-> (EventData -> EventData -> Ordering)
-> (EventData -> EventData -> Bool)
-> (EventData -> EventData -> Bool)
-> (EventData -> EventData -> Bool)
-> (EventData -> EventData -> Bool)
-> (EventData -> EventData -> EventData)
-> (EventData -> EventData -> EventData)
-> Ord EventData
EventData -> EventData -> Bool
EventData -> EventData -> Ordering
EventData -> EventData -> EventData
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: EventData -> EventData -> EventData
$cmin :: EventData -> EventData -> EventData
max :: EventData -> EventData -> EventData
$cmax :: EventData -> EventData -> EventData
>= :: EventData -> EventData -> Bool
$c>= :: EventData -> EventData -> Bool
> :: EventData -> EventData -> Bool
$c> :: EventData -> EventData -> Bool
<= :: EventData -> EventData -> Bool
$c<= :: EventData -> EventData -> Bool
< :: EventData -> EventData -> Bool
$c< :: EventData -> EventData -> Bool
compare :: EventData -> EventData -> Ordering
$ccompare :: EventData -> EventData -> Ordering
$cp1Ord :: Eq EventData
Ord, Int -> EventData -> ShowS
[EventData] -> ShowS
EventData -> String
(Int -> EventData -> ShowS)
-> (EventData -> String)
-> ([EventData] -> ShowS)
-> Show EventData
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EventData] -> ShowS
$cshowList :: [EventData] -> ShowS
show :: EventData -> String
$cshow :: EventData -> String
showsPrec :: Int -> EventData -> ShowS
$cshowsPrec :: Int -> EventData -> ShowS
Show)
newtype EventCode = EventCode Word16
deriving (EventCode -> EventCode -> Bool
(EventCode -> EventCode -> Bool)
-> (EventCode -> EventCode -> Bool) -> Eq EventCode
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EventCode -> EventCode -> Bool
$c/= :: EventCode -> EventCode -> Bool
== :: EventCode -> EventCode -> Bool
$c== :: EventCode -> EventCode -> Bool
Eq, Eq EventCode
Eq EventCode
-> (EventCode -> EventCode -> Ordering)
-> (EventCode -> EventCode -> Bool)
-> (EventCode -> EventCode -> Bool)
-> (EventCode -> EventCode -> Bool)
-> (EventCode -> EventCode -> Bool)
-> (EventCode -> EventCode -> EventCode)
-> (EventCode -> EventCode -> EventCode)
-> Ord EventCode
EventCode -> EventCode -> Bool
EventCode -> EventCode -> Ordering
EventCode -> EventCode -> EventCode
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: EventCode -> EventCode -> EventCode
$cmin :: EventCode -> EventCode -> EventCode
max :: EventCode -> EventCode -> EventCode
$cmax :: EventCode -> EventCode -> EventCode
>= :: EventCode -> EventCode -> Bool
$c>= :: EventCode -> EventCode -> Bool
> :: EventCode -> EventCode -> Bool
$c> :: EventCode -> EventCode -> Bool
<= :: EventCode -> EventCode -> Bool
$c<= :: EventCode -> EventCode -> Bool
< :: EventCode -> EventCode -> Bool
$c< :: EventCode -> EventCode -> Bool
compare :: EventCode -> EventCode -> Ordering
$ccompare :: EventCode -> EventCode -> Ordering
$cp1Ord :: Eq EventCode
Ord, Int -> EventCode -> ShowS
[EventCode] -> ShowS
EventCode -> String
(Int -> EventCode -> ShowS)
-> (EventCode -> String)
-> ([EventCode] -> ShowS)
-> Show EventCode
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EventCode] -> ShowS
$cshowList :: [EventCode] -> ShowS
show :: EventCode -> String
$cshow :: EventCode -> String
showsPrec :: Int -> EventCode -> ShowS
$cshowsPrec :: Int -> EventCode -> ShowS
Show, Int -> EventCode
EventCode -> Int
EventCode -> [EventCode]
EventCode -> EventCode
EventCode -> EventCode -> [EventCode]
EventCode -> EventCode -> EventCode -> [EventCode]
(EventCode -> EventCode)
-> (EventCode -> EventCode)
-> (Int -> EventCode)
-> (EventCode -> Int)
-> (EventCode -> [EventCode])
-> (EventCode -> EventCode -> [EventCode])
-> (EventCode -> EventCode -> [EventCode])
-> (EventCode -> EventCode -> EventCode -> [EventCode])
-> Enum EventCode
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: EventCode -> EventCode -> EventCode -> [EventCode]
$cenumFromThenTo :: EventCode -> EventCode -> EventCode -> [EventCode]
enumFromTo :: EventCode -> EventCode -> [EventCode]
$cenumFromTo :: EventCode -> EventCode -> [EventCode]
enumFromThen :: EventCode -> EventCode -> [EventCode]
$cenumFromThen :: EventCode -> EventCode -> [EventCode]
enumFrom :: EventCode -> [EventCode]
$cenumFrom :: EventCode -> [EventCode]
fromEnum :: EventCode -> Int
$cfromEnum :: EventCode -> Int
toEnum :: Int -> EventCode
$ctoEnum :: Int -> EventCode
pred :: EventCode -> EventCode
$cpred :: EventCode -> EventCode
succ :: EventCode -> EventCode
$csucc :: EventCode -> EventCode
Enum)
newtype EventValue = EventValue Int32
deriving (EventValue -> EventValue -> Bool
(EventValue -> EventValue -> Bool)
-> (EventValue -> EventValue -> Bool) -> Eq EventValue
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EventValue -> EventValue -> Bool
$c/= :: EventValue -> EventValue -> Bool
== :: EventValue -> EventValue -> Bool
$c== :: EventValue -> EventValue -> Bool
Eq, Eq EventValue
Eq EventValue
-> (EventValue -> EventValue -> Ordering)
-> (EventValue -> EventValue -> Bool)
-> (EventValue -> EventValue -> Bool)
-> (EventValue -> EventValue -> Bool)
-> (EventValue -> EventValue -> Bool)
-> (EventValue -> EventValue -> EventValue)
-> (EventValue -> EventValue -> EventValue)
-> Ord EventValue
EventValue -> EventValue -> Bool
EventValue -> EventValue -> Ordering
EventValue -> EventValue -> EventValue
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: EventValue -> EventValue -> EventValue
$cmin :: EventValue -> EventValue -> EventValue
max :: EventValue -> EventValue -> EventValue
$cmax :: EventValue -> EventValue -> EventValue
>= :: EventValue -> EventValue -> Bool
$c>= :: EventValue -> EventValue -> Bool
> :: EventValue -> EventValue -> Bool
$c> :: EventValue -> EventValue -> Bool
<= :: EventValue -> EventValue -> Bool
$c<= :: EventValue -> EventValue -> Bool
< :: EventValue -> EventValue -> Bool
$c< :: EventValue -> EventValue -> Bool
compare :: EventValue -> EventValue -> Ordering
$ccompare :: EventValue -> EventValue -> Ordering
$cp1Ord :: Eq EventValue
Ord, Int -> EventValue -> ShowS
[EventValue] -> ShowS
EventValue -> String
(Int -> EventValue -> ShowS)
-> (EventValue -> String)
-> ([EventValue] -> ShowS)
-> Show EventValue
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EventValue] -> ShowS
$cshowList :: [EventValue] -> ShowS
show :: EventValue -> String
$cshow :: EventValue -> String
showsPrec :: Int -> EventValue -> ShowS
$cshowsPrec :: Int -> EventValue -> ShowS
Show, Int -> EventValue
EventValue -> Int
EventValue -> [EventValue]
EventValue -> EventValue
EventValue -> EventValue -> [EventValue]
EventValue -> EventValue -> EventValue -> [EventValue]
(EventValue -> EventValue)
-> (EventValue -> EventValue)
-> (Int -> EventValue)
-> (EventValue -> Int)
-> (EventValue -> [EventValue])
-> (EventValue -> EventValue -> [EventValue])
-> (EventValue -> EventValue -> [EventValue])
-> (EventValue -> EventValue -> EventValue -> [EventValue])
-> Enum EventValue
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: EventValue -> EventValue -> EventValue -> [EventValue]
$cenumFromThenTo :: EventValue -> EventValue -> EventValue -> [EventValue]
enumFromTo :: EventValue -> EventValue -> [EventValue]
$cenumFromTo :: EventValue -> EventValue -> [EventValue]
enumFromThen :: EventValue -> EventValue -> [EventValue]
$cenumFromThen :: EventValue -> EventValue -> [EventValue]
enumFrom :: EventValue -> [EventValue]
$cenumFrom :: EventValue -> [EventValue]
fromEnum :: EventValue -> Int
$cfromEnum :: EventValue -> Int
toEnum :: Int -> EventValue
$ctoEnum :: Int -> EventValue
pred :: EventValue -> EventValue
$cpred :: EventValue -> EventValue
succ :: EventValue -> EventValue
$csucc :: EventValue -> EventValue
Enum)
data KeyEvent
= Released
| Pressed
| Repeated
deriving (KeyEvent
KeyEvent -> KeyEvent -> Bounded KeyEvent
forall a. a -> a -> Bounded a
maxBound :: KeyEvent
$cmaxBound :: KeyEvent
minBound :: KeyEvent
$cminBound :: KeyEvent
Bounded, Int -> KeyEvent
KeyEvent -> Int
KeyEvent -> [KeyEvent]
KeyEvent -> KeyEvent
KeyEvent -> KeyEvent -> [KeyEvent]
KeyEvent -> KeyEvent -> KeyEvent -> [KeyEvent]
(KeyEvent -> KeyEvent)
-> (KeyEvent -> KeyEvent)
-> (Int -> KeyEvent)
-> (KeyEvent -> Int)
-> (KeyEvent -> [KeyEvent])
-> (KeyEvent -> KeyEvent -> [KeyEvent])
-> (KeyEvent -> KeyEvent -> [KeyEvent])
-> (KeyEvent -> KeyEvent -> KeyEvent -> [KeyEvent])
-> Enum KeyEvent
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: KeyEvent -> KeyEvent -> KeyEvent -> [KeyEvent]
$cenumFromThenTo :: KeyEvent -> KeyEvent -> KeyEvent -> [KeyEvent]
enumFromTo :: KeyEvent -> KeyEvent -> [KeyEvent]
$cenumFromTo :: KeyEvent -> KeyEvent -> [KeyEvent]
enumFromThen :: KeyEvent -> KeyEvent -> [KeyEvent]
$cenumFromThen :: KeyEvent -> KeyEvent -> [KeyEvent]
enumFrom :: KeyEvent -> [KeyEvent]
$cenumFrom :: KeyEvent -> [KeyEvent]
fromEnum :: KeyEvent -> Int
$cfromEnum :: KeyEvent -> Int
toEnum :: Int -> KeyEvent
$ctoEnum :: Int -> KeyEvent
pred :: KeyEvent -> KeyEvent
$cpred :: KeyEvent -> KeyEvent
succ :: KeyEvent -> KeyEvent
$csucc :: KeyEvent -> KeyEvent
Enum, KeyEvent -> KeyEvent -> Bool
(KeyEvent -> KeyEvent -> Bool)
-> (KeyEvent -> KeyEvent -> Bool) -> Eq KeyEvent
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: KeyEvent -> KeyEvent -> Bool
$c/= :: KeyEvent -> KeyEvent -> Bool
== :: KeyEvent -> KeyEvent -> Bool
$c== :: KeyEvent -> KeyEvent -> Bool
Eq, Eq KeyEvent
Eq KeyEvent
-> (KeyEvent -> KeyEvent -> Ordering)
-> (KeyEvent -> KeyEvent -> Bool)
-> (KeyEvent -> KeyEvent -> Bool)
-> (KeyEvent -> KeyEvent -> Bool)
-> (KeyEvent -> KeyEvent -> Bool)
-> (KeyEvent -> KeyEvent -> KeyEvent)
-> (KeyEvent -> KeyEvent -> KeyEvent)
-> Ord KeyEvent
KeyEvent -> KeyEvent -> Bool
KeyEvent -> KeyEvent -> Ordering
KeyEvent -> KeyEvent -> KeyEvent
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: KeyEvent -> KeyEvent -> KeyEvent
$cmin :: KeyEvent -> KeyEvent -> KeyEvent
max :: KeyEvent -> KeyEvent -> KeyEvent
$cmax :: KeyEvent -> KeyEvent -> KeyEvent
>= :: KeyEvent -> KeyEvent -> Bool
$c>= :: KeyEvent -> KeyEvent -> Bool
> :: KeyEvent -> KeyEvent -> Bool
$c> :: KeyEvent -> KeyEvent -> Bool
<= :: KeyEvent -> KeyEvent -> Bool
$c<= :: KeyEvent -> KeyEvent -> Bool
< :: KeyEvent -> KeyEvent -> Bool
$c< :: KeyEvent -> KeyEvent -> Bool
compare :: KeyEvent -> KeyEvent -> Ordering
$ccompare :: KeyEvent -> KeyEvent -> Ordering
$cp1Ord :: Eq KeyEvent
Ord, ReadPrec [KeyEvent]
ReadPrec KeyEvent
Int -> ReadS KeyEvent
ReadS [KeyEvent]
(Int -> ReadS KeyEvent)
-> ReadS [KeyEvent]
-> ReadPrec KeyEvent
-> ReadPrec [KeyEvent]
-> Read KeyEvent
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [KeyEvent]
$creadListPrec :: ReadPrec [KeyEvent]
readPrec :: ReadPrec KeyEvent
$creadPrec :: ReadPrec KeyEvent
readList :: ReadS [KeyEvent]
$creadList :: ReadS [KeyEvent]
readsPrec :: Int -> ReadS KeyEvent
$creadsPrec :: Int -> ReadS KeyEvent
Read, Int -> KeyEvent -> ShowS
[KeyEvent] -> ShowS
KeyEvent -> String
(Int -> KeyEvent -> ShowS)
-> (KeyEvent -> String) -> ([KeyEvent] -> ShowS) -> Show KeyEvent
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [KeyEvent] -> ShowS
$cshowList :: [KeyEvent] -> ShowS
show :: KeyEvent -> String
$cshow :: KeyEvent -> String
showsPrec :: Int -> KeyEvent -> ShowS
$cshowsPrec :: Int -> KeyEvent -> ShowS
Show)
convertFlags :: Set LL.ReadFlag -> CUInt
convertFlags :: Set ReadFlag -> CUInt
convertFlags = Int -> CUInt
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> CUInt) -> (Set ReadFlag -> Int) -> Set ReadFlag -> CUInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ReadFlag -> Int -> Int) -> Int -> Set ReadFlag -> Int
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr (Int -> Int -> Int
forall a. Bits a => a -> a -> a
(.|.) (Int -> Int -> Int) -> (ReadFlag -> Int) -> ReadFlag -> Int -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ReadFlag -> Int
forall a. Enum a => a -> Int
fromEnum) Int
0
defaultReadFlags :: Set LL.ReadFlag
defaultReadFlags :: Set ReadFlag
defaultReadFlags = [ReadFlag] -> Set ReadFlag
forall a. Ord a => [a] -> Set a
Set.fromList [ReadFlag
LL.Normal, ReadFlag
LL.Blocking]
nonBlockingReadFlags :: Set LL.ReadFlag
nonBlockingReadFlags :: Set ReadFlag
nonBlockingReadFlags = [ReadFlag] -> Set ReadFlag
forall a. Ord a => [a] -> Set a
Set.fromList [ReadFlag
LL.Normal]
grabDevice :: Device -> IO ()
grabDevice :: Device -> IO ()
grabDevice = GrabMode -> Device -> IO ()
grabDevice' GrabMode
LL.LibevdevGrab
ungrabDevice :: Device -> IO ()
ungrabDevice :: Device -> IO ()
ungrabDevice = GrabMode -> Device -> IO ()
grabDevice' GrabMode
LL.LibevdevUngrab
nextEvent :: Device -> IO Event
nextEvent :: Device -> IO Event
nextEvent Device
dev =
CEvent -> Event
fromCEvent (CEvent -> Event) -> IO CEvent -> IO Event
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String
-> Device -> IO (Errno, CEvent) -> IO (CErrCallRes (Errno, CEvent))
forall a info.
(CErrCall a, CErrInfo info) =>
String -> info -> IO a -> IO (CErrCallRes a)
cErrCall String
"nextEvent" Device
dev (Device -> CUInt -> IO (Errno, CEvent)
LL.nextEvent (Device -> Device
cDevice Device
dev) (Set ReadFlag -> CUInt
convertFlags Set ReadFlag
defaultReadFlags))
nextEventMay :: Device -> IO (Maybe Event)
nextEventMay :: Device -> IO (Maybe Event)
nextEventMay Device
dev =
(CEvent -> Event) -> Maybe CEvent -> Maybe Event
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap CEvent -> Event
fromCEvent (Maybe CEvent -> Maybe Event)
-> IO (Maybe CEvent) -> IO (Maybe Event)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String
-> Device
-> IO (Errno, Maybe CEvent)
-> IO (CErrCallRes (Errno, Maybe CEvent))
forall a info.
(CErrCall a, CErrInfo info) =>
String -> info -> IO a -> IO (CErrCallRes a)
cErrCall String
"nextEventMay" Device
dev (Device -> CUInt -> IO (Errno, Maybe CEvent)
LL.nextEventMay (Device -> Device
cDevice Device
dev) (Set ReadFlag -> CUInt
convertFlags Set ReadFlag
nonBlockingReadFlags))
fromCEvent :: LL.CEvent -> Event
fromCEvent :: CEvent -> Event
fromCEvent (LL.CEvent Word16
t Word16
c Int32
v CTimeVal
time) = EventData -> DiffTime -> Event
Event ((Word16, Word16, Int32) -> EventData
fromCEventData (Word16
t,Word16
c,Int32
v)) (DiffTime -> Event) -> DiffTime -> Event
forall a b. (a -> b) -> a -> b
$ CTimeVal -> DiffTime
fromCTimeVal CTimeVal
time
fromCEventData :: (Word16, Word16, Int32) -> EventData
fromCEventData :: (Word16, Word16, Int32) -> EventData
fromCEventData (Word16
t, Word16 -> EventCode
EventCode -> EventCode
c, Int32 -> EventValue
EventValue -> EventValue
v) = EventData -> Maybe EventData -> EventData
forall a. a -> Maybe a -> a
fromMaybe (Word16 -> EventCode -> EventValue -> EventData
UnknownEvent Word16
t EventCode
c EventValue
v) (Maybe EventData -> EventData) -> Maybe EventData -> EventData
forall a b. (a -> b) -> a -> b
$ Word16 -> Maybe EventType
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' Word16
t Maybe EventType
-> (EventType -> Maybe EventData) -> Maybe EventData
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \case
EventType
EvSyn -> SyncEvent -> EventData
SyncEvent (SyncEvent -> EventData) -> Maybe SyncEvent -> Maybe EventData
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe SyncEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c
EventType
EvKey -> Key -> KeyEvent -> EventData
KeyEvent (Key -> KeyEvent -> EventData)
-> Maybe Key -> Maybe (KeyEvent -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe Key
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (KeyEvent -> EventData) -> Maybe KeyEvent -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe KeyEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventValue
v
EventType
EvRel -> RelativeAxis -> EventValue -> EventData
RelativeEvent (RelativeAxis -> EventValue -> EventData)
-> Maybe RelativeAxis -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe RelativeAxis
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvAbs -> AbsoluteAxis -> EventValue -> EventData
AbsoluteEvent (AbsoluteAxis -> EventValue -> EventData)
-> Maybe AbsoluteAxis -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe AbsoluteAxis
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvMsc -> MiscEvent -> EventValue -> EventData
MiscEvent (MiscEvent -> EventValue -> EventData)
-> Maybe MiscEvent -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe MiscEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvSw -> SwitchEvent -> EventValue -> EventData
SwitchEvent (SwitchEvent -> EventValue -> EventData)
-> Maybe SwitchEvent -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe SwitchEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvLed -> LEDEvent -> EventValue -> EventData
LEDEvent (LEDEvent -> EventValue -> EventData)
-> Maybe LEDEvent -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe LEDEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvSnd -> SoundEvent -> EventValue -> EventData
SoundEvent (SoundEvent -> EventValue -> EventData)
-> Maybe SoundEvent -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe SoundEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvRep -> RepeatEvent -> EventValue -> EventData
RepeatEvent (RepeatEvent -> EventValue -> EventData)
-> Maybe RepeatEvent -> Maybe (EventValue -> EventData)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EventCode -> Maybe RepeatEvent
forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' EventCode
c Maybe (EventValue -> EventData)
-> Maybe EventValue -> Maybe EventData
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EventValue -> Maybe EventValue
forall (f :: * -> *) a. Applicative f => a -> f a
pure EventValue
v
EventType
EvFf -> EventData -> Maybe EventData
forall a. a -> Maybe a
Just (EventData -> Maybe EventData) -> EventData -> Maybe EventData
forall a b. (a -> b) -> a -> b
$ EventCode -> EventValue -> EventData
ForceFeedbackEvent EventCode
c EventValue
v
EventType
EvPwr -> EventData -> Maybe EventData
forall a. a -> Maybe a
Just (EventData -> Maybe EventData) -> EventData -> Maybe EventData
forall a b. (a -> b) -> a -> b
$ EventCode -> EventValue -> EventData
PowerEvent EventCode
c EventValue
v
EventType
EvFfStatus -> EventData -> Maybe EventData
forall a. a -> Maybe a
Just (EventData -> Maybe EventData) -> EventData -> Maybe EventData
forall a b. (a -> b) -> a -> b
$ EventCode -> EventValue -> EventData
ForceFeedbackStatusEvent EventCode
c EventValue
v
toCEvent :: Event -> LL.CEvent
toCEvent :: Event -> CEvent
toCEvent (Event EventData
e DiffTime
time) = (Word16 -> Word16 -> Int32 -> CTimeVal -> CEvent)
-> (Word16, Word16, Int32) -> CTimeVal -> CEvent
forall a b c d. (a -> b -> c -> d) -> (a, b, c) -> d
uncurry3 Word16 -> Word16 -> Int32 -> CTimeVal -> CEvent
LL.CEvent (EventData -> (Word16, Word16, Int32)
toCEventData EventData
e) (CTimeVal -> CEvent) -> CTimeVal -> CEvent
forall a b. (a -> b) -> a -> b
$ DiffTime -> CTimeVal
toCTimeVal DiffTime
time
toCEventData :: EventData -> (Word16, Word16, Int32)
toCEventData :: EventData -> (Word16, Word16, Int32)
toCEventData = \case
SyncEvent (SyncEvent -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvSyn, Word16
c, Int32
0)
KeyEvent (Key -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (KeyEvent -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvKey, Word16
c, Int32
v)
RelativeEvent (RelativeAxis -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvRel, Word16
c, Int32
v)
AbsoluteEvent (AbsoluteAxis -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvAbs, Word16
c, Int32
v)
MiscEvent (MiscEvent -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvMsc, Word16
c, Int32
v)
SwitchEvent (SwitchEvent -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvSw, Word16
c, Int32
v)
LEDEvent (LEDEvent -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvLed, Word16
c, Int32
v)
SoundEvent (SoundEvent -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvSnd, Word16
c, Int32
v)
RepeatEvent (RepeatEvent -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvRep, Word16
c, Int32
v)
ForceFeedbackEvent (EventCode -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvFf, Word16
c, Int32
v)
PowerEvent (EventCode -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvPwr, Word16
c, Int32
v)
ForceFeedbackStatusEvent (EventCode -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (EventType -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' EventType
EvFfStatus, Word16
c, Int32
v)
UnknownEvent (Word16 -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
t) (EventCode -> Word16
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Word16
c) (EventValue -> Int32
forall c a. (Num c, Enum a) => a -> c
fromEnum' -> Int32
v) -> (Word16
t, Word16
c, Int32
v)
fromCTimeVal :: LL.CTimeVal -> DiffTime
fromCTimeVal :: CTimeVal -> DiffTime
fromCTimeVal (LL.CTimeVal Int64
s Int64
us) =
Rational -> DiffTime
forall a. Fractional a => Rational -> a
fromRational (Rational -> DiffTime) -> Rational -> DiffTime
forall a b. (a -> b) -> a -> b
$ Int64 -> Rational
forall a b. (Integral a, Num b) => a -> b
fromIntegral Int64
s Rational -> Rational -> Rational
forall a. Num a => a -> a -> a
+ (Int64 -> Integer
forall a b. (Integral a, Num b) => a -> b
fromIntegral Int64
us Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1_000_000)
toCTimeVal :: DiffTime -> LL.CTimeVal
toCTimeVal :: DiffTime -> CTimeVal
toCTimeVal DiffTime
t = Int64 -> Int64 -> CTimeVal
LL.CTimeVal Int64
n (DiffTime -> Int64
forall a b. (RealFrac a, Integral b) => a -> b
round (DiffTime -> Int64) -> DiffTime -> Int64
forall a b. (a -> b) -> a -> b
$ DiffTime
f DiffTime -> DiffTime -> DiffTime
forall a. Num a => a -> a -> a
* DiffTime
1_000_000)
where (Int64
n,DiffTime
f) = DiffTime -> (Int64, DiffTime)
forall a b. (RealFrac a, Integral b) => a -> (b, a)
properFraction DiffTime
t
newDevice :: RawFilePath -> IO Device
newDevice :: ByteString -> IO Device
newDevice ByteString
path = Fd -> IO Device
newDeviceFromFd (Fd -> IO Device) -> IO Fd -> IO Device
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< ByteString -> OpenMode -> Maybe FileMode -> OpenFileFlags -> IO Fd
openFd ByteString
path OpenMode
ReadOnly Maybe FileMode
forall a. Maybe a
Nothing OpenFileFlags
defaultFileFlags
newDeviceFromFd :: Fd -> IO Device
newDeviceFromFd :: Fd -> IO Device
newDeviceFromFd Fd
fd = do
Device
dev <- String
-> () -> IO (Errno, Device) -> IO (CErrCallRes (Errno, Device))
forall a info.
(CErrCall a, CErrInfo info) =>
String -> info -> IO a -> IO (CErrCallRes a)
cErrCall String
"newDeviceFromFd" () (IO (Errno, Device) -> IO (CErrCallRes (Errno, Device)))
-> IO (Errno, Device) -> IO (CErrCallRes (Errno, Device))
forall a b. (a -> b) -> a -> b
$ Fd -> IO (Errno, Device)
LL.newDeviceFromFd Fd
fd
ProcessID
pid <- IO ProcessID
getProcessID
String
path <- String -> IO String
readSymbolicLink (String -> IO String) -> String -> IO String
forall a b. (a -> b) -> a -> b
$ String
"/proc/" String -> ShowS
forall a. Semigroup a => a -> a -> a
<> ProcessID -> String
forall a. Show a => a -> String
show ProcessID
pid String -> ShowS
forall a. Semigroup a => a -> a -> a
<> String
"/fd/" String -> ShowS
forall a. Semigroup a => a -> a -> a
<> Fd -> String
forall a. Show a => a -> String
show Fd
fd
Device -> IO Device
forall (m :: * -> *) a. Monad m => a -> m a
return (Device -> IO Device) -> Device -> IO Device
forall a b. (a -> b) -> a -> b
$ Device :: Device -> ByteString -> Device
Device{cDevice :: Device
cDevice = Device
dev, devicePath :: ByteString
devicePath = String -> ByteString
pack String
path}
evdevDir :: RawFilePath
evdevDir :: ByteString
evdevDir = ByteString
"/dev/input"
deviceName :: Device -> IO ByteString
deviceName :: Device -> IO ByteString
deviceName = IO (IO ByteString) -> IO ByteString
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (IO (IO ByteString) -> IO ByteString)
-> (Device -> IO (IO ByteString)) -> Device -> IO ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> IO (IO ByteString)
LL.deviceName (Device -> IO (IO ByteString))
-> (Device -> Device) -> Device -> IO (IO ByteString)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceFd :: Device -> IO Fd
deviceFd :: Device -> IO Fd
deviceFd = Device -> IO Fd
LL.deviceFd (Device -> IO Fd) -> (Device -> Device) -> Device -> IO Fd
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
devicePhys :: Device -> IO ByteString
devicePhys :: Device -> IO ByteString
devicePhys = IO (IO ByteString) -> IO ByteString
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (IO (IO ByteString) -> IO ByteString)
-> (Device -> IO (IO ByteString)) -> Device -> IO ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> IO (IO ByteString)
LL.devicePhys (Device -> IO (IO ByteString))
-> (Device -> Device) -> Device -> IO (IO ByteString)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceUniq :: Device -> IO ByteString
deviceUniq :: Device -> IO ByteString
deviceUniq = IO (IO ByteString) -> IO ByteString
forall (m :: * -> *) a. Monad m => m (m a) -> m a
join (IO (IO ByteString) -> IO ByteString)
-> (Device -> IO (IO ByteString)) -> Device -> IO ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> IO (IO ByteString)
LL.deviceUniq (Device -> IO (IO ByteString))
-> (Device -> Device) -> Device -> IO (IO ByteString)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceProduct :: Device -> IO Int
deviceProduct :: Device -> IO Int
deviceProduct = Device -> IO Int
LL.deviceProduct (Device -> IO Int) -> (Device -> Device) -> Device -> IO Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceVendor :: Device -> IO Int
deviceVendor :: Device -> IO Int
deviceVendor = Device -> IO Int
LL.deviceVendor (Device -> IO Int) -> (Device -> Device) -> Device -> IO Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceBustype :: Device -> IO Int
deviceBustype :: Device -> IO Int
deviceBustype = Device -> IO Int
LL.deviceBustype (Device -> IO Int) -> (Device -> Device) -> Device -> IO Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceVersion :: Device -> IO Int
deviceVersion :: Device -> IO Int
deviceVersion = Device -> IO Int
LL.deviceVersion (Device -> IO Int) -> (Device -> Device) -> Device -> IO Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> Device
cDevice
deviceProperties :: Device -> IO [DeviceProperty]
deviceProperties :: Device -> IO [DeviceProperty]
deviceProperties Device
dev = (DeviceProperty -> IO Bool)
-> [DeviceProperty] -> IO [DeviceProperty]
forall (m :: * -> *) a.
Applicative m =>
(a -> m Bool) -> [a] -> m [a]
filterM (Device -> DeviceProperty -> IO Bool
LL.hasProperty (Device -> DeviceProperty -> IO Bool)
-> Device -> DeviceProperty -> IO Bool
forall a b. (a -> b) -> a -> b
$ Device -> Device
cDevice Device
dev) [DeviceProperty]
forall a. (Enum a, Bounded a) => [a]
enumerate
deviceEventTypes :: Device -> IO [EventType]
deviceEventTypes :: Device -> IO [EventType]
deviceEventTypes Device
dev = (EventType -> IO Bool) -> [EventType] -> IO [EventType]
forall (m :: * -> *) a.
Applicative m =>
(a -> m Bool) -> [a] -> m [a]
filterM (Device -> EventType -> IO Bool
LL.hasEventType (Device -> EventType -> IO Bool) -> Device -> EventType -> IO Bool
forall a b. (a -> b) -> a -> b
$ Device -> Device
cDevice Device
dev) [EventType]
forall a. (Enum a, Bounded a) => [a]
enumerate
deviceHasEvent :: Device -> EventData -> IO Bool
deviceHasEvent :: Device -> EventData -> IO Bool
deviceHasEvent Device
dev EventData
e = Device -> Word16 -> Word16 -> IO Bool
LL.hasEventCode (Device -> Device
cDevice Device
dev) Word16
typ Word16
code
where (Word16
typ,Word16
code,Int32
_val) = EventData -> (Word16, Word16, Int32)
toCEventData EventData
e
grabDevice' :: LL.GrabMode -> Device -> IO ()
grabDevice' :: GrabMode -> Device -> IO ()
grabDevice' GrabMode
mode Device
dev = String -> Device -> IO Errno -> IO (CErrCallRes Errno)
forall a info.
(CErrCall a, CErrInfo info) =>
String -> info -> IO a -> IO (CErrCallRes a)
cErrCall String
"grabDevice" Device
dev (IO Errno -> IO (CErrCallRes Errno))
-> IO Errno -> IO (CErrCallRes Errno)
forall a b. (a -> b) -> a -> b
$
Device -> GrabMode -> IO Errno
LL.grabDevice (Device -> Device
cDevice Device
dev) GrabMode
mode
toEnum' :: forall k a. (Ord k, Enum k, Bounded a, Enum a) => k -> Maybe a
toEnum' :: k -> Maybe a
toEnum' = (Map k a
enumMap Map k a -> k -> Maybe a
forall k a. Ord k => Map k a -> k -> Maybe a
!?)
where
enumMap :: Map k a
enumMap :: Map k a
enumMap = [(k, a)] -> Map k a
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList ([(k, a)] -> Map k a) -> [(k, a)] -> Map k a
forall a b. (a -> b) -> a -> b
$ (a -> (k, a)) -> [a] -> [(k, a)]
forall a b. (a -> b) -> [a] -> [b]
map (Int -> k
forall a. Enum a => Int -> a
toEnum (Int -> k) -> (a -> Int) -> a -> k
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Int
forall a. Enum a => a -> Int
fromEnum (a -> k) -> (a -> a) -> a -> (k, a)
forall (a :: * -> * -> *) b c c'.
Arrow a =>
a b c -> a b c' -> a b (c, c')
&&& a -> a
forall a. a -> a
id) [a]
forall a. (Enum a, Bounded a) => [a]
enumerate
instance CErrInfo Device where
cErrInfo :: Device -> IO (Maybe ByteString)
cErrInfo = Maybe ByteString -> IO (Maybe ByteString)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe ByteString -> IO (Maybe ByteString))
-> (Device -> Maybe ByteString) -> Device -> IO (Maybe ByteString)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Maybe ByteString
forall a. a -> Maybe a
Just (ByteString -> Maybe ByteString)
-> (Device -> ByteString) -> Device -> Maybe ByteString
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Device -> ByteString
devicePath