X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fmtask_aux.tex;h=74273a49d6841124ac3bb721796b85fd8ea4389b;hb=6e1620de7fd37b567a1b52b022ed43ab5dfa9015;hp=455360aeb0f58446a7d41b9fe86c6232b49d31ea;hpb=658c18356eecd7b43b27b5ee450db4d12a985834;p=phd-thesis.git

diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex
index 455360a..74273a4 100644
--- a/appx/mtask_aux.tex
+++ b/appx/mtask_aux.tex
@@ -1,10 +1,12 @@
 \documentclass[../thesis.tex]{subfiles}
 
-\begin{document}
-\ifSubfilesClassLoaded{
-	\pagenumbering{arabic}
-}{}
+\input{subfilepreamble}
+
+\setcounter{chapter}{1}
 
+\begin{document}
+\input{subfileprefix}
+\ifSubfilesClassLoaded{\appendix}{}
 \chapter{Auxiliary \texorpdfstring{\glsentrytext{MTASK}}{mTask} type classes}%
 \label{chp:mtask_aux}
 \lstset{basicstyle=\tt\footnotesize}
@@ -133,6 +135,32 @@ class LEDMatrix v where
 	LMDisplay :: (v LEDMatrix) -> MTask v ()
 \end{lstClean}
 
+\subsection{Connection types}\label{lst:connection_types}
+\begin{lstClean}[caption={}]
+:: TCPSettings =
+	{ host        :: String
+	, port        :: Int
+	, pingTimeout :: ?Int
+	}
+:: 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
+	}
+\end{lstClean}
+
+
 \lstset{basicstyle=\tt}
 \input{subfilepostamble}
 \end{document}