diff options
Diffstat (limited to 'latex-test/ref/LinearTypes')
-rw-r--r-- | latex-test/ref/LinearTypes/LinearTypes.tex | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/latex-test/ref/LinearTypes/LinearTypes.tex b/latex-test/ref/LinearTypes/LinearTypes.tex index d02b6aa7..cb583ca8 100644 --- a/latex-test/ref/LinearTypes/LinearTypes.tex +++ b/latex-test/ref/LinearTypes/LinearTypes.tex @@ -3,28 +3,28 @@ \haddockbeginheader {\haddockverb\begin{verbatim} module LinearTypes ( - unrestricted, linear, poly + unrestricted, linear, poly ) where\end{verbatim}} \haddockendheader \begin{haddockdesc} \item[\begin{tabular}{@{}l} -unrestricted\ ::\ a\ ->\ b -\end{tabular}]\haddockbegindoc -Does something unrestricted.\par - +unrestricted :: a -> b +\end{tabular}] +{\haddockbegindoc +Does something unrestricted.\par} \end{haddockdesc} \begin{haddockdesc} \item[\begin{tabular}{@{}l} -linear\ ::\ a\ {\char '45}1\ ->\ b -\end{tabular}]\haddockbegindoc -Does something linear.\par - +linear :: a {\char '45}1 -> b +\end{tabular}] +{\haddockbegindoc +Does something linear.\par} \end{haddockdesc} \begin{haddockdesc} \item[\begin{tabular}{@{}l} -poly\ ::\ a\ {\char '45}m\ ->\ b -\end{tabular}]\haddockbegindoc -Does something polymorphic.\par - +poly :: a {\char '45}m -> b +\end{tabular}] +{\haddockbegindoc +Does something polymorphic.\par} \end{haddockdesc}
\ No newline at end of file |