blob: cb583ca8378a474117941d3e586c650c0f7ae1b9 (
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}
|
