ハスケルの文字列リストへ

Question

readSquareTransition :: String -> Maybe [SquareTurn] 
readSquareTransition [] = Just [] 
readSquareTransition (x:xs) = case x of 
     'L' -> Just (L : readSquareTransition xs) 
     'R' -> Just (R : readSquareTransition xs) 
     _  -> Nothing 

私はちょうど[L、L、R、R]になりたいです。私は失敗したように:(ここでエラーメッセージがあるけどね！この

'L' -> fmap (L :) $ readSquareTransition xs 
'R' -> fmap (R :) $ readSquareTransition xs 

へ

src/StudentSources/LangtonsAnt.hs:231:24: 
Couldn't match expected type ‘[SquareTurn]’ 
      with actual type ‘Maybe [SquareTurn]’ 
In the second argument of ‘(:)’, namely ‘readSquareTransition xs’ 
In the first argument of ‘Just’, namely 
    ‘(L : readSquareTransition xs)’ 

src/StudentSources/LangtonsAnt.hs:232:24: 
Couldn't match expected type ‘[SquareTurn]’ 
      with actual type ‘Maybe [SquareTurn]’ 
In the second argument of ‘(:)’, namely ‘readSquareTransition xs’ 
In the first argument of ‘Just’, namely 
    ‘(R : readSquareTransition xs)’ 

Answer 1

モジュラー方法は、（故障の可能性を有する）単一SquareTurnにCharを有効にする方法を定義するreadSquareTurn最初に定義することである：次いで

readSquareTurn :: Char -> Maybe SquareTurn 
readSquareTurn x = case x of 
    'L' -> Just L 
    'R' -> Just R 
    _ -> Nothing 

全体を処理するmapM :: (a -> Maybe b) -> [a] -> Maybe [b]を使用しますStringのように：

Answer 2

変更この

'L' -> Just (L : readSquareTransition xs) 
'R' -> Just (R : readSquareTransition xs) 

問題はreadSquareTransitionがMaybe [SquareTurn]を返すので、あなたができることです(:)を適用してください（(:)にはリストが必要です）。fmapしかし、Just （保存中はNothing）。これを行うの