lhs2TeX - Bulutta Çevrimiçi

Program:

ADI

lhs2TeX - (La)TeX kod çevirmeni için okuryazar bir Haskell

SİNOPSİS

lhs2TeX [seçenekler] dosyası

TANIM

Bu araç, girdi olarak okuryazar bir Haskell kaynak dosyası alır (Kuş stili veya LaTeX stili veya
hatta bunların bir kombinasyonu) ve çıktıya bağlı olarak çıktı üretir. STİL seçilmiş,
bir LaTeX belgesi veya kodun soyulmuş bir sürümü olabilir. çıktı üretilir
stdout'ta. Birkaç direktif şu şekilde yorumlanır: lhs2TeX kendisi ve için kullanılabilir
çıktıyı daha da özelleştirin.

SEÇENEKLER

için iki tür seçenek vardır lhs2TeX. İlk seçer bir STİL hangi yönetir
için genel çalışma modu lhs2TeX. Yalnızca bir stil seçilebilir:

--poli Poli tarzı, eskilerin bir iyileştirmesidir. matematik stil. Bir LaTeX üretir
orantılı bir yazı tipi kullanılarak biçimlendirilmiş kod blokları ile belge. çıktı
biçimlendirme yönergeleri kullanılarak son derece özelleştirilebilir. Ayrıca, elde edilen kod
kaynak dosyada yapılan bazı hizalamalara uyar.

--matematik Matematik stili şu şekildedir: poli stil, ancak daha az hizalama yeteneklerine sahiptir. Jetonlar
kaynak dosyada özel bir sütunda görünenlerin tümü çıktıda hizalanır.
Ayrıca, girintiye saygı duyulur.

--yeni kod
Yeni kod stilinde, kod blokları dışındaki her şey dosyadan çıkarılır. İçinde
ek olarak, kod üzerinde belirli sözdizimsel dönüşümler kullanılarak gerçekleştirilebilir.
biçimlendirme yönergeleri Örneğin, kaynak kod belirli bir şekilde açıklamalıysa
daha da güzel sonuçlar üretmek için pozisyonlar poli tarzı, biri kullanabilir yeni kod tarz vermek
bu açıklamaları kaldırın.

--kod Kod stilinde, tüm yorumlar ve belirtim kodu dosyadan çıkarılır, bu nedenle
sadece kod kalır. Daha küçük bir sürümünü üretmek istiyorsanız bunu kullanın.
kaynak dosyanız.

--tt Daktilo stili, tek aralıklı bir yazı tipi kullanarak kodu neredeyse kelimesi kelimesine yazdırır, ancak
belirli sembolleri (lambda soyutlama, oklar ...) bir genişletilmiş kullanarak biçimlendirme
karakter seti. Açıkça hiçbir stil seçilmemişse bu stil varsayılandır, ancak bu
davranışlara güvenilmemelidir. Varsayılan stil gelecekte değiştirilebilir
sürümleri.

--fiil Verbatim stili, tek aralıklı bir yazı tipi kullanarak kodu olduğu gibi yazdırır. Herhangi bir biçimlendirme yok
koda uygulanır. Yine de, lhs2TeX LaTeX kelimesi kelimesine kullanılmaz
ortamında değil, çeviride özel TeX yapılarından kaçar. Bu
ortaya çıkan TeX kodunu makrolara geçirmenin veya içinde kullanmanın daha kolay olduğunu ima eder
yerel bir kelimesi kelimesine-ortam ile olacağından daha belirli ortamlarda.

Aşağıdaki seçenekler de stil olarak kabul edilir, ancak yalnızca geri döner
program hakkında bilgi:

-h, -?, --yardım et
Mevcut tüm seçenekleri listeleyen kısa bir kullanım mesajı döndürür.

-V, --versiyon
Sürüm bilgilerini döndürür.

--kopyalama
GNU Genel Kamu Lisansının tamamını görüntüler.

--garanti
GPL'nin garantiyle ilgili kısımlarını görüntüler.

Kalan seçenekler programın davranışını değiştirir.

-Pyol, --yol=yol
(iki nokta üst üste ayrılmış) bir liste alır yol dosyalar için arama yolu olarak kullanılan yolların sayısı
dahil olmak. Liste iki nokta üst üste ile başlıyorsa, liste sonuna eklenir.
mevcut arama yolu. Liste iki nokta üst üste ile bitiyorsa, liste başına eklenir.
geçerli arama yolu. Başında veya sonunda iki nokta üst üste yoksa
listenin sonunda, ardından liste geçerli arama yolunun yerini alır.

Ortam değişkenleri, kıvrımlı içine alınmışsa, yol listesinde kullanılabilir.
parantez, yani {VAR} VAR ortam değişkeninin geçerli değerine genişler.
Bir yol çift eğik çizgi ile bitiyorsa //, o zaman bu yolun tüm alt dizinleri
arama yoluna dahil edilir. Bunun önemli ölçüde yavaşlayabileceğini unutmayın. lhs2TeX
dosyaları ararken.

Yerleşik varsayılan arama yolu lhs2TeX is

{ANA SAYFA}/lhs2TeX//
{ANA SAYFA}/.lhs2TeX//
{LHS2TEX}//
/usr/yerel/paylaş/lhs2tex//
/usr/yerel/paylaş/lhs2TeX//
/usr/yerel/lib/lhs2tex//
/usr/yerel/lib/lhs2TeX//
/usr/paylaş/lhs2tex//
/usr/paylaş/lhs2TeX//
/usr/lib/lhs2tex//
/usr/lib/lhs2TeX//

-idosya, --içerir=dosya
Kapsar dosya her şeyden önce. Bu seçenek ile aynı etkiye sahiptir.

%Dahil etmek dosya

kaynak dosyanın başındaki yönerge.

-ldenklem, --let=denklem
Devraldı denklem kaynak dosya işlenirken. Bu seçenek aynı etkiye sahiptir
bir şekilde

%İzin Vermek denklem

kaynak dosyanın başındaki yönerge.

-sbayrak, --set=bayrak
Setleri bayrak için Gerçek kaynak dosyanın başında. Bu seçenek aynı
olarak etki

%İzin Vermek bayrak=Doğru

kaynak dosyanın başında.

-ubayrak, --unset=bayrak
Setleri bayrak için Yanlış kaynak dosyanın başında. Bu seçenek aynı
olarak etki

%İzin Vermek bayrak=Yanlış

kaynak dosyanın başında.

VERSION

1.19

YAZARLAR

Andres Loeh yazdı poli ve yeni kod stiller ve
paketin mevcut koruyucusu.

Ralf Hinze orijinali yazdı lhs2TeX.

onworks.net hizmetlerini kullanarak lhs2TeX'i çevrimiçi kullanın