lhs2TeX - Интернет в облаке

ПРОГРАММА:

ИМЯ

lhs2TeX - грамотный переводчик кода Haskell в (La) TeX

СИНТАКСИС

lhs2TeX [параметры] файл

ОПИСАНИЕ

Этот инструмент принимает в качестве входных данных грамотный исходный файл Haskell (в стиле Bird, LaTeX или
даже их комбинацию), и производит вывод, который, в зависимости от СТИЛЬ выбрано,
может быть либо документом LaTeX, либо урезанной версией кода. На выходе производится
на стандартный вывод. Некоторые директивы интерпретируются lhs2TeX сам по себе и может быть использован для
настроить вывод дальше.

ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ

Есть два типа вариантов lhs2TeX. Первый выбирает СТИЛЬ который управляет
общий режим работы для lhs2TeX. Можно выбрать только один стиль:

--поли Поли стиль является улучшением более старых математике стиль. Создает LaTeX
документ с блоками кода, отформатированными с использованием пропорционального шрифта. На выходе
широкие возможности настройки с помощью директив форматирования. Кроме того, полученный код
уважает некоторые выравнивания, сделанные в исходном файле.

- математика Математический стиль такой поли стиль, но имеет меньше возможностей выравнивания. Жетоны
появляющиеся в исходном файле в специальном столбце, все выровнены в выводе.
Кроме того, отступы соблюдаются.

--новый код
В новом стиле кода все, кроме блоков кода, удаляется из файла. В
кроме того, некоторые синтаксические преобразования могут быть выполнены в коде с помощью
директивы форматирования. Например, если исходный код аннотирован в определенных
позиции для получения еще более хороших результатов в поли стиль, можно использовать новый код стиль для
удалите эти аннотации.

--код В стиле кода все комментарии и код спецификации удаляются из файла, поэтому
что остается только код. Используйте это, если вы хотите создать уменьшенную версию
ваш исходный файл.

--тт В стиле пишущей машинки код печатается почти дословно, с использованием моноширинного шрифта, но
форматирование определенных символов (лямбда-абстракция, стрелки ...) с использованием расширенного
набор символов. Этот стиль используется по умолчанию, если никакой стиль явно не выбран, но это
на поведение нельзя полагаться. Стиль по умолчанию может быть изменен в будущем.
версий.

--глагол В стиле Verbatim код печатается как есть, с использованием моноширинного шрифта. Никакого форматирования
применяется к коду. Тем не мение, lhs2TeX не использует дословно LaTeX
окружение, а скорее избегает специальных конструкций TeX при переводе. Этот
подразумевает, что результирующий код TeX проще передать макросам или использовать его внутри
определенных средах, чем это было бы с родным verbatim-environment.

Следующие варианты считаются также стилями, но возвращаются только
информация о программе:

-h, -?, --Помогите
Возвращает короткое сообщение об использовании, в котором перечислены все доступные параметры.

-V, --версия
Возвращает информацию о версии.

- копирование
Отображает полную Стандартную общественную лицензию GNU.

--гарантия
Отображает части GPL, чем касается гарантии.

Остальные параметры изменяют поведение программы.

-Pпуть, --path =путь
Принимает список (разделенный двоеточиями) путь путей, которые используются как пути поиска файлов
быть включенным. Если список начинается с двоеточия, то список добавляется к
текущий путь поиска. Если список заканчивается двоеточием, то список добавляется к
текущий путь поиска. Если нет ни двоеточия в начале, ни в
конец списка, то список заменяет текущий путь поиска.

Переменные среды можно использовать в списке путей, если они заключены в фигурные скобки.
фигурные скобки, т. е. {ВАР} расширяется до текущего значения переменной среды VAR.
Если путь заканчивается двойной косой чертой //, то все подкаталоги этого пути будут
включены в путь поиска. Учтите, что это может значительно замедлить lhs2TeX
при поиске файлов.

Встроенный путь поиска по умолчанию lhs2TeX is

{HOME} / lhs2TeX //
{HOME} /. 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файл, --include =файл
Тур включает: файл прежде всего. Этот параметр имеет тот же эффект, что и

%включают файл

директива в начале исходного файла.

-lуравнение, --let =уравнение
Предполагает уравнение при обработке исходного файла. Эта опция имеет тот же эффект
как

%позволять уравнение

директива в начале исходного файла.

-sфлажок, --set =флажок
Наборы флажок в Правда в начале исходного файла. Этот вариант имеет то же
эффект как

%позволять флажок= Верно

в начале исходного файла.

-uфлажок, --unset =флажок
Наборы флажок в Ложь в начале исходного файла. Этот вариант имеет то же
эффект как

%позволять флажок= Ложь

в начале исходного файла.

Версия

1.19

АВТОРЫ

Андрес Лоэ написал поли и новый код стили и
текущий сопровождающий пакета.

Ральф Хинце написал оригинал lhs2TeX.

Используйте lhs2TeX онлайн с помощью сервисов onworks.net