lhs2TeX - Online sa Cloud

PROGRAMA:

NAME

lhs2TeX - isang maalam na Haskell hanggang (La)TeX code translator

SINOPSIS

lhs2TeX [mga pagpipilian] file

DESCRIPTION

Ang tool na ito ay kumukuha bilang input nito ng isang literate na Haskell source file (Bird-style o LaTeX-style o
kahit isang kumbinasyon nito), at gumagawa ng output, na, depende sa Estilo pinili,
maaaring alinman sa isang LaTeX na dokumento o isang stripped na bersyon ng code. Ang output ay ginawa
sa stdout. Ang ilang mga direktiba ay binibigyang kahulugan ng lhs2TeX mismo at maaaring magamit
i-customize pa ang output.

Opsyon

Mayroong dalawang uri ng mga pagpipilian para sa lhs2TeX. Ang una ay pumipili ng a Estilo na namamahala sa
pangkalahatang mode ng operasyon para sa lhs2TeX. Isang istilo lamang ang maaaring piliin:

--poly Ang poly style ay isang pagpapabuti ng mas matanda matematika istilo. Gumagawa ito ng LaTeX
dokumento, na may mga bloke ng code na na-format gamit ang isang proporsyonal na font. Ang output ay
lubos na nako-customize gamit ang mga direktiba sa pag-format. Higit pa rito, ang resultang code
nirerespeto ang ilan sa mga alignment na ginawa sa source file.

--math Ang estilo ng matematika ay bilang poly estilo, ngunit may mas kaunting mga kakayahan sa pag-align. Mga token
na lumalabas sa source file sa isang espesyal na column ay nakahanay lahat sa output.
Higit pa rito, iginagalang ang indentation.

--newcode
Sa bagong istilo ng code, lahat maliban sa mga bloke ng code ay tinanggal mula sa file. Sa
karagdagan, ang ilang syntactic transformations ay maaaring isagawa sa code gamit
mga direktiba sa pag-format. Halimbawa, kung ang source code ay naka-annotate sa tiyak
mga posisyon upang makagawa ng mas magagandang resulta poly estilo, maaaring gamitin ng isa bagong code estilo sa
alisin ang mga anotasyong ito.

--code Sa istilo ng code, ang lahat ng mga komento at code ng detalye ay tinanggal mula sa file, kaya
na tanging ang code ang natitira. Gamitin ito kung gusto mong gumawa ng mas maliit na bersyon ng
iyong source file.

--tt Ang istilo ng makinilya ay nagpi-print ng code halos verbatim, gamit ang isang monospaced na font, ngunit
pag-format ng ilang mga simbolo (lambda abstraction, arrow ...) gamit ang isang pinalawig
set ng karakter. Default ang istilong ito kung walang tahasang napiling istilo, ngunit ito
hindi dapat umasa sa ugali. Maaaring mabago ang default na istilo sa hinaharap
mga bersyon.

--pandiwa Ang istilong Verbatim ay nagpi-print ng code bilang-ayon, gamit ang isang monospaced na font. Walang anumang pag-format
ay inilapat sa code. gayunpaman, lhs2TeX ay hindi gumagamit ng LaTeX verbatim
kapaligiran, ngunit sa halip ay tumatakas sa mga espesyal na TeX construct sa pagsasalin. Ito
ay nagpapahiwatig na mas madaling ipasa ang resultang TeX code sa mga macro o gamitin ito sa loob
ilang partikular na kapaligiran kaysa sa isang katutubong verbatim-environment.

Isinasaalang-alang din ang mga sumusunod na opsyon bilang mga istilo, ngunit bumalik lamang
impormasyon tungkol sa programa:

-h, -?, - Tumulong
Nagbabalik ng maikling mensahe sa paggamit na naglilista ng lahat ng magagamit na opsyon.

-V, --bersyon
Ibinabalik ang impormasyon ng bersyon.

--pagkopya
Ipinapakita ang kumpletong GNU General Public License.

--garantiya
Ipinapakita ang mga bahagi ng GPL kaysa sa pag-aalala sa warranty.

Binabago ng natitirang mga opsyon ang pag-uugali ng programa.

-Plandas, --landas=landas
Kumuha ng listahan (na pinaghihiwalay ng colon). landas ng mga landas na ginagamit bilang landas sa paghahanap para sa mga file
na isasama. Kung ang listahan ay nagsisimula sa isang tutuldok, ang listahan ay idaragdag sa
kasalukuyang landas sa paghahanap. Kung ang listahan ay nagtatapos sa isang tutuldok, pagkatapos ay ang listahan ay prepended sa
ang kasalukuyang landas sa paghahanap. Kung walang tutuldok sa simula o sa
dulo ng listahan, pagkatapos ay papalitan ng listahan ang kasalukuyang landas sa paghahanap.

Maaaring gamitin ang mga variable ng kapaligiran sa listahan ng mga landas, kung nakapaloob sa kulot
braces, ibig sabihin, {VAR} lumalawak sa kasalukuyang halaga ng environment variable na VAR.
Kung ang isang landas ay nagtatapos sa isang dobleng slash //, kung gayon ang lahat ng mga subdirectory ng landas na iyon ay
kasama sa landas ng paghahanap. Tandaan na maaari itong makabuluhang bumagal lhs2TeX
kapag naghahanap ng mga file.

Ang built-in na default na landas sa paghahanap ng 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//

-ifile, --include=file
May kasamang file bago ang anumang bagay. Ang pagpipiliang ito ay may parehong epekto bilang isang

%isama file

direktiba sa simula ng source file.

-lekwasyon, --hayaan =ekwasyon
Ipinagpapalagay ekwasyon habang pinoproseso ang source file. Ang pagpipiliang ito ay may parehong epekto
bilang isang

%hayaan ekwasyon

direktiba sa simula ng source file.

-sbandila, --set=bandila
Sets bandila sa Totoo sa simula ng source file. Ang pagpipiliang ito ay may pareho
epekto bilang a

%hayaan bandila=Totoo

sa simula ng source file.

-ubandila, --unset=bandila
Sets bandila sa Huwad sa simula ng source file. Ang pagpipiliang ito ay may pareho
epekto bilang a

%hayaan bandila=Mali

sa simula ng source file.

VERSION

1.19

MGA AUTHORS

Andres Loeh nagsulat poly at bagong code mga istilo at ang
kasalukuyang tagapanatili ng package.

Ralf Hinze isinulat ang orihinal lhs2TeX.

Gamitin ang lhs2TeX online gamit ang mga serbisyo ng onworks.net