ここでif-then-elseに何が間違っていますか？

Question

私はこれを複数の方法で試しました。if-then-else、ガード、case文ですが、コンパイルできません。私はコードから、私がしたいことがはっきりしていると思います。なぜこれはできないのですか？そしてそれを真っ直ぐにするために私は何をしなければなりませんか？

appendMsg :: String -> (String, Integer) -> Map.Map (String, Integer) [String] -> Map.Map (String, Integer) [String] 
appendMsg a (b,c) m = do 
     let Just le1 = length . concat <$> Map.lookup (b,c) m 
      le2 = le1 + length a 
     if le2 < 1400 then (let m2 = Map.adjust (x ++ [a]) (b, c) m) else (print (le1, le2)) 
     return (m2) 

エラーメッセージはparse error on input `)'です。角括弧を変更するとparse error on input `else'が得られます。 elseパス（m2 = mとする）で言うと、ブラケットエラーが再び発生します。私が達成しようと何

は、他の機能はappendMsgとappendMsgと同じ引数を取り、そのLE2> 1400と呼ばれるべき場合LE2 < = 1400その後、m2は

f x = x ++ [a] 
m2 = Map.adjust f (b, c) m 

を使用して作成する必要がある場合、あります単に何も返さないはずです。

追加の問題は、これは右下のすべての勧告に従って設定されるとすぐということである。

if le2 < 1400 then let m2 = Map.adjust (++ [a]) (b, c) m in return (m2) else return()

私は道で同じである

No instance for (Monad (Map.Map (String, Integer))) 
     arising from a use of `return' 

を言ってエラーが出ますエラー私は最終的に私がガードを使用した。問題は、この奇妙なタイプの残りのコードでは私ができることがほとんどないということです。どのようにしてこの型を（Map.Map（String、Integer）[String]）に変換したり、それを完全に避けることができますか？

Answer 1

あなたはその結果Monadインスタンスでなければならないdoを、使用しているが、あなたの関数の型は、それがMonadのインスタンスではありませんMapを返すことを示しています。あなたが本当にNothingときle2 >= 1400を返すようにしたい場合は、ときle2 < 1400Just ...を返却する必要があります、そしてあなたの関数は次のようになります。それが鍵を見つけることができない場合、この関数はNothingを返します

import qualified Data.Map as Map 
import Control.Monad 

appendMsg :: String -> (String, Integer) -> 
      Map.Map (String, Integer) [String] -> 
      Maybe (Map.Map (String, Integer) [String]) 
appendMsg a k m = do 
     v <- Map.lookup k m 
     let l = length . concat $ v 
      l' = l + length a 
     guard $ l' < 1400 
     return $ Map.insert k (v ++ a) m 

に留意されたいです。 Mapで始まる...

Answer 2

letのいずれかに、inが続かなければなりません。または、ブロックdoのすぐ内側にある必要があります。 letは、doブロックの最後の文であってはなりません。これらのルールは、使用の可能性なしにすぐに有効範囲外に出る変数を作成することは意味を成さないという事実の結果です。

ifのthenブランチの内部にm2という変数を作成しますが、使用することはありません。あなたはifの外でそれを使用しようとしますが、ifm2の外には存在しません。 ifの外側に作成された変数は使用できません。 ifの条件がfalseの場合、m2の値はどうなりますか？