Jak zoptymalizować zagnieżdżone wzorce pasujące do wielu powtarzających się przypadków?

Question

Proszę rozważyć ten kod:

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" 

Widać, że muszę powtarzać dwa razy: z Right oraz z error przypadkach.

Jak mogę to zoptymalizować? Czy to w ogóle możliwe?

Answer 1

bym umieścić błąd obsługi część poza case części:

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

To dobra aplikacja dla 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"