Merge everything into one case expression

Author: fwcd

day07/src/Day07.curry

@@ -18,11 +18,11 @@ isSolvable ops = notEmpty . set1 isSolvable'
   where
     isSolvable' (Equation l (r:rs)) | l =:= evalAcc r rs = True
       where
-        -- Prune branches that already overshoot the target
-        evalAcc acc vals | acc > l   = failed
-                         | otherwise = case vals of
-            []     -> acc
-            (v:vs) -> anyOf $ (\op -> evalAcc (op acc v) vs) <$> ops
+        evalAcc acc vals = case vals of
+            -- Prune branches that already overshoot the target
+            _ | acc > l -> failed
+            []          -> acc
+            (v:vs)      -> anyOf $ (\op -> evalAcc (op acc v) vs) <$> ops
 
 totalResult :: [Int -> Int -> Int] -> [Equation] -> Int
 totalResult ops eqns = sum $ lhs <$> filter (isSolvable ops) eqns