readInt : String -> Maybe IntDÉPRÉCIÉ — ancien nom de parseInt (il analyse un texte, il ne lit pas le monde) ; il disparaîtra à la fin du semestre.
PréludeChargé par défaut — aucun
import nécessaire.Deprecated — les alias survivent UN SEMESTRE après un renommage, chaque usage avertit (W0005)
Synopsis
readInt : String -> Maybe IntreadDouble : String -> Maybe Doubleread : Parse a => String -> Maybe areadParen : (List Char -> Maybe (a, List Char)) -> List Char -> Maybe (a, List Char)readName : String -> List Char -> Maybe (List Char)readOrElse : Maybe (a, List Char) -> Maybe (a, List Char) -> Maybe (a, List Char)interface Parse a => Read a where {}
readDouble : String -> Maybe DoubleDÉPRÉCIÉ — ancien nom de parseDouble ; il disparaîtra à la fin du semestre.
read : Parse a => String -> Maybe aDÉPRÉCIÉ — ancien nom de parse ; il disparaîtra à la fin du semestre.
readParen : (List Char -> Maybe (a, List Char)) -> List Char -> Maybe (a, List Char)DÉPRÉCIÉ — ancien nom de parseParen ; il disparaîtra à la fin du semestre.
readName : String -> List Char -> Maybe (List Char)DÉPRÉCIÉ — ancien nom de parseName ; il disparaîtra à la fin du semestre.
readOrElse : Maybe (a, List Char) -> Maybe (a, List Char) -> Maybe (a, List Char)DÉPRÉCIÉ — ancien nom de parseOrElse ; il disparaîtra à la fin du semestre.
interface Parse a => Read a where {}OBSOLÈTE — ancien nom de l'interface Parse. Un PAQUET DE MARQUEURS de compatibilité (le schéma Num/Integral de la cale Idris) : une vieille contrainte Read a => se résout encore — le corps obtient Parse a par la superclasse, et un appel à un type concret passe par les implémentations-marqueurs vides ci-dessous, qui reflètent les instances Parse du Prélude. Une implementation Read X where readsPrec … À L'ANCIENNE n'est PAS prise en charge (aucune méthode à définir) ; écrire une implémentation Parse avec parsesPrec. Les marqueurs des scalaires à largeur fixe vivent avec leurs types, dans Data.Int / Data.Word (T-29) — à retirer avec ce fichier.