HaskellにgetInt関数がありますか？

Question

HaskellでgetInt :: IO Int関数を使用したいと考えています。これは、stdinから整数を取って残りのバッファをそのまま残す関数です。それは全体のライン3 4を取るので代わりに3を取り、4を残す、

2 
3 4 

：

私が発見したこのタイプのライブラリ関数は、readLn :: IO Intは、例えば、などの入力では動作しません次はgetIntです。私は完全な文字列を読み取ってからwordsを使って分割することができますが、バッファを消費しない方法があるかどうか尋ねたいと思います。

これを実行する標準ライブラリには何らかの機能がありますか？私は行方不明ですgetIntを作成するためのシンプルで明白な方法はありますか？

Answer 1

元のアスカーは消費セパレータと大丈夫であるようですので、ここで私は、答えに私のコメントを回します。まず、getLineと類似のgetWordを定義します。その後我々はreadIOの結果になります。 EOF例外が発生した場合に備えて注意を払います。

import Control.Exception 
import Control.Applicative 
import Data.Char 
import System.IO.Error 

getWord :: IO String 
getWord = handle handleEOF $ do 
    c <- getChar 
    if isSpace c then return [] else (c:) <$> getWord 
    where 
    handleEOF e = if isEOFError e then return [] else throwIO e 

readWord :: Read a => IO a 
readWord = getWord >>= readIO 

用心：もちろん、この意志は（Data.Map秒または他の複雑なデータ型のように）それらのスペースを持って読まれるべき値ではうまく機能しませ。

Answer 2

hLookAheadを使用し、isEOFErrorをキャッチすると、このような関数を書くことができます。しかし、IOをあなたの解析と混在させます。

よりHaskellishソリューションを定義することです。その後、

parseInts :: String -> [Int] 
parseInts str = map read (words str) 

と、このようなparseInts使用：

3 4 
1 1 1 1 
2 2 2 2 
3 3 3 3 

（例：のようなファイルを解析するには

-- read an entire file and convert to a list of Ints 
nums <- fmap parseInts getContents 


-- read just a line and convert to a list of Ints 
nums <- fmap parseInts getLine 

を3 =行数、4 =列数）、オプションの束：

import Control.Monad (replicateM) 

main = do 
    (nrows : ncols : _) <- fmap parseInts getLine 
    rows <- replicateM nrows $ fmap parseInts getLine 

または

import Data.List.Split (chunksOf) 

main = do 
    (nrows : ncols : rest) <- fmap parseInts getContents 
    let rows = chunksOf ncols rest 

かさえ：

main = do 
    (nrows : ncols : _) <- fmap parseInts getLine 
    forM_ [1..nrows] $ \i -> do 
    row <- fmap parseInts getLine 
    ... do something with row... 

Answer 3

getIntを作成する簡単で明白な方法はありますか？

いいえ、ありません。 scanf("%d")に沿って何かを探しています。先頭のスペースをすべて無視し、数字がない場合はバッファを変更しません。この場合、先に進む必要があります。

import Data.Char (isSpace, isDigit, digitToInt) 
import Data.List (foldl') 
import Control.Monad (when) 
import System.IO (hGetChar, hLookAhead, Handle, stdin) 

getInt :: IO (Maybe Int) 
getInt = hGetInt stdin 

hGetIntegral :: (Integral n) => Handle -> IO (Maybe n) 
hGetIntegral h = do 
    hSkipSpace h 
    digits <- hGetDigits h 
    return $ case digits of 
    [] -> Nothing 
    xs -> Just $ foldl' (\x a -> 10 * a + x) 0 . map digitToInt $ xs 

hGetDigits :: Handle -> IO [Char] 
hGetDigits h = do 
    la <- hLookAhead h 
    if isDigit la then hGetChar h >> fmap (la:) (hGetDigits h) 
       else return [] 

hSkipSpace :: Handle -> IO() 
hSkipSpace h = do 
    la <- hLookAhead h 
    when (isSpace la) $ hGetChar h >> hSkipSpace h