\documentclass[a4paper]{book}

\usepackage[british]{babel}

\usepackage{geometry}                % Papersize
\usepackage[titletoc]{appendix}      % Appendices
\usepackage{rutitlepage/rutitlepage} % Titlepage
\usepackage{hyperref}                % Hyperlinks
\usepackage{booktabs}                % Better looking tables
\usepackage{todonotes}               % Todo's
\usepackage{caption}                 % Captions
\usepackage{subcaption}              % Subcaptions
\usepackage{lipsum}                  % dummy text
\usepackage{listings}                % source code
\usepackage{float}                   % floating images

\graphicspath{{img/}}

\urlstyle{same}
\hypersetup{%
	pdftitle={iTasks and the Internet of Things},
	pdfauthor={Mart Lubbers},
	pdfsubject={iTasks and the Internet of Things},
	pdfcreator={Mart Lubbers},
	pdfproducer={Mart Lubbers},
	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
	hidelinks=true
}

\pdfstringdefDisableCommands{%
	\def\acrlong#1{}%
	\def\acrshort#1{}%
	\def\acrfull#1{}%
	\def\gls#1{}%
	\def\glspl#1{}%
	\def\Gls#1{}%
	\def\Glspl#1{}%
}

\lstdefinelanguage{Clean}{%
	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
	sensitive=true,
	morecomment=[l]{//},
	morecomment=[n]{/*}{*/},
	morestring=[b]",
	morestring=[b]',
	emptylines=1,
	basewidth=0.45em,
	columns=[c]fixed,
	texcl=true,
	literate=%
		% Basic Clean constructs
		{\\}{{$\lambda\:$}}1
		{A.}{{$\forall\;\,$}}1
		{E.}{{$\exists\;\,$}}1
		{>}{{$>$}}1
		{<}{{$<$}}1
		{<=}{{$\leq$}}1
		{>=}{{$\geq$}}1
		{<>}{{$\neq$}}1
		{->}{{$\rightarrow$}}2
		{<-}{{$\leftarrow$}}1
		{=}{{$=$}}1
		{~}{{$\sim$}}1
		{\#}{{$\sharp$}}1
		{\{|}{{$\{\!|\!$}}1
		{|\}}{{$\!|\!\}$}}1
		{:=}{{$:=$}}2
		{==}{{$==$}}2
		{++}{{$+\!\!+$}}2
		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
		{:==}{{$:==$}}3
		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
		%
		% Basic iTask constructs
		{>||>}{{$\triangleright\triangleright$}}2
		{>>=}{{\texttt{>>=}}}3
		{>>|}{{\texttt{>>|}}}3
		{?>>}{{\texttt{?>>}}}3
		{!>>}{{\texttt{!>>}}}3
		{-||-}{{\texttt{-||-}}}4
		{.||.}{{\texttt{.||.}}}4
		{.&&.}{{\texttt{.\&\&.}}}4
}

\newcommand{\CI}[1]{\lstinline[language=Clean]|#1|}

\lstset{%
	breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
	breaklines=true,                 % sets automatic line breaking
	captionpos=b,                    % sets the caption-position to bottom
	keepspaces=true,                 % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
	basicstyle=\footnotesize,        % the size of the fonts that are used for the code
	commentstyle=\itshape,           % comment style
	keywordstyle=\bfseries,          % keyword style
	stringstyle=\ttfamily,           % string literal style
	showspaces=false,                % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
	showstringspaces=false,          % underline spaces within strings only
	showtabs=false,                  % show tabs within strings adding particular underscores
	tabsize=4,                       % sets default tabsize to 2 spaces
	frame=L
}

\title{iTasks and the Internet of Things}
\author{Mart Lubbers BSc.\\
	{\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
\date{\today}