Outlining for interior chapters

src/main/book/content/bibliography/monadic.aux

@@ -1,6 +1,6 @@
 \relax 
 \@setckpt{bibliography/monadic}{
-\setcounter{page}{85}
+\setcounter{page}{91}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}

src/main/book/content/chapters/eight/ch.aux

@@ -1,12 +1,21 @@
 \relax 
-\@writefile{toc}{\contentsline {chapter}{\numberline {8}Domain model, storage and state}{71}{chapter.8}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {8}Domain model, storage and state}{77}{chapter.8}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {8.1}Mapping our domain model to storage}{71}{section.8.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {8.2}Storage and language-integrated query}{71}{section.8.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {8.3}Continuations revisited}{71}{section.8.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {8.1}Mapping our domain model to storage}{77}{section.8.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.1}Functional and relational models}{77}{subsection.8.1.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.2}Functional and XML models}{77}{subsection.8.1.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.3}ORM}{77}{subsection.8.1.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {8.2}Storage and language-integrated query}{77}{section.8.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}LINQ and \lstinline [language=Scala]!for!-comprehensions}{77}{subsection.8.2.1}}
+\@writefile{toc}{\contentsline {subsubsection}{Open source implementations}{77}{section*.44}}
+\@writefile{toc}{\contentsline {paragraph}{ScalaQuery}{77}{section*.45}}
+\@writefile{toc}{\contentsline {paragraph}{Squeryl}{77}{section*.46}}
+\@writefile{toc}{\contentsline {section}{\numberline {8.3}Continuations revisited}{78}{section.8.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}Stored state}{78}{subsection.8.3.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.2}Transactions}{78}{subsection.8.3.2}}
 \@setckpt{chapters/eight/ch}{
-\setcounter{page}{72}
+\setcounter{page}{79}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}
@@ -17,7 +26,7 @@
 \setcounter{part}{0}
 \setcounter{chapter}{8}
 \setcounter{section}{3}
-\setcounter{subsection}{0}
+\setcounter{subsection}{2}
 \setcounter{subsubsection}{0}
 \setcounter{paragraph}{0}
 \setcounter{subparagraph}{0}
@@ -26,8 +35,8 @@
 \setcounter{parentequation}{0}
 \setcounter{Item}{0}
 \setcounter{Hfootnote}{9}
-\setcounter{lstnumber}{133}
+\setcounter{lstnumber}{1}
 \setcounter{theorem}{0}
-\setcounter{section@level}{1}
+\setcounter{section@level}{2}
 \setcounter{lstlisting}{0}
 }

src/main/book/content/chapters/eight/continuations-revisited.tex

@@ -1,3 +1,5 @@
 \section{Continuations revisited}
 
-TBD
+\subsection{Stored state}
+
+\subsection{Transactions}

src/main/book/content/chapters/eight/model-to-store.tex

@@ -1,3 +1,8 @@
 \section{Mapping our domain model to storage}
 
-TBD
+\subsection{Functional and relational models}
+
+\subsection{Functional and XML models}
+
+\subsection{ORM}
+

src/main/book/content/chapters/eight/storage-LINQ.tex

@@ -1,3 +1,9 @@
 \section{Storage and language-integrated query}
 
-TBD
+\subsection{LINQ and \lstinline[language=Scala]!for!-comprehensions}
+
+\subsubsection{Open source implementations}
+
+\paragraph{ScalaQuery}
+
+\paragraph{Squeryl}

src/main/book/content/chapters/five/ch.aux

@@ -1,12 +1,12 @@
 \relax 
-\@writefile{toc}{\contentsline {chapter}{\numberline {5}The domain model as abstract syntax}{61}{chapter.5}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {5}The domain model as abstract syntax}{63}{chapter.5}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {5.1}Our abstract syntax}{61}{section.5.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {5.2}Our application domain model}{61}{section.5.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {5.3}A transform pipeline}{61}{section.5.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {5.1}Our abstract syntax}{63}{section.5.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {5.2}Our application domain model}{63}{section.5.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {5.3}A transform pipeline}{63}{section.5.3}}
 \@setckpt{chapters/five/ch}{
-\setcounter{page}{62}
+\setcounter{page}{64}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}

src/main/book/content/chapters/four/EBNF.tex

@@ -1,5 +1,11 @@
 \section{EBNF and why higher levels of abstraction are better}
 
+\subsection{Different platforms, different parsers}
+
+\subsection{Different performance constraints, different parsers}
+
+\subsection{Maintainability}
+
 \begin{lstlisting}
 # line endings
   CRLF = "\r\n";

src/main/book/content/chapters/four/ch.aux

@@ -5,8 +5,11 @@
 \@writefile{toc}{\contentsline {section}{\numberline {4.1}Obligatory parsing monad}{59}{section.4.1}}
 \@writefile{toc}{\contentsline {section}{\numberline {4.2}Your parser combinators are showing}{59}{section.4.2}}
 \@writefile{toc}{\contentsline {section}{\numberline {4.3}EBNF and why higher levels of abstraction are better}{59}{section.4.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}Different platforms, different parsers}{59}{subsection.4.3.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}Different performance constraints, different parsers}{59}{subsection.4.3.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}Maintainability}{59}{subsection.4.3.3}}
 \@setckpt{chapters/four/ch}{
-\setcounter{page}{61}
+\setcounter{page}{62}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}
@@ -17,7 +20,7 @@
 \setcounter{part}{0}
 \setcounter{chapter}{4}
 \setcounter{section}{3}
-\setcounter{subsection}{0}
+\setcounter{subsection}{3}
 \setcounter{subsubsection}{0}
 \setcounter{paragraph}{0}
 \setcounter{subparagraph}{0}
@@ -28,6 +31,6 @@
 \setcounter{Hfootnote}{9}
 \setcounter{lstnumber}{49}
 \setcounter{theorem}{0}
-\setcounter{section@level}{1}
+\setcounter{section@level}{2}
 \setcounter{lstlisting}{0}
 }

src/main/book/content/chapters/nine/ch.aux

@@ -1,13 +1,13 @@
 \relax 
-\@writefile{toc}{\contentsline {chapter}{\numberline {9}Putting it all together}{73}{chapter.9}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {9}Putting it all together}{79}{chapter.9}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {9.1}Our web application end-to-end}{73}{section.9.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {9.2}Deploying our application}{73}{section.9.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}Why we are not deploying on GAE}{73}{subsection.9.2.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {9.3}From one web application to web framework}{73}{section.9.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {9.1}Our web application end-to-end}{79}{section.9.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {9.2}Deploying our application}{79}{section.9.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}Why we are not deploying on GAE}{79}{subsection.9.2.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {9.3}From one web application to web framework}{79}{section.9.3}}
 \@setckpt{chapters/nine/ch}{
-\setcounter{page}{74}
+\setcounter{page}{80}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}
@@ -27,7 +27,7 @@
 \setcounter{parentequation}{0}
 \setcounter{Item}{0}
 \setcounter{Hfootnote}{9}
-\setcounter{lstnumber}{133}
+\setcounter{lstnumber}{1}
 \setcounter{theorem}{0}
 \setcounter{section@level}{1}
 \setcounter{lstlisting}{0}

src/main/book/content/chapters/seven/ch.aux

@@ -1,11 +1,31 @@
 \relax 
-\@writefile{toc}{\contentsline {chapter}{\numberline {7}A review of collections as monads}{69}{chapter.7}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {7}A review of collections as monads}{73}{chapter.7}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {7.1}Monad as container}{69}{section.7.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.2}Monads and take-out}{69}{section.7.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.1}Sets, Lists and Languages}{74}{section.7.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}Witnessing Sets and Lists monadicity}{74}{subsection.7.1.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}Languages and Sets of Words}{74}{subsection.7.1.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}Of lenses and bananas}{74}{subsection.7.1.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.2}Containers and syntax}{74}{section.7.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}The algebra of Sets}{74}{subsection.7.2.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}The algebra of Lists}{74}{subsection.7.2.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}The algebra of Sets of Words}{74}{subsection.7.2.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.3}Algebras}{74}{section.7.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Kleisli}{74}{subsection.7.3.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Eilenberg-Moore}{74}{subsection.7.3.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.4}Monad as container}{74}{section.7.4}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.5}Monads and take-out}{75}{section.7.5}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.1}Option as container}{75}{subsection.7.5.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.2}I/O monad for contrast}{75}{subsection.7.5.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.3}Matching gazintas and gazoutas}{75}{subsection.7.5.3}}
+\@writefile{toc}{\contentsline {subsubsection}{Intuitionistic discipline}{75}{section*.42}}
+\@writefile{toc}{\contentsline {subsubsection}{Linear discipline}{75}{section*.43}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.6}Co-monad and take-out}{75}{section.7.6}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.7}Hopf structure}{75}{section.7.7}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.8}Container and control}{75}{section.7.8}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.8.1}Delimited continuations reconsidered}{75}{subsection.7.8.1}}
 \@setckpt{chapters/seven/ch}{
-\setcounter{page}{70}
+\setcounter{page}{76}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}
@@ -15,8 +35,8 @@
 \setcounter{mpfootnote}{0}
 \setcounter{part}{0}
 \setcounter{chapter}{7}
-\setcounter{section}{2}
-\setcounter{subsection}{0}
+\setcounter{section}{8}
+\setcounter{subsection}{1}
 \setcounter{subsubsection}{0}
 \setcounter{paragraph}{0}
 \setcounter{subparagraph}{0}
@@ -27,6 +47,6 @@
 \setcounter{Hfootnote}{9}
 \setcounter{lstnumber}{133}
 \setcounter{theorem}{0}
-\setcounter{section@level}{1}
+\setcounter{section@level}{2}
 \setcounter{lstlisting}{0}
 }

src/main/book/content/chapters/seven/collections-as-monads.tex

@@ -1 +1,21 @@
-TBD
+\section{Sets, Lists and Languages}
+
+\subsection{Witnessing Sets and Lists monadicity}
+
+\subsection{Languages and Sets of Words}
+
+\subsection{Of lenses and bananas}
+
+\section{Containers and syntax}
+
+\subsection{The algebra of Sets}
+
+\subsection{The algebra of Lists}
+
+\subsection{The algebra of Sets of Words}
+
+\section{Algebras}
+
+\subsection{Kleisli}
+
+\subsection{Eilenberg-Moore}

src/main/book/content/chapters/seven/monad-and-comonad.tex

@@ -1,3 +1,19 @@
 \section{Monads and take-out}
 
-TBD
+\subsection{Option as container}
+
+\subsection{I/O monad for contrast}
+
+\subsection{Matching gazintas and gazoutas}
+
+\subsubsection{Intuitionistic discipline}
+
+\subsubsection{Linear discipline}
+
+\section{Co-monad and take-out}
+
+\section{Hopf structure}
+
+\section{Container and control}
+
+\subsection{Delimited continuations reconsidered}

src/main/book/content/chapters/six/brunos-zippers.tex

@@ -1,3 +1,8 @@
 \section{Zippers are not just for Bruno anymore}
 
-TBD
+\subsection{The history of the zipper}
+
+\subsubsection{Huet's zipper}
+
+\subsubsection{Zippers generically}
+

src/main/book/content/chapters/six/ch.aux

@@ -1,12 +1,24 @@
 \relax 
-\@writefile{toc}{\contentsline {chapter}{\numberline {6}Zippers and contexts and URI's, oh my!}{63}{chapter.6}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {6}Zippers and contexts and URI's, oh my!}{65}{chapter.6}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {6.1}Zippers are not just for Bruno anymore}{63}{section.6.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {6.2}Constructing contexts and zippers from data types}{63}{section.6.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {6.3}Mapping URIs to zipper-based paths and back}{68}{section.6.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.1}Zippers are not just for Bruno anymore}{66}{section.6.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}The history of the zipper}{66}{subsection.6.1.1}}
+\@writefile{toc}{\contentsline {subsubsection}{Huet's zipper}{66}{section*.40}}
+\@writefile{toc}{\contentsline {subsubsection}{Zippers generically}{66}{section*.41}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.2}Zipper and one-holed contexts}{66}{section.6.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.3}Differentiation and contexts}{66}{section.6.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}Regular types}{66}{subsection.6.3.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}Container types}{66}{subsection.6.3.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.4}Generic zipper -- differentiating navigation}{66}{section.6.4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}Delimited continuations}{66}{subsection.6.4.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.5}Species of Structure}{66}{section.6.5}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.6}Constructing contexts and zippers from data types}{66}{section.6.6}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.7}Mapping URIs to zipper-based paths and back}{71}{section.6.7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.1}Path and context}{71}{subsection.6.7.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.2}Homomorphisms and obfuscation}{71}{subsection.6.7.2}}
 \@setckpt{chapters/six/ch}{
-\setcounter{page}{69}
+\setcounter{page}{72}
 \setcounter{equation}{0}
 \setcounter{enumi}{0}
 \setcounter{enumii}{0}
@@ -16,8 +28,8 @@
 \setcounter{mpfootnote}{0}
 \setcounter{part}{0}
 \setcounter{chapter}{6}
-\setcounter{section}{3}
-\setcounter{subsection}{0}
+\setcounter{section}{7}
+\setcounter{subsection}{2}
 \setcounter{subsubsection}{0}
 \setcounter{paragraph}{0}
 \setcounter{subparagraph}{0}
@@ -28,6 +40,6 @@
 \setcounter{Hfootnote}{9}
 \setcounter{lstnumber}{133}
 \setcounter{theorem}{0}
-\setcounter{section@level}{1}
+\setcounter{section@level}{2}
 \setcounter{lstlisting}{0}
 }

src/main/book/content/chapters/six/ch.tex

@@ -6,8 +6,8 @@ \chapter{Zippers and contexts and URI's, oh my!}
 {\small\em Zippers are not just for Bruno anymore}
 \end{center}
 
-\input{chapters/six/constructing-contexts-zippers-data-types}
 \input{chapters/six/brunos-zippers}
+\input{chapters/six/constructing-contexts-zippers-data-types}
 \input{chapters/six/zippers-and-contexts}
 \input{chapters/six/mapping-uris-zipper-based-paths}
 

src/main/book/content/chapters/six/constructing-contexts-zippers-data-types.tex

@@ -1 +1,13 @@
-TBD
+\section{Zipper and one-holed contexts}
+
+\section{Differentiation and contexts}
+
+\subsection{Regular types}
+
+\subsection{Container types}
+
+\section{Generic zipper -- differentiating navigation}
+
+\subsection{Delimited continuations}
+
+\section{Species of Structure}

src/main/book/content/chapters/six/mapping-uris-zipper-based-paths.tex

@@ -1,3 +1,5 @@
 \section{Mapping URIs to zipper-based paths and back}
 
-TBD
+\subsection{Path and context}
+
+\subsection{Homomorphisms and obfuscation}