aboutsummaryrefslogblamecommitdiff
path: root/latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex
blob: 7aaf551260864afee5026e226c8b2597bc61994a (plain) (tree)























                                                                                                                  
\haddockmoduleheading{GadtConstructorArgs}
\label{module:GadtConstructorArgs}
\haddockbeginheader
{\haddockverb\begin{verbatim}
module GadtConstructorArgs (
    Boo(Fot, Fob, x, y, w, z)
  ) where\end{verbatim}}
\haddockendheader

\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
data\ Boo\ where
\end{tabular}]\haddockbegindoc
\enspace \emph{Constructors}\par
\haddockbeginconstrs
& \haddockdecltt{Fot} & \\
                        & \qquad \haddockdecltt{:: \{} \enspace \haddockdecltt{x :: Int} & an \haddockid{x} \\
                        & \qquad \haddockdecltt{\ \ \ \ ,} \enspace \haddockdecltt{y :: Int} & a \haddockid{y} \\
                        & \qquad \haddockdecltt{\ \ \ \ \} ->} \enspace \haddockdecltt{Boo} & \\
& \haddockdecltt{Fob} & Record GADT with docs \\
                        & \qquad \haddockdecltt{:: \{} \enspace \haddockdecltt{w :: Int} & a \haddockid{w} \\
                        & \qquad \haddockdecltt{\ \ \ \ ,} \enspace \haddockdecltt{z :: Int} & a \haddockid{z} \\
                        & \qquad \haddockdecltt{\ \ \ \ \} ->} \enspace \haddockdecltt{Boo} & a \haddockid{Boo} \\
\end{tabulary}\par
\end{haddockdesc}