A | |
| add [Env] |
Ajouter une liaison.
|
| add [Var.Vars] | add x s returns a set containing all elements of s,
plus x.
|
C | |
| cardinal [Var.Vars] |
Return the number of elements of a set.
|
| check [Check] |
L'appel
check env t renvoie le type du terme t dans l'environnement env
|
| choose [Var.Vars] |
Return one element of the given set, or raise
Not_found if
the set is empty.
|
| comp [Eq] |
Composition des substitutions,
ne fonctionne que pour des substitutions de supports disjoints.
|
| compare [Var.Vars] |
Total ordering between sets.
|
| compile [Ia32] |
Output ia32 code to channel
|
| compile [Compiler] |
L'appel
compile env t compile le terme t dans l'environnement env.
|
D | |
| delta [Eq] |
L'appel
delta x ty fabrique la substitution s(x) = ty
et s(y) = y pour tout y différent de x
|
| diff [Var.Vars] |
Set difference.
|
| disjoint [Eq.Vars] |
Teste si deux ensembles sont disjoints (i.e.
|
| dom [Eq] |
Support d'une substitution, i.e.
|
E | |
| elements [Var.Vars] |
Return the list of all elements of the given set.
|
| empty [Var.Vars] |
The empty set.
|
| equal [Var.Vars] | equal s1 s2 tests whether the sets s1 and s2 are
equal, that is, contain equal elements.
|
| erase [T.Ast] |
Efface les types d'un terme de PCF explicitement typé, ce qui
produit un terme de PCF non typé
|
| evaln [Eval] | |
| evalv [Eval] |
Deux évaluateurs, par nom et par valeur
|
| exec [Machine] |
Lancer l'exécution de la machine, le premier argument est la valeur
initiale de l'environnement de la machine.
|
| exists [Var.Vars] | exists p s checks if at least one element of
the set satisfies the predicate p.
|
F | |
| filter [Var.Vars] | filter p s returns the set of all elements in s
that satisfy predicate p.
|
| find [Env] |
Rechercher la valeur associée à une variable.
|
| fold [Var.Vars] | fold f s a computes (f xN ... (f x2 (f x1 a))...),
where x1 ... xN are the elements of s, in increasing order.
|
| for_all [Var.Vars] | for_all p s checks if all elements of the set
satisfy the predicate p.
|
| fresh_var [Eq] |
Renvoie une variable de type fraîche.
|
| from_chan [O.Reader] |
Dans un canal
|
| from_chan [I.Reader] |
Lire dans un canal (un fichier), un canal simple est l'entrée standard
stdin.
|
| from_chan [T.Reader] |
Dans un canal
|
| from_chan [S.Reader] |
Lire dans un canal (un fichier), un canal simple est l'entrée standard
stdin.
|
| from_string [O.Reader] |
Dans une chaîne
|
| from_string [I.Reader] |
Lire dans une chaîne
|
| from_string [T.Reader] |
Dans une chaîne
|
| from_string [S.Reader] |
Lire dans une chaîne
|
I | |
| id [Eq] |
Substitution identitée id(x) = x pour tout x.
|
| infer [Poly] |
Inférer le type d'un terme sans variables libres.
|
| infer [Hindley] |
L'appel
infer env t renvoie le type du terme t dans
l'environnement de typage env.
|
| infer_scheme [Poly] |
Utilisable comme argument de la boucle interactive
S.Top.loop.
|
| inter [Var.Vars] |
Set intersection.
|
| interv [Inter] |
Interpréteur en appel par valeur
|
| is_empty [Var.Vars] |
Test whether a set is empty or not.
|
| iter [Var.Vars] | iter f s applies f in turn to all elements of s.
|
L | |
| loop [O.Top] | loop print eval lance une boucle 'toplevel', en français boucle interactive.
|
| loop [I.Top] | loop print eval lance une boucle 'toplevel', en français boucle interactive.
|
| loop [T.Top] |
Boucle interactive pour PCF typé, limitée aux types.
|
| loop [S.Top] | loop print eval lance une boucle 'toplevel', en français boucle interactive.
|
| loop_eval [T.Top] |
L'appel
loop_eval check print eval lance une boucle interactive
complète qui combine vérification de type
(par check) et évaluation (par eval).
|
M | |
| max_elt [Var.Vars] |
Same as
Set.S.min_elt, but returns the largest element of the
given set.
|
| mem [Var.Vars] | mem x s tests whether x belongs to the set s.
|
| mgu [Eq] |
Résolution des équations, renvoie une solution principale.
|
| mgu_incr [Eq] |
Résolution incrémentale, on peut voir l'appel
mgu_incr t1 t2 s
comme renvoyant la substitution mgu(s(t1),s(t2)) o s.
|
| min_elt [Var.Vars] |
Return the smallest element of the given set
(with respect to the
Ord.compare ordering), or raise
Not_found if the set is empty.
|
O | |
| of_list [Eq.Vars] |
Fabrique un ensemble à partir d'une liste d'éléments
non nécessairement distincts deux à deux.
|
| of_list [Var.Vars] |
Fabrique un ensemble à partir d'une liste d'éléments
non nécessairement distincts deux à deux.
|
P | |
| partition [Var.Vars] | partition p s returns a pair of sets (s1, s2), where
s1 is the set of all the elements of s that satisfy the
predicate p, and s2 is the set of all the elements of
s that do not satisfy p.
|
| print [T.Type] |
Afficher un type dans un canal de sortie.
|
| print [S.Ast] |
Afficher dans un canal de sortie.
|
| print [Var.Vars] |
Afficher un ensemble de variables.
|
| print_code [Code] | |
| print_eqs [Eq] | |
| print_instruction [Code] |
Divers afficheurs
|
| print_scheme [Eq] |
Afficheur
|
| print_subst [Eq] |
Et leurs afficheurs
|
| print_value [Machine] |
L'afficheur des valeurs.
|
| print_value [Inter] |
Pour voir les valeurs
|
R | |
| remove [Var.Vars] | remove x s returns a set containing all elements of s,
except x.
|
S | |
| singleton [Var.Vars] | singleton x returns the one-element set containing only x.
|
| split [Var.Vars] | split x s returns a triple (l, present, r), where
l is the set of elements of s that are
strictly less than x;
r is the set of elements of s that are
strictly greater than x;
present is false if s contains no element equal to x,
or true if s contains an element equal to x.
|
| subset [Var.Vars] | subset s1 s2 tests whether the set s1 is a subset of
the set s2.
|
| subst [Eq] |
Applique une substitution à une variable de type
|
| subst [Eval] |
Substitution :
subst e1 x e2 renvoie
e1 avec la variable x remplacée par e2,
noté e1[x/e1] dans le cours.
|
| subst_type [Eq] |
L'appel
subst s t applique la substitution s au type t.
|
T | |
| to_char [Op] |
Représentation usuelle des opérations, par exemple
Add -> '+'
|
| to_fun [Op] |
Renvoie la fonction qui calcule l'opérateur passé en argument.
|
| to_string [T.Type] |
Représenter un type dans une chaîne
|
U | |
| union [Var.Vars] |
Set union.
|