特定のガードのwhere節

Question

私は以下のハスケルコードを持っています。問題は最初の2人の警備員のために文節(enigmaInput,_) = (filter (\(a,b) -> b == cipherChar0) stecker)!!0が失敗することです。最後の2人のガードだけにどのように割り当てることができますか？ありがとう！

followMenu :: Crib->Menu->Stecker->Offsets->Maybe Stecker 
followMenu c [] s o = Just s 
followMenu crib menu stecker offsets 
    | (length stecker) == 1 && initAdd == Nothing = Nothing 
    | (length stecker) == 1 && initAdd /= Nothing = followMenu crib (tail menu) (fromMb initAdd) offsets 
    | (length stecker) /= 1 && normalAdd == Nothing = Nothing 
    | otherwise = followMenu crib (tail menu) (fromMb normalAdd) offsets 
    where (_,_,cipherChar0) = crib!!(menu!!0) 
     (_,_,cipherChar1) = crib!!(menu!!1) 
     (enigmaInput,_) = (filter (\(a,b) -> b == cipherChar0) stecker)!!0 
     enigmaOutput = enigmaEncode enigmaInput (SimpleEnigma rotor3 rotor2 rotor1 reflector1) offsets 
     (_,initInput) = stecker!!0 
     initOutput = enigmaEncode initInput (SimpleEnigma rotor3 rotor2 rotor1 reflector1) offsets 
     (_,_,initCipher) = crib!!(menu!!0) 
     initAdd = steckerAdd initOutput initCipher stecker 
     normalAdd = steckerAdd enigmaOutput cipherChar1 stecker 

Answer 1

enigmaInputの値が必要になるまで(filter (\(a,b) -> b == cipherChar0) stecker)!!0が評価されることはありませんので、あなたは本当に、する必要はありません、あなたは最初の2つのガードのケースでenigmaInputを使用しないでください。これは、遅延評価の優れた機能です。

where句をガード付きの方程式の一部に含めることはできませんが、パターンマッチやガードの再構成だけではありません。