lhs2TeX — online w chmurze

PROGRAM:

IMIĘ

lhs2TeX - umiejący czytać z Haskella na (La)TeX-owy tłumacz

STRESZCZENIE

lhs2TeX [opcje] plik

OPIS

To narzędzie przyjmuje jako dane wejściowe umiejętny plik źródłowy Haskella (w stylu Bird lub LaTeX lub
nawet ich kombinację) i daje wynik, który w zależności od STYL wybrany,
może być dokumentem LaTeX lub okrojoną wersją kodu. Produkcja jest produkowana
na standardowe wyjście. Kilka dyrektyw jest interpretowanych przez lhs2TeX się i może być używany do
dostosuj dane wyjściowe dalej.

OPCJE

Istnieją dwa rodzaje opcji lhs2TeX. Pierwszy wybiera STYL która rządzi
ogólny tryb pracy dla lhs2TeX. Można wybrać tylko jeden styl:

--poli Styl poli jest ulepszeniem starszego matematyka styl. Produkuje LaTeX
dokument, z blokami kodu sformatowanymi czcionką proporcjonalną. Wyjście to
wysoce konfigurowalny za pomocą dyrektyw formatowania. Ponadto powstały kod
uwzględnia niektóre wyrównania wykonane w pliku źródłowym.

--matematyka Styl matematyki jest taki poli stylu, ale ma mniejsze możliwości wyrównania. Tokeny
pojawiające się w pliku źródłowym w specjalnej kolumnie są wyrównane na wyjściu.
Ponadto przestrzegane jest wcięcie.

--nowy kod
W nowym stylu kodu wszystko oprócz bloków kodu jest usuwane z pliku. w
ponadto pewne przekształcenia składniowe można wykonać na kodzie za pomocą
dyrektywy formatowania. Na przykład, jeśli kod źródłowy jest opatrzony adnotacjami w niektórych
pozycje, aby uzyskać jeszcze lepsze wyniki w poli styl, można użyć nowy kod styl do
usuń te adnotacje.

--kod W stylu kodu wszystkie komentarze i kod specyfikacji są usuwane z pliku, więc
że pozostaje tylko kod. Użyj tego, jeśli chcesz wyprodukować mniejszą wersję
twój plik źródłowy.

--tt Styl maszyny do pisania drukuje kod prawie dosłownie, używając czcionki o stałej szerokości, ale
formatowanie niektórych symboli (abstrakcja lambda, strzałki...) za pomocą rozszerzonego
zestaw znaków. Ten styl jest domyślny, jeśli nie wybrano wyraźnie żadnego stylu, ale to
nie należy polegać na zachowaniu. Domyślny styl może ulec zmianie w przyszłości
wersje.

--czasownik Dosłowny styl drukuje kod bez zmian, używając czcionki o stałej szerokości. Brak formatowania
jest stosowany do kodu. Jednakże, lhs2TeX nie używa LaTeX dosłownie
środowiska, ale raczej unika specjalnych konstrukcji TeX w tłumaczeniu. Ten
oznacza, że ​​łatwiej jest przekazać otrzymany kod TeX do makr lub użyć go w środku
pewnych środowiskach, niż miałoby to miejsce z rodzimym środowiskiem dosłownym.

Poniższe opcje są również uważane za style, ale tylko zwracają
informacje o programie:

-h, -?, --help
Zwraca krótką wiadomość o użyciu zawierającą wszystkie dostępne opcje.

-V, --wersja
Zwraca informacje o wersji.

--biurowy
Wyświetla pełną licencję GNU General Public License.

--Gwarancja
Wyświetla części GPL, które dotyczą gwarancji.

Pozostałe opcje modyfikują zachowanie programu.

-Pścieżka, --ścieżka=ścieżka
Pobiera listę (oddzieloną dwukropkami) ścieżka ścieżek, które są używane jako ścieżka wyszukiwania plików
do uwzględnienia. Jeśli lista zaczyna się od dwukropka, to lista jest dołączana do
bieżąca ścieżka wyszukiwania. Jeśli lista kończy się dwukropkiem, lista jest dodawana do:
bieżąca ścieżka wyszukiwania. Jeśli nie ma dwukropka na początku ani na
koniec listy, to lista zastępuje bieżącą ścieżkę wyszukiwania.

Zmienne środowiskowe mogą być używane na liście ścieżek, jeśli są zawarte w curly
szelki, czyli {WARIANCJA} rozwija się do bieżącej wartości zmiennej środowiskowej VAR.
Jeśli ścieżka kończy się podwójnym ukośnikiem //, to wszystkie podkatalogi tej ścieżki są
zawarte w ścieżce wyszukiwania. Pamiętaj, że może to znacznie spowolnić lhs2TeX
podczas wyszukiwania plików.

Wbudowana domyślna ścieżka wyszukiwania lhs2TeX is

{HOME}/lhs2TeX//
{STRONA GŁÓWNA}/.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//

-ifilet, --włącz=filet
zawiera filet przede wszystkim. Ta opcja ma taki sam efekt jak

%włączać filet

dyrektywy na początku pliku źródłowego.

-lrównanie, --pozwól=równanie
Zakłada równanie podczas przetwarzania pliku źródłowego. Ta opcja ma ten sam efekt
jak

%pozwolić równanie

dyrektywy na początku pliku źródłowego.

-sflaga, --zestaw=flaga
Zestawy flaga do Prawdziwy na początku pliku źródłowego. Ta opcja ma to samo
efekt jako

%pozwolić flaga=Prawda

na początku pliku źródłowego.

-uflaga, --unset=flaga
Zestawy flaga do Fałszywy na początku pliku źródłowego. Ta opcja ma to samo
efekt jako

%pozwolić flaga=Fałsz

na początku pliku źródłowego.

WERSJA

1.19

AUTORSKI

Andres Loeh napisał poli i nowy kod style i jest
obecny opiekun pakietu.

Ralf Hinze napisał oryginał lhs2TeX.

Korzystaj z lhs2TeX online za pomocą usług onworks.net