blob: d02b6aa799ba4922386fd795d9f0d0b218cd5bda (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
\haddockmoduleheading{LinearTypes}
\label{module:LinearTypes}
\haddockbeginheader
{\haddockverb\begin{verbatim}
module LinearTypes (
unrestricted, linear, poly
) where\end{verbatim}}
\haddockendheader
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
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
\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
poly\ ::\ a\ {\char '45}m\ ->\ b
\end{tabular}]\haddockbegindoc
Does something polymorphic.\par
\end{haddockdesc}
|