lhs2TeX - 云端在线

程序：

您的姓名

lhs2TeX - 一个有文化的 Haskell 到（La）TeX 代码翻译器

概要

lhs2TeX [选项] 文件

商品描述

该工具将有文字的 Haskell 源文件（Bird 风格或 LaTeX 风格或
甚至它们的组合），并产生输出，这取决于 风格 选择，
可以是 LaTeX 文档或代码的剥离版本。 产生的输出
在标准输出上。 几个指令被解释 lhs2TeX 本身，可用于
进一步自定义输出。

配置

有两种选择 lhs2TeX. 第一个选择一个 风格 它管理着
整体运作模式 lhs2TeX. 只能选择一种样式：

--聚 保利风格是对旧款的改进 数学 风格。 它产生一个 LaTeX
文档，代码块使用比例字体格式化。 输出是
使用格式化指令高度可定制。 此外，结果代码
尊重源文件中的一些对齐方式。

- 数学 数学风格是 聚 样式，但具有较少的对齐功能。 代币
出现在源文件中的特殊列都在输出中对齐。
此外，还尊重缩进。

--新代码
在新的代码风格中，除了代码块之外的所有内容都从文件中删除。 在
此外，可以使用以下代码对代码执行某些句法转换
格式化指令。 例如，如果源代码在某些
位置以产生更好的结果 聚 风格，一个可以使用 新代码 风格
删除这些注释。

- 代码 在代码风格中，所有注释和规范代码都从文件中剥离，因此
只剩下代码了。 如果您想生成较小版本的
你的源文件。

--tt 打字机风格几乎逐字打印代码，使用等宽字体，但
使用扩展格式格式化某些符号（lambda 抽象、箭头...）
字符集。 如果没有明确选择样式，则此样式为默认值，但此样式
不应依赖行为。 将来可能会更改默认样式
版本。

- 动词 Verbatim 样式使用等宽字体按原样打印代码。 没有任何格式
应用于代码。 然而， lhs2TeX 不使用 LaTeX 逐字逐句
环境，而是在翻译中转义特殊的 TeX 结构。 这个
意味着将生成的 TeX 代码传递给宏或在内部使用它更容易
某些环境而不是本地逐字环境。

以下选项也被视为样式，但仅返回
有关该计划的信息：

-h, -?, - 帮帮我
返回列出所有可用选项的简短使用消息。

-V, - 版
返回版本信息。

--复制
显示完整的 GNU 通用公共许可证。

- 保修单
显示 GPL 的部分而不涉及保修。

其余选项修改程序的行为。

-P径, --路径=径
获取（以冒号分隔的）列表 径 用作文件搜索路径的路径
被包括。 如果列表以冒号开头，则列表将附加到
当前搜索路径。 如果列表以冒号结尾，则该列表被添加到
当前搜索路径。 如果开头和结尾都没有冒号
列表的末尾，则列表替换当前的搜索路径。

环境变量可以在路径列表中使用，如果用 curl 括起来
大括号，即， {变量} 扩展为环境变量 VAR 的当前值。
如果路径以双斜线结尾 //，那么该路径的所有子目录都是
包含在搜索路径中。 请注意，这会显着减慢 lhs2TeX
找文件的时候。

内置的默认搜索路径 lhs2TeX is

{家}/lhs2TeX//
{主页}/.lhs2TeX//
{LHS2TEX}//
/usr/local/share/lhs2tex//
/usr/local/share/lhs2TeX//
/usr/local/lib/lhs2tex//
/usr/local/lib/lhs2TeX//
/usr/share/lhs2tex//
/usr/share/lhs2TeX//
/usr/lib/lhs2tex//
/usr/lib/lhs2TeX//

-i文件, --包括=文件
包括 文件 在其他任何事情之前。 此选项与

％包括 文件

源文件开头的指令。

-l方程, --让=方程
假设 方程 在处理源文件时。 此选项具有相同的效果
作为一个

％让 方程

源文件开头的指令。

-s旗, --设置=旗
套数 旗 至 真 在源文件的开头。 该选项具有相同的
效果作为

％让 旗=真

在源文件的开头。

-u旗, --未设置=旗
套数 旗 至 假 在源文件的开头。 该选项具有相同的
效果作为

％让 旗=假

在源文件的开头。

VERSION

1.19

作者

安德烈斯·勒写了 聚 和 新代码 样式是
包的当前维护者。

拉尔夫·欣泽写了原文 lhs2TeX.

使用 onworks.net 服务在线使用 lhs2TeX