Wie optimiert man eine verschachtelte Musterübereinstimmung mit mehreren wiederholten Fällen?

Question

Bitte beachten Sie diesen Code:

case action1 of 
    Right a -> a 
    Left (Failure1 a) -> a 
    Left (Failure2 a) -> 
    case action2 a of 
     Right a -> a 
     _ -> error "Unexpected failure" 
    _ -> error "Unexpected failure" 

Sie können sehen, dass ich mich zweimal wiederholen: mit dem Right und mit den error Fällen.

Wie kann ich das optimieren? Ist es überhaupt möglich?

Answer 1

ich den Fehler setzen würde Teil außerhalb des case Teilehandling:

fromMaybe (error "Unexpected failure") $ 
    let eitherToMaybe = either (const Nothing) Just 
    in case action1 of 
      Right a   -> Just a 
      Left (Failure1 a) -> Just a 
      Left (Failure2 a) -> eitherToMaybe (action2 a) 
      _     -> Nothing 

Answer 2

Das ist eine gute Anwendung für pattern guards:

case action1 of 
    Right a -> a 
    Left f 
    | Failure1 a <- f  -> a 
    | Failure2 a <- f 
    , Right b <- action2 a -> b 
    _ -> error "Unexpected failure"