X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fmtask_aux.tex;h=54812ff775b39032ffce408f8f15d3401b95c5a3;hb=5bc326c89f63bd6eab3e09ddc83006021745e1f2;hp=fc43da70c5a69b4b1206d160d8eea932fb4e4716;hpb=7abb270258db436c7a6bbc5d798858163420ab9f;p=phd-thesis.git diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex index fc43da7..54812ff 100644 --- a/appx/mtask_aux.tex +++ b/appx/mtask_aux.tex @@ -1,8 +1,11 @@ \documentclass[../thesis.tex]{subfiles} -\include{subfilepreamble} +\input{subfilepreamble} + \begin{document} +\input{subfileprefix} +\ifSubfilesClassLoaded{\appendix\setcounter{chapter}{1}}{} \chapter{Auxiliary \texorpdfstring{\glsentrytext{MTASK}}{mTask} type classes}% \label{chp:mtask_aux} \lstset{basicstyle=\tt\footnotesize} @@ -134,39 +137,25 @@ class LEDMatrix v where \subsection{Connection types}\label{lst:connection_types} \begin{lstClean}[caption={}] :: TCPSettings = - { host :: String - //** host name - , port :: Int - //** port number + { host :: String + , port :: Int , pingTimeout :: ?Int - //** Require a ping signal every so many seconds } :: MQTTSettings = - { host :: String - //** Host name - , port :: Int - //** Port number - , mcuId :: String - //** Identifier for the device + { host :: String + , port :: Int + , mcuId :: String , serverId :: String - //** Identifier for the server - , auth :: MQTTAuth - //** Authentication type + , auth :: MQTTAuth } :: TTYSettings = { devicePath :: String, - //* Path of the device, e.g. /dev/ttyACM0 - baudrate :: BaudRate, - //* Baudrate - bytesize :: ByteSize, - //* Parity - parity :: Parity, - //* stop2bits - stop2bits :: Bool, - //* xonxoff flow control - xonxoff :: Bool, - //* Time in seconds to wait after opening the devices. Set this to 2 if you want to connect to a borked arduino - sleepTime :: Int + baudrate :: BaudRate, + bytesize :: ByteSize, + parity :: Parity, + stop2bits :: Bool, + xonxoff :: Bool, + sleepTime :: Int } \end{lstClean}