X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fmtask_aux.tex;h=a088aa017f785a8ada90327a697590cb741ca0af;hb=9778c30bde0ac05c50b7664aba1f3faad6682ef3;hp=28532c2acd6b0243ba989e87c4de162e1027daa9;hpb=3044eec5a52dcd464ecfe502a521d09689f48f06;p=phd-thesis.git

diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex
index 28532c2..a088aa0 100644
--- a/appx/mtask_aux.tex
+++ b/appx/mtask_aux.tex
@@ -85,8 +85,7 @@ Therefore, a sound detector is nothing more than a tuple of a \cleaninline{DPin}
 \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
@@ -140,21 +139,21 @@ class LEDMatrix v where
 	, 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}