<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\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
&amp; \haddockdecltt{Fot} &amp; \\
                        &amp; \qquad \haddockdecltt{:: {\char '173}} \enspace \haddockdecltt{x :: Int} &amp; an \haddockid{x} \\
                        &amp; \qquad \haddockdecltt{\ \ \ \ ,} \enspace \haddockdecltt{y :: Int} &amp; a \haddockid{y} \\
                        &amp; \qquad \haddockdecltt{\ \ \ \ {\char '175} -&gt;} \enspace \haddockdecltt{Boo} &amp; \\
&amp; \haddockdecltt{Fob} &amp; Record GADT with docs \\
                        &amp; \qquad \haddockdecltt{:: {\char '173}} \enspace \haddockdecltt{w :: Int} &amp; a \haddockid{w} \\
                        &amp; \qquad \haddockdecltt{\ \ \ \ ,} \enspace \haddockdecltt{z :: Int} &amp; a \haddockid{z} \\
                        &amp; \qquad \haddockdecltt{\ \ \ \ {\char '175} -&gt;} \enspace \haddockdecltt{Boo} &amp; a \haddockid{Boo} \\
\end{tabulary}\par}
\end{haddockdesc}</pre></body></html>