Pour soumettre une requête à notre moteur de recherche, il vous suffit d'entrer quelques mots significatifs et d'appuyer sur la touche 'entrée'. Par défaut, les requêtes concernent l'ensemble du site web Caml (caml.inria.fr/), mais le menu déroulant vous permet de restreindre facilement votre recherche à un sous-ensemble spécifique du site, tel que :
- La Bosse Caml,
- Les archives des listes de diffusion,
- La documentation en ligne,
- La librairie standard d'Objective Caml.
Opérateurs Booléens
Vous pouvez utiliser les opérateurs Booléens and, or et not dans les requêtes. En l'absence de ces opérateurs, le moteur de recherche supposera que vous formez la conjonction (and) des mots. La casse n'est pas significative dans les noms d'opérateurs. L'évaluation des expressions Booléennes est faite de gauche à droite, à moins que vous n'utilisiez des parenthèses pour forcer l'ordre d'évaluation. Par exemple
(word1 or word2) and not word3
fournit les résultats contenant soit « word1 » mais pas « word3 », soit « word2 » mais pas « word3 ».
Troncature
Un caractère joker (*) est disponible, mais il ne peut être utilisé qu'à la fin d'un mot. Par exemple, la requête
doc
ne trouve que les entrées qui contiennent le mot « doc », tandis que
doc*
trouve toutes les entrées contenant un mot commençant par « doc », e.g. « documentation ».
Champs
Il est possible de former des requêtes précises en utilisant les champs des entrées: pour limiter la recherche aux mots trouvés dans un champ spécifique, il suffit de précéder ces mots par le nom du champ, suivi du signe égal . Par exemple,
author=leroy or weis
trouve toutes les entrées dont le champ author contient « leroy » ou « weis ». Ces requêtes peuvent être combinées en utilisant les opérateurs Booléens :
(author=leroy or weis) and caml
L'ensemble des champs disponibles dépend de la partie du site explorée :
| La bosse Caml | author | Auteur(s) de la contribution |
|---|---|---|
| topic | Thème(s) de la contribution | |
| license | Licence(s) de la contribution | |
| kind | Sorte(s) de la contribution | |
| status | État de développement de la contribution | |
| Archives de listes de diffusion | author | Auteur(s) du message |
| subject | Sujet du message | |
| La librairie d'OCaml | ident | Identificateur court de l'élément |
| longident | Identificateur qualifié de l'élément | |
| kind | Sorte de l'élément (value, exception, type, module ou class) | |
| type | Type (pour les valeurs seulement) |