Haskell getLineで1つのタイプのみを許可する方法

Question

私のtxtに人を追加するこのコードがあります。しかし、この名前では、たとえば、文字のみを許可したいと考えています。同様の年齢のように、私はただの数字にReadクラスのソースから

add = do 
    putStrLn "Name:" 
    name <- getLine 
    putStrLn "Age:" 
    age <- getLine 
    let new = (name ++ " "++ idade ++ "\n") 
    appendFile "funcionarios.txt" new 
    putStrLn "Success!" 

Answer 1

を許可する：

class Read a where 
    readsPrec :: Int -> ReadS a 
    -- (...) 

このReadS何ですか？ hoogleから：

type ReadS a = String -> [(a, String)] 

これは、私たちは書くことができますそれが失敗する可能性が読み取ります

maybeRead :: Read a => String -> Maybe a 
maybeRead str = case readsPrec 0 str of 
    [(a, "")] -> Just a 
-- ^ ^---- no remaining input string 
-- |- output 
    _   -> Nothing 

それは、あなたのIOを変更する単純なケースです。ここで素早く汚れた例があります：

main = do 
    putStrLn "Enter an integer:" 

    let loop = do 
     str <- getLine 
     maybe loop return (maybeRead str :: Maybe Int) 

    num <- loop 
    print $ num + 1