X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fmtask_aux.tex;h=019e0cf58ffbd762b40d72266753bd5491038042;hb=4c449b205b49b4773934bd5cfd22e0f15e199eeb;hp=455360aeb0f58446a7d41b9fe86c6232b49d31ea;hpb=658c18356eecd7b43b27b5ee450db4d12a985834;p=phd-thesis.git diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex index 455360a..019e0cf 100644 --- a/appx/mtask_aux.tex +++ b/appx/mtask_aux.tex @@ -1,10 +1,9 @@ \documentclass[../thesis.tex]{subfiles} -\begin{document} -\ifSubfilesClassLoaded{ - \pagenumbering{arabic} -}{} +\input{subfilepreamble} +\begin{document} +\input{subfileprefix} \chapter{Auxiliary \texorpdfstring{\glsentrytext{MTASK}}{mTask} type classes}% \label{chp:mtask_aux} \lstset{basicstyle=\tt\footnotesize} @@ -133,6 +132,46 @@ class LEDMatrix v where LMDisplay :: (v LEDMatrix) -> MTask v () \end{lstClean} +\subsection{Connection types}\label{lst:connection_types} +\begin{lstClean}[caption={}] +:: TCPSettings = + { host :: String + //** host name + , port :: Int + //** port number + , 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 + , serverId :: String + //** Identifier for the server + , auth :: MQTTAuth + //** Authentication type + } +:: 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 + } +\end{lstClean} + + \lstset{basicstyle=\tt} \input{subfilepostamble} \end{document}