如何将文本右对齐到一行

Question

我想写一个像这样的 Haskell 函数定义：

但我不知道如何插入这些行。

我怎样才能在 LaTex 中写出这样的内容？

Answer 1

用常规方法绘制的线条array：

\documentclass{article}

\usepackage{eqparbox,amsmath}

\begin{document}

\[
  \begin{array}{| r @{} l }
    P ~ : ~ & [\text{Num}] \mapsto \text{Bool} \\
    \rule[-10pt]{0pt}{0pt}Q ~ : ~ & \text{Num} \mapsto [\text{Num}] \mapsto \text{Bool} \\
    \cline{1-1}
    \multicolumn{2}{|l}{\rule{0pt}{12pt}\eqmakebox[lhs][r]{$P.xs$} ~ \doteq ~ Q.0.xs} \\
    \multicolumn{2}{|l}{\eqmakebox[lhs][r]{$Q.n.[]$} ~ \doteq ~ \text{True}} \\
    \multicolumn{2}{|l}{\eqmakebox[lhs][r]{$Q.n.(x \triangleright xs)$} ~ \doteq ~ n \geq 0 \wedge Q.(n + x)xs}
  \end{array}
\]

\end{document}

Struts：参见表格中的列和行填充