Как использовать стрелки здесь?

Question

Рассмотрим

foldr (\x (a,b) -> (a || x==2, b || x==7)) (False,False) [1..6] 
--(True,False) 

Игнорируя тот факт, что это может быть написано легко с помощью elem, у меня есть стойкое ощущение, что я мог бы трудоустроить Arrow синтаксис для упрощения лямбды, я просто не могу получить это права.

Можно ли упростить эту лямбду, используя стрелки? И есть ли у вас общие подсказки о том, как «видеть», когда стрелки могут работать, и как найти правильное выражение?

Answer 1

Вытащите вычисление из foldr -

ghci> :m +Control.Arrow 
ghci> any (==2) &&& any (==7) $ [1..6] 
(True,False) 

Но если вы хотите, чтобы убедиться, что вы только обход списка раза , попробуйте использовать bifunctor package:

ghci> :m +Data.Bifunctor +Data.Bifunctor.Apply 
ghci> foldr (bilift2 (||) (||) . ((==2) &&& (==7))) (False, False) [1..6] 
(True,False) 

Answer 2

foldr (\x -> (|| x==2) *** (|| x==7)) (False,False) [1..6] 

Я не думаю, что вы можете абстрагировать x со стрелками.

Edit: хорошо, кажется, что вы можете:

foldr (uncurry (***) . (((||) . (==2)) &&& ((||) . (==7)))) (False,False) [1..6]