\begin{lstClean}[label={lst:mtask_sound},caption={Sound detection sensor interface in \gls{MTASK}.}]
:: SoundDetector :== (DPin, APin)
-class SoundDetector v | tupl, expr, pinMode v & dio DPin v
-where
+class SoundDetector v | tupl, expr, pinMode v & dio DPin v where
soundDetector :: DPin APin ((v SoundDetector) -> Main (v b)) -> Main (v b)
soundPresence` :: (TimingInterval v) (v SoundDetector) -> MTask v Bool
, port :: Int
, pingTimeout :: ?Int
}
-:: MQTTSettings =
+:: MQTTSettings =
{ host :: String
, port :: Int
, mcuId :: String
, serverId :: String
, auth :: MQTTAuth
}
-:: TTYSettings = {
- devicePath :: String,
- baudrate :: BaudRate,
- bytesize :: ByteSize,
- parity :: Parity,
- stop2bits :: Bool,
- xonxoff :: Bool,
- sleepTime :: Int
+:: TTYSettings =
+ { devicePath :: String
+ , baudrate :: BaudRate
+ , bytesize :: ByteSize
+ , parity :: Parity
+ , stop2bits :: Bool
+ , xonxoff :: Bool
+ , sleepTime :: Int
}
\end{lstClean}