Intのリストへの文字列

Question

これにMaybe [int]を組み込みたいと思います。

コードは文字列を取り、空白をフィルタリングして整数のリストに変換し、文字がNothingを返すようにする必要があります。

text2digits :: String -> [Int] 
text2digits s = case s of 
    []   -> [] 
    x:xs   
     |isDigit x  -> digitToInt x :text2digits (filter (/= ' ') xs) 
     |otherwise  -> undefined 

input "1233 5687" output: [1,2,3,3,5,6,8,7] 
input "a89"  required output : Nothing 
        current output: undefined 

私はこれを試してみましたが、それはあなたがtext2digits :: String -> Maybe [Int]のために指定したコードを、と間違っている何のエラー

text2digits :: String -> Maybe [Int] 
text2digits s = case s of 
    []   -> Just [] 
     x:xs   
     |isDigit x  -> Just digitToInt x :text2digits (filter (/= ' ') xs) 
     |otherwise  -> Nothing 

Answer 1

のリストを示して？

問題は、この行にある：Maybe [Int]タイプの

digitToInt x :text2digits (filter (/= ' ') xs) 

text2digits戻り値が、それは[Int]ことが(:)期待。

import Data.Char 

text2digits :: String -> Maybe [Int] 
text2digits s = case s of 
    [] -> Just [] 
    x:xs 
     |isDigit x  -> ((digitToInt x) :) <$> text2digits (filter (/= ' ') xs) 
     |otherwise  -> Nothing 

main = print $ text2digits "1233 5687" 

それとも、おそらくあなたは機能を少しリファクタリングするtraverseを使用することができます：

それを修正するためには、ファンクタMaybe内の構造体に関数を適用するfmapまたは<$>を使用することができます

import Data.Char 

text2digits :: String -> Maybe [Int] 
text2digits s = 
    traverse digitToMaybeInt $ filter (/= ' ') s 
    where 
    digitToMaybeInt x 
     | isDigit x = Just $ digitToInt x 
     | otherwise = Nothing 

main = print $ text2digits "89"