X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fmtask_aux.tex;h=220053ae38823473947ab203ee788a09106e9a0d;hb=5702796e5885e85b9e8dcc0d5160dccb9386b05f;hp=4f1945f733e40c3c792f8f0323fedeaaaa7c2f90;hpb=d60a9219fe02af560d2cde7b5a1ac9b2987da767;p=phd-thesis.git diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex index 4f1945f..220053a 100644 --- a/appx/mtask_aux.tex +++ b/appx/mtask_aux.tex @@ -4,7 +4,8 @@ \begin{document} \input{subfileprefix} -\chapter{Auxiliary \texorpdfstring{\glsentrytext{MTASK}}{mTask} type classes}% +\ifSubfilesClassLoaded{\appendix\setcounter{chapter}{1}}{} +\chapter{Auxiliary mTask type classes}% \label{chp:mtask_aux} \lstset{basicstyle=\tt\footnotesize} \section{Peripherals}\label{sec:aux_peripherals} @@ -95,7 +96,7 @@ where soundLevel :: (v SoundDetector) -> MTask v Bool | tupl, aio v \end{lstClean} -\subsection{\texorpdfstring{\gls{I2C}}{I\textsuperscript{2}C} buttons} +\subsection{\IIC{} buttons} The \gls{MTASK} language supports one type of \gls{I2C} buttons (the \gls{I2C} buttons from the \gls{WEMOS} d1 mini \gls{OLED} shield). The buttons from this shield provide more information than just the status (see \cleaninline{ButtonStatus}). The complete interface containing the constructor and the measurement tasks is shown in \cref{lst:mtask_i2cbutton}. @@ -114,7 +115,7 @@ class i2cbutton v where BButton :: (v I2CButton) -> MTask v ButtonStatus \end{lstClean} -\subsection{\texorpdfstring{\gls{LED}}{LED} matrix} +\subsection{LED matrix} The \gls{MTASK} language supports one type of \gls{LED} matrix (the $8\times8$ \gls{LED} matrix shield for the \gls{WEMOS} d1 mini). Instead of containing a \gls{TOP}-like interface, the \gls{ARDUINO} interface is directly translated to \gls{MTASK}. As a result, every task immediately returns a stable value indicating the result.