readInt : String -> Maybe IntDEPRECATED — old name of parseInt (it parses text, it does not read the world); it disappears at the end of the semester.
PréludeChargé par défaut — aucun
import nécessaire.Deprecated — aliases kept ONE SEMESTER after a rename, each use warns (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 DoubleDEPRECATED — old name of parseDouble; it disappears at the end of the semester.
read : Parse a => String -> Maybe aDEPRECATED — old name of parse; it disappears at the end of the semester.
readParen : (List Char -> Maybe (a, List Char)) -> List Char -> Maybe (a, List Char)DEPRECATED — old name of parseParen; it disappears at the end of the semester.
readName : String -> List Char -> Maybe (List Char)DEPRECATED — old name of parseName; it disappears at the end of the semester.
readOrElse : Maybe (a, List Char) -> Maybe (a, List Char) -> Maybe (a, List Char)DEPRECATED — old name of parseOrElse; it disappears at the end of the semester.
interface Parse a => Read a where {}DEPRECATED — old name of the Parse interface. A compat MARKER BUNDLE (the Num/Integral pattern of the Idris shim): an old Read a => constraint still resolves — the body gets Parse a through the superclass, and a call at a concrete type goes through the empty marker implementations below, which mirror the Prelude's own Parse instances. An OLD-STYLE implementation Read X where readsPrec … is NOT supported (no method to define); write a Parse implementation with parsesPrec. The fixed-width scalars' markers live with their types, in Data.Int / Data.Word (T-29) — to remove together with this file.