lhs2TeX - En ligne dans le Cloud

PROGRAMME:

Nom

lhs2TeX - un traducteur de code Haskell vers (La)TeX alphabétisé

SYNOPSIS

lhs2TeX fichier [options]

DESCRIPTION

Cet outil prend en entrée un fichier source Haskell lettré (style Bird ou LaTeX ou
même une combinaison de ceux-ci) et produit une sortie qui, selon le STYLE choisi,
peut être soit un document LaTeX, soit une version dépouillée du code. La sortie est produite
sur stdout. Plusieurs directives sont interprétées par lhs2TeX lui-même et peut être utilisé pour
personnaliser davantage la sortie.

OPTIONS

Il existe deux sortes d'options pour lhs2TeX. Le premier sélectionne un STYLE qui régit le
mode de fonctionnement général pour lhs2TeX. Un seul style peut être sélectionné :

--poly Le style poly est une amélioration de l'ancien math style. Il produit un LaTeX
document, avec les blocs de code formatés à l'aide d'une police proportionnelle. La sortie est
hautement personnalisable à l'aide de directives de formatage. De plus, le code résultant
respecte certains des alignements effectués dans le fichier source.

--mathématiques Le style mathématique est comme poly style, mais a moins de capacités d'alignement. Jetons
apparaissant dans le fichier source dans une colonne spéciale sont tous alignés dans la sortie.
De plus, l'indentation est respectée.

--nouveaucode
Dans le nouveau style de code, tout sauf les blocs de code est supprimé du fichier. Dans
De plus, certaines transformations syntaxiques peuvent être effectuées sur le code en utilisant
directives de formatage. Par exemple, si le code source est annoté dans certains
positions pour produire des résultats encore plus agréables dans poly style, on peut utiliser nouveau code style à
supprimer ces annotations.

--code Dans le style de code, tous les commentaires et le code de spécification sont supprimés du fichier, donc
que seul le code reste. Utilisez ceci si vous voulez produire une version plus petite de
votre fichier source.

--tt Le style machine à écrire imprime le code presque textuellement, en utilisant une police à espacement fixe, mais
mise en forme de certains symboles (abstraction lambda, flèches...) à l'aide d'un
jeu de caractères. Ce style est par défaut si aucun style n'est explicitement sélectionné, mais ce
il ne faut pas se fier au comportement. Le style par défaut peut être modifié à l'avenir
versions.

--verbe Le style verbatim imprime le code tel quel, en utilisant une police à espacement fixe. Aucun formatage
est appliqué au code. Cependant, lhs2TeX n'utilise pas de verbatim LaTeX
environnement, mais échappe plutôt aux constructions TeX spéciales dans la traduction. Cette
implique qu'il est plus facile de passer le code TeX résultant aux macros ou de l'utiliser à l'intérieur
certains environnements qu'il ne le serait avec un environnement verbatim natif.

Les options suivantes sont considérées sont également considérées comme des styles, mais ne renvoient que
informations sur le programme :

-h, -?, --Aidez-moi
Renvoie un court message d'utilisation répertoriant toutes les options disponibles.

-V, --version
Renvoie les informations de version.

--copier
Affiche la licence publique générale GNU complète.

--garantie
Affiche les parties de la GPL qui concernent la garantie.

Les options restantes modifient le comportement du programme.

-Pchemin, --chemin=chemin
Prend une liste (séparée par des deux-points) chemin des chemins qui sont utilisés comme chemin de recherche pour les fichiers
pour être inclus. Si la liste commence par deux points, alors la liste est ajoutée au
chemin de recherche actuel. Si la liste se termine par deux points, la liste est précédée de
le chemin de recherche actuel. S'il n'y a ni deux points au début ni à la
fin de la liste, la liste remplace le chemin de recherche actuel.

Les variables d'environnement peuvent être utilisées dans la liste des chemins, si elles sont entourées de curly
accolades, c'est-à-dire {VAR} se développe jusqu'à la valeur actuelle de la variable d'environnement VAR.
Si un chemin se termine par une double barre oblique //, alors tous les sous-répertoires de ce chemin sont
inclus dans le chemin de recherche. Notez que cela peut considérablement ralentir lhs2TeX
lors de la recherche de fichiers.

Le chemin de recherche par défaut intégré de lhs2TeX is

{ACCUEIL}/lhs2TeX//
{ACCUEIL}/.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, --include=filet
Inclus filet avant toute chose. Cette option a le même effet qu'un

%comprendre filet

au début du fichier source.

-léquation, --let=équation
Suppose équation lors du traitement du fichier source. Cette option a le même effet
en tant que

%laisser équation

au début du fichier source.

-sdrapeau, --set=drapeau
Ensembles drapeau à Vrai au début du fichier source. Cette option a le même
effet en tant que

%laisser drapeau=Vrai

au début du fichier source.

-udrapeau, --unset=drapeau
Ensembles drapeau à Faux au début du fichier source. Cette option a le même
effet en tant que

%laisser drapeau=Faux

au début du fichier source.

VERSION

1.19

AUTEURS

Andrés Loeh a écrit poly et nouveau code styles et est le
le mainteneur actuel du paquet.

Ralf Hinze a écrit l'original lhs2TeX.

Utilisez lhs2TeX en ligne en utilisant les services onworks.net